一个运行时间为nlgn的算法，能判断在集合S中是否有两数之和为x

先用归并排序对集合S中的整数进行排序，接着再用下面的子过程进行判断：

bool Func(int Array[], int first, int last, int x)
{
	while (first < last)
	{
		if (Array[first] + Array[last] < x)
		{
			++first;
		}
		else
		{
			if (Array[first] + Array[last] > x)
			{
				--last;
			}
			else
			{
				return true;
			}
		}
	}
	return false;
}

显然判断过程的时间复杂度为n,结合归并排序的时间复杂度，容易得出整个算法满足题意的要求.