算法入门---判断集合S中是否存在两个其和等于x的元素

此题是算法导论（第二版）第二章习题 2.3-7，题目如下：

请给出一个运行时间为O（n lgn）的算法，使之在给定一个由n个整数构成的集合S和另一个整数x时，判断出S中是否存在有两个其和等于x的元素。

思路一 ：我们最容易想到的是O（n²）的算法，大致伪码即：

1 findX(A, x){

2     for i=0 to length[A] {

3         key = A[i]

4             for j=0 to length[A]{

5                  if(j != i && key + A[j] == x ){return true}

6     }

7     return false

8 }

这里的算法不符合O(n lgn)，所以不行。

思路二：改进思路一中的算法，使第一层循环里面的4--5行的效率为 lgn。

既然4-5行的目的是找到某个符合条件的值，那么我想到了二分查找，二分查找是一个最坏O(lgn)的查找算法，但是前提是集合S有序，于是先要进行排序。伪码如下：

1 findX(A, x){

2     mergeSort(A, 0, length[A]);

3     for i=0 to length[A] {

4         key = A[i]