先快速说清题意

给你一个 m × n 的整数矩阵，满足两个规则：

1. 每一行从左到右严格递增
2. 下一行的第一个数一定比上一行最终一个数还要大

再给你一个目标数 target判断它是否存在于矩阵中。主要要求这方面，时间复杂度必须是对数级别，不能走暴力遍历这条“老套路”。

思路一的观点是，先找行，再行内搜

痛点：很多人在看到“二维”二分时会慌得不知所措。以为要设计全新的算法，其实只需要把问题拆成两步——先定位可能所在的行，再在该行里做普通二分。按理说，

既然每一行的首元素递增。可以用一次二分锁定“行首 ≤ target”的最终一行。如果 target 小于第一行的首元素，就直接返回 false；如果 target 大于该行最终一个元素，也可以提前结束。其实，

两次二分代码实现

var searchMatrix = function {
const m = matrix.length;if return false;const n = matrix.length;// 第一次二分：定位目标所在的行
let top = 0,bottom = m - 1;let targetRow = -1;while {
const midRow = Math.floor / 2);const firstNum = matrix;if {
// 正好命中行首
return true;话说回来，} else if {
targetRow = midRow;怎么说呢，// 有可能在这行
top = midRow + 1;} else {
bottom = midRow - 1;不过，}
}
// 没有找到满足条件的行 → target 小于所有元素
if return false;老实说，// 小调整：target 大于该行最大值直接返回 false
if return false;// 第二次二分：在确定好的那一行里搜索
let left = 0,right = n - 1;while {
const mid = Math.floor / 2);const num = matrix;if {
return true;} else if {
left = mid + 1;} else {
right = mid - 1;话说回来，}
}
return false;}，

这种写法思路清晰，一步步来不容易出错；缺点是要维护两套二分逻辑，代码稍长。

从思路二来看，拍平成一维。一次二分搞定

痛点：不少人看到“矩阵”就会误以为需要“双层”技巧，其实只要把矩阵“拍平”，整个结构就变成了一个有序的一维数组。

根据题目给出的两个条件，可以把所有元素按顺序拼接起来它们本身已经是全局有序的。说起来，于是标准的一维二分查找即可。只需在每一步把“一维索引”映射回“二维坐标”。 映射公式如下（记列数为 n)：

• row = Math.floor
• col = index % n

P.S. Pitfall：别把除数写成了 M)——除以列数才是正确的，否则会出现数组越界。

var searchMatrix = function {
const m = matrix.length;if return false;const n = matrix.length;话说回来，let left = 0,right = m * n - 1;// 虚拟的一维数组边界
while {
const mid = Math.floor / 2);const row = Math.floor;const col = mid % n;const num = matrix;if {
return true;} else if {
left = mid + 1;
} else {
right = mid - 1;
}
}
return false;}，

一次完成全部搜索。代码更简洁，也更符合面试官“追求更好”的期待。

复杂度分析

• 时间复杂度：
  • 两次二分 →
  • 一次拍平 →
  • 依据对数运算规则。这两者等价，都满足题目要求。
• 空间复杂度： 。

最终唠两句 🎤

# 痛点回顾：

• # 刚开始看到二维矩阵就慌张、写出暴力循环 → 白白浪费时间。
• # 在一次撮平方案里忘记除以列数导致调试卡死。
• # 边界漏掉让程序崩溃。

This problem doesn't test any exotic “二维算法”。它真正想考的是你能否识别出「全局有序」这一隐藏属性，并把熟悉的一维二分技巧迁移到新场景。换个角度它是一道典型的「换皮」题——把你已经掌握的知识点包装成另一种形式。

# 如何选写法？

• If you’re nervous in an interview*: two‑step binary search is safer—clear logic。less chance of coordinate‑mapping bugs.
• If you want to show elegance*: 把矩阵拍平成一维，用一次二分；代码短小、视觉效果好，也能给面试官留下「善于抽象」的印象。

# 再提醒两个常踩坑：

1. 始终检查空矩阵、单行、单列等极端情况；这些往往是面试官暗藏的小陷阱。
2. If you go with flattened approach。请务必使用列数 ) 做除法，而不是行数 )。