Предположим, что нам дано «n» объектов и подпрограмма, которая принимает два входа и говорит, эквивалентны ли они или нет (например, он может выдавать 1 как результат, если они равны).

Мне нужно придумать алгоритм, который вызывает вышеупомянутую функцию O (n log n) раз и решает, содержит ли вход более чем n / 2 элементов, которые эквивалентны друг другу.