Почему вы хотите использовать разделяй и властвуй?Ответ на ваш вопрос выглядит как O (n) при использовании тривиального алгоритма 'iterate and count' ... и вы не можете знать, что половина объектов вернет true, используя любой алгоритм, проверяющий меньше, чем O (n / 2) объектов,это то же самое, что O (n).
EDIT : ОК, редактирование показывает, что вы применяете не предикат.Так что мой ответ не относится.Я до сих пор не понимаю, как вы на самом деле определяете «половина объекта возвращает истину».Они возвращают истину по сравнению с чем?У нас есть n**2
пар (возможно, меньше, неясно, можно ли сравнить объект с самим собой).Вы имеете в виду, что половина пар n**2
возвращает true, когда применяется функция сравнения?
Если так, то рассуждение, очень похожее на предыдущее, заключит, что вы обречены и не можете сделать лучше, чем O(n**2)