leetcode 167 输入有序数组（双指针， 缩减搜索空间， c++）

题目描述：

直接上代码（代码都能看懂，接下来再说为什么代码是这样 ）：

class Solution {
    public int[] twoSum(int[] numbers, int target) {
        int low = 0;
        int high = numbers.length - 1;
        while (low < high) {
            int sum = numbers[low] + numbers[high];
            if (sum == target) 
            {
                return new int[]{low + 1, high + 1};
            } 
            else if (sum < target) 
            {
                ++low;
            } 
            else 
            {
                --high;
            }
        }
        return new int[]{-1, -1};
    }
}

思路：相信代码大家都能看懂。但是应该有很多人觉得并未考虑所有情况。现在就来证明这种做法的正确性。
这其实用的是“缩减搜索空间”的思想。
先考虑一般的解法，也就是双层循环。它的遍历空间可以表示为（图中黑色部分，图中i和j标反了，大家知道就好）：

而根据程序，第一次验证的是numbers[0] + numbers[n] ,如果和大于target，那么numbers[1 到 n ] + numbers[n] 都大于target， 不用再验证了，所以j–，这就是“缩减搜索空间法”，i++同理。
很容易看出，双指针的”缩减搜索空间法”时间复杂度为O（n）