编写一个高效的算法来判断 m x n 矩阵中，是否存在一个目标值。该矩阵具有如下特性：
·每行中的整数从左到右按升序排列。
·每行的第一个整数大于前一行的最后一个整数。
来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/search-a-2d-matrix
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

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

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

class Solution {
    public boolean searchMatrix(int[][] matrix, int target) {
        if (matrix.length == 0) {
            return false;
        }
        // 行
        int m = matrix.length;
        // 列
        int n = matrix[0].length;
        int left = 0;
        int right = m * n - 1;
        int index = 0;
        int element = 0;
        while (left <= right) {
            index = (left + right) / 2;
            // 如果把二维数组捋直，选取其中一个元素的下标作为index
            // 那么此元素在二维数组中可如下表示：
            element = matrix[index / n][index % n];
            if (element == target) {
                return true;
            } else if (element > target) {
                right = index - 1;
            } else {
                left = index + 1;
            }
        }
        return false;
    }
}

class Solution:
    def searchMatrix(self, matrix: List[List[int]], target: int) -> bool:
        if len(matrix) == 0:
            return False
        m, n, index, element= len(matrix), len(matrix[0]), 0, 0
        left, right = 0, m * n - 1
        while left <= right:
            index = (left + right) // 2
            element = matrix[index // n][index % n]
            if element == target:
                return True
            elif element > target:
                right = index - 1
            else:
                left = index + 1
        return False