给出一个运行时间为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;
}