在一个每一行从左到右递增、每一列从上到下递增的二维数组中，如何高效查找一个目标值？请实现并分析时间与空间复杂度。

回答思路

1. 能识别该矩阵的单调性特征并指出暴力解法不可取
2. 能给出从右上角或左下角出发的线性搜索思路
3. 能正确实现并说明最坏情况时间复杂度为O(m+n)、空间O(1)
4. 能针对边界情况如空数组、目标值不在数组中做验证