剑指offer:和为S的两个数字

题目描述
输入一个递增排序的数组和一个数字S，在数组中查找两个数，使得他们的和正好是S，如果有多对数字的和等于S，输出两个数的乘积最小的。

输出描述:
对应每个测试案例，输出两个数，小的先输出。

证明1：来源：牛客网
假设：若b>a,且存在，
a + b = s;
(a - m ) + (b + m) = s
则：(a - m )(b + m)=ab - (b-a)m - m*m < ab；说明外层的乘积更小

证明2：来源：牛客网
假设：找到两组满足条件的数组对（x，y）、（x+a,y-a），其中（x+y=S, 0<a<y-x）

• x*y-[(x+a)(y-a)]
• =xy-xy-(y-x)a+a^2
• =a[a-(y-x)]
• 因为0<a<y-x,所以a-(y-x)<0,所以a[a-(y-x)]<0
• 因此(x,y)乘积一定比(x+a,y-a)小

代码

class Solution 
{
public:
    vector<int> FindNumbersWithSum(vector<int> array,int sum) 
    {
        vector<int> ret;
        int left = 0;//头指针
        int right = array.size()-1;//尾指针
        while(left<right)
        {
           if(array[left] + array[right] == sum)//如果等于则输出，外层乘积大于里层乘积，详细见证明
           {
               ret.push_back(array[left]);
               ret.push_back(array[right]);
               break;
           }
           else if(array[left] + array[right] > sum)//和太大则尾指针左移保证值接近sum
           {
               right--;
           }
           else if(array[left] + array[right] < sum)//和太小则头指针右移保证值接近sum
           {
               left++;
           }
        }
        return ret;
    }
};