算法导论习题2.3-7

给出一个运行时间为O(nlgn)的算法，使之能在给定一个由n个整数组成的集合S和另个整数x时，判断S中是否存在有两个其和等于x的元素：

//在已排序的数组上进行二分查找
bool binary_search(int a[],int x,int p,int r)
{
    if(p>=r&&a[p]!=x)
        return false;
    int j=(p+r)/2;
    if(x==a[j])
        return true;
    else if(x>a[j])
        return binary_search(a,x,j+1,r);
    else
        return binary_search(a,x,p,j-1);
}
//查找数组a中是否存在两个数，其和为x
bool check_sum(int a[],int n,int x)
{
    sort(a);//用复杂度为O(nlgn)的排序算法对a进行排序，详见《排序》
    for(int i=0;i<n;++i)
        if(binary_search(a,x-a[i],0,n-1))
            return true;
    return false;
}