问题背景

给你一个满足下述两条属性的 $m\times n$ 整数矩阵：

• 每行中的整数从左到右按非严格递增顺序排列。
• 每行的第一个整数大于前一行的最后一个整数。
  给你一个整数 $target$，如果 $target$ 在矩阵中，返回 $true$；否则，返回 $false$。

数据约束

• $m=matrix.length$
• $n=matrix[i].length$
• $1\le m,n\le 100$
• $-10^4\le matrix[i][j],target\le 10^4$

解题过程

题目保证整个矩阵中的元素从上到下从左到右依次递增，也就是可以展开成一个递增的一维数组，可以用下标映射的方式，在这个虚拟的一维矩阵中进行二分搜索，时间复杂度为 $O(log(mn))$。

还可以用排除法，参考 搜索二维矩阵 II。从矩阵的右上角开始，每次比较能够去掉一行或一列，相当于查找抽象的二叉搜索树，时间复杂度大致在 $O(m+n)$ 这个量级。
具体实现

整体二分

class Solution {public boolean searchMatrix(int[][] matrix, int target) {int m = matrix.length, n = matrix[0].length;int left = 0, right = m * n;while(left < right) {int mid = left + ((right - left) >>> 1);int cur = matrix[mid / n][mid % n];if(cur == target) {return true;}if(cur < target) {left = mid + 1;} else {right = mid;}}return false;}
}

查找抽象二叉搜索树

class Solution {public boolean searchMatrix(int[][] matrix, int target) {int i = 0;int j = matrix[0].length - 1;while(i < matrix.length && j >= 0) {int cur = matrix[i][j];if(cur == target) {return true;}if(cur < target) {i++;} else {j--;}}return false;}
}