剑指 Offer 04. 二维数组中的查找 [难度中等]

剑指 Offer 04. 二维数组中的查找 [难度中等]

题目描述

在一个 n * m 的二维数组中，

• 每一行都按照从左到右递增的顺序排序，
• 每一列都按照从上到下递增的顺序排序。

请完成一个高效的函数，输入这样的一个二维数组和一个整数，判断数组中是否含有该整数。

示例:

现有矩阵 matrix 如下：

[
  [1,   4,  7, 11, 15],
  [2,   5,  8, 12, 19],
  [3,   6,  9, 16, 22],
  [10, 13, 14, 17, 24],
  [18, 21, 23, 26, 30]
]

给定 target = 5，返回 true。

给定 target = 20，返回 false。

解题思路：

如下图所示，

• 我们将矩阵逆时针旋转 45° ，并将其转化为图形式，发现其类似于 二叉搜索树 ，
• 即对于每个元素，其左分支元素更小、右分支元素更大。
• “根节点” 开始搜索，遇到比 target 大的元素就向左，反之向右，即可找到目标值 target 。

根节点” 对应的是矩阵的 “左下角” 和 “右上角” 元素，本文称之为 标志数 ，以 matrix 中的 左下角元素 为标志数 flag ，则有:

• 若 flag > target ，则 target 一定在 flag 所在 行的上方 ，即 flag 所在行可被消去。
• 若 flag < target ，则 target 一定在 flag 所在 列的右方 ，即 flag 所在列可被消去。

算法流程：

1. 从矩阵 matrix 左下角元素（索引设为 (i, j) ）开始遍历，并与目标值对比：
   当 matrix[i][j] > target 时，执行 i-- ，即消去第 i 行元素；
   当 matrix[i][j] < target 时，执行 j++ ，即消去第j列元素；
   当 matrix[i][j] = target 时，返回 true ，代表找到目标值。

2. 若行索引或列索引越界，则代表矩阵中无目标值，返回 false 。
   每轮 i 或 j 移动后，相当于生成了“消去一行（列）的新矩阵”， 索引(i,j) 指向新矩阵的左下角元素（标志数），因此可重复使用以上性质消去行（列）。

复杂度分析：

• 时间复杂度 O(M+N)O(M+N) ：其中，N 和 M 分别为矩阵行数和列数，此算法最多循环 M+N 次。
• 空间复杂度 O(1) : i, j 指针使用常数大小额外空间。

代码：

func findNumberIn2DArray(matrix [][]int, target int) bool {
	if len(matrix) == 0 {
		return false
	}
	i := len(matrix) - 1
	j := 0
	for i >= 0 && j < len(matrix[i]) {
		if matrix[i][j] > target {
			i--
		} else if matrix[i][j] < target {
			j++
		} else if matrix[i][j] == target {
			return true
		}
	}
	return false
}