LeetCode Hot 100 · 中等 · 数组、二分查找、分治、矩阵
编写一个高效的算法，在 m × n 矩阵 matrix 中搜索目标值 target。矩阵满足：
在 RagCodes 上用 Python / C++ / Java 在线编写并提交，核心代码模式与 ACM 模式均可评测。