求一个值k是否存在于行和列严格递增的数字矩阵（二分法）

题目描述
给定如下的n*n的数字矩阵，每行从左到右是严格递增， 每列的数据也是严格递增

1 2 3

3 5 6

4 8 9

现在要求设计一个算法， 给定一个数k 判断出k是否在这个矩阵中。描述算法并且给出时间复杂度（不考虑载入矩阵的消耗）
题目链接（来自牛客网）
最近事多，而且又不给测试数据，就不写代码了，说下大概思路：

思路：
最笨的方法就是逐个去遍历，时间复杂度就是O（n^2）,由递增很容易让人想到二分法。
由于每一行每一列都是递增
所以每一次都循环可以去比较矩阵的中心点的值x
如果k==x，可判断k在这个矩阵中，跳出循环
如果k>x，如果k存在于矩阵中，k一定在矩阵的右下角，更新矩阵为原来矩阵的右下角
如果k<x，如果k存在于矩阵中，k一定在矩阵的左上角，更新矩阵为原来矩阵的左上角
当矩阵为二维矩阵时，跳出循环
遍历二维矩阵，可判断k是否存在于矩阵中
时间复杂度为O（lgn）