双指针（剑指 Offer 57. 和为s的两个数字）

这题我觉得难在理解为什么双指针不会漏解：

leetcode链接

题目：

输入一个递增排序的数组和一个数字s，在数组中查找两个数，使得它们的和正好是s。如果有多对数字的和等于s，则输出任意一对即可。

示例 1：

输入：nums = [2,7,11,15], target = 9
输出：[2,7] 或者 [7,2]
示例 2：

输入：nums = [10,26,30,31,47,60], target = 40
输出：[10,30] 或者 [30,10]

class Solution {
public:
    vector<int> twoSum(vector<int>& nums, int target) {
        //双指针
        vector<int>ans;
        int left=0,right=nums.size()-1;
        while(left<=right){
            int tmp=nums[left]+nums[right];
            if(tmp==target){
                ans.push_back(nums[left]);
                ans.push_back(nums[right]);
                break;
            }
            else if(tmp>target){
                right--;
            }
            else{
                left++;
            }
        }
        return ans;
    }
};

找到的比较好的证明：

设lo=0，hi=n-1。若nums[lo]+nums[hi]<sum, lo右移，若nums[lo]+nums[hi]>sum，hi左移
当nums[lo]+nums[hi] == sum时，找到一对符合条件的数字
当 lo < hi 不成立时，说明数组中没有符合条件的一对数字
证明 ：设 nums[i] + nums[j] == sum，但是i，j没有通过此算法找出
初始状况下，必然有 lo <= i, hi >= j。没有找到i，j，说明最终lo>=hi，同时i<j，
可推出，必然在某个计算步骤时，lo == i或者hi == j。
以lo == i为例，此时hi>j,由数组的递增性，可得nums[lo]+nums[hi]>sum，按照此算法，lo不变，hi减小，直到hi==j
因此该算法必然能找到i，j，和假设矛盾