Алгоритм поиска в неупорядоченном массиве сложностью O(log n)

Читаю "Алгоритмы: построение и анализ" там есть упражнение

разработайте алгоритм со временем работы ϴ(n log n), который для заданного множества S из n целых чисел и другого целого числа x определяет имеются ли в множестве S два элемента, сумма которых равна x

Про упорядоченность S ничего не сказано, значит считаем что последовательность не упорядочена.Сломал всю голову, не могу сообразить, если б последовательность была упорядочена, тогда все понятно, перебор + двоичный поиск, а как достичь требуемой сложности алгоритма непонятно