算法导论 2.3-7 新的查找问题

描述一个运行时间为θ(nlgn)的算法，给定n个整数的集合S和另一个整数x，该算法能确定S中是否存在两个其和刚好为x的元素。

该算法伪代码如下：

该算法的执行过程如下：

首先对数组S进行归并排序 - 或任何运行时间不高于θ(nlgn)的排序。

代码 6~10 行执行这样一个循环：算法将已排序的子数组 S[i..j] 中的最小元素 S[i] 和最大元素 S[j] 的和与x进行比较。

如果比较结果小于x，由于S[i..j]是已排序的，那么可以推断S[i]与S[i..j]中任何其它元素都小于x，故可以推断S[i]不可能是我们想要找的元素，算法将排除该元素，将索引i增加1。

如果比较结果大于x，则情况相反，索引j将减少1 。

算法将在以下两种情况下终止：

1. i == j ，此时算法没有找到对应的元素，返回NIL 。

2. i < j的前提下，找到S[i] + S[j] = x 。

由于初始的i和j保证了i<=j，在算法运行过程中，如果没有找到S[i]+S[j]=x，每一次循环保证了要么i会不断加1，要么j会不断减1，所以该算法必然最终会终止。

由于整个while循环的复杂度为θ(n)，所以整个算法复杂度最耗时的部分是排序部分的θ(nlgn) 。故该算法的时间复杂度为θ(nlgn) 。