题目详情：

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

• 每行中的整数从左到右按非严格递增顺序排列。
• 每行的第一个整数大于前一行的最后一个整数。

给你一个整数 target ，如果 target 在矩阵中，返回 true ；否则，返回 false 。

示例 1：

输入：matrix = [[1,3,5,7],[10,11,16,20],[23,30,34,60]], target = 3
输出：true

示例 2：

输入：matrix = [[1,3,5,7],[10,11,16,20],[23,30,34,60]], target = 13
输出：false

提示：

• m == matrix.length
• n == matrix[i].length
• 1 <= m, n <= 100
• -104 <= matrix[i][j], target <= 104

代码实现：

class Solution {    
    public boolean searchMatrix(int[][] mat, int t) {  
        // 获取矩阵的行数和列数  
        int m = mat.length, n = mat[0].length;  
  
        // 第一次二分查找：定位到目标值可能所在的行  
        // 初始化左右指针  
        int l = 0, r = m - 1;  
        while (l < r) {  
            // 找到中间行  
            int mid = l + r + 1 >> 1;  
            // 如果中间行的第一个元素小于等于目标值t，说明目标值可能在中间行或更下面的行  
            if (mat[mid][0] <= t) {  
                l = mid;  
            } else {  
                // 否则，目标值只可能在中间行上面的行  
                r = mid - 1;  
            }  
        }  
  
        // 最终，r指向的行是目标值可能所在的行  
        int row = r;  
        // 如果该行第一个元素就是目标值，直接返回true  
        if (mat[row][0] == t) return true;  
        // 如果该行第一个元素大于目标值，说明目标值不在矩阵中，返回false  
        if (mat[row][0] > t) return false;  
  
        // 第二次二分查找：在目标值可能所在的行中，定位到目标值可能所在的列  
        // 初始化左右指针  
        l = 0; r = n - 1;  
        while (l < r) {  
            // 找到中间列  
            int mid = l + r + 1 >> 1;  
            // 如果中间列的元素小于等于目标值t，说明目标值可能在中间列或更右边的列  
            if (mat[row][mid] <= t) {  
                l = mid;  
            } else {  
                // 否则，目标值只可能在中间列左边的列  
                r = mid - 1;  
            }  
        }  
  
        // 最终，r指向的列是目标值可能所在的列  
        int col = r;  
  
        // 检查该列的元素是否等于目标值t  
        return mat[row][col] == t;  
    }  
}