LC 74
Search a 2D Matrix
Medium · LC 1–100
候选解法路线
Primary
Free有序域二分查找
Invariant: 循环开始时，若 target 存在，它必位于闭区间 [lo,hi]；区间外已被比较证明不可能。
candidate confidence: 0.537 · metadata_only
Alternate 1
Free二分边界 / First True
Invariant: 第一个 True 始终位于 [lo,hi]；hi 一侧是保留的可行候选，lo 左侧已证为 False。
candidate confidence: 0.476 · metadata_only
Alternate 2
Free答案空间二分
Invariant: 闭区间 [lo,hi] 始终包含目标边界；对于 first True，hi 是已知或潜在可行候选，lo 左侧已排除。
candidate confidence: 0.452 · metadata_only
如何使用本页
先读原题与 constraints，再逐一验证 Recognition signals、invariant 与 complexity；candidate score 不能证明正确性。