В моем решении требовалось умножать 32-битные числа, так что мне надо было использовать 64 бита.

Пожалуйста и спасибо

Нет, он как раз использовал поиск в дереве Фарея.

PS Вообще его чаще называют деревом Штерна-Броко. Почитать о нем можно здесь

Несколько комментариев от меня:

B) Задача на поиск minimum bounding ball. Решается точно за линейное ожидаемое время (например, после преобразования в задачу линейного программирования). Можно также использовать различные приближенные алгоритмы.

С) Существует и еще один способ. Он гораздо менее эффективен, и в худшем тесте использует аж 8000+ перекладываний. Имея три непустые коробки с монетами всегда можно переложить в них монеты так, одна из коробок станет пустая. Эту процедуру можно по очереди применять к трем непустым коробкам. А когда их останется только две, то любая последовательность перекладываний либо приведет к единственной коробке с монетами, либо зациклится в случае отсутствия решения.

D) Можно показать, что сложность работы алгоритма будет O(M^2), если пользоваться алгоритмом Форда-Фалкерсона для нахождения максимального потока: сложность нахождения одного увеличивающего пути равна O(M), а в сумме всех запусков алгоритма таких путей будет найдено O(M) (сумма ребер у перебираемых стоков), что дает сложность O(M^2) – довольно неочевидный факт на мой взгляд

G) Оптимальное решение задачи использует поиск подходящих дробей в дереве Фарея. Лишь один Accepted из четырех был получен таким путем. Остальные перебирали и оптимизировали разнообразнейшими способами =)