Я предполагаю, что это целые положительные числа. В списке четное количество элементов. Вы вычисляете среднее значение и делите список на два подсписка, ниже и выше среднего. Тогда либо оба имеют нечетное количество элементов, либо оба четное. В нечетном случае вы знаете, что каждый подсписок содержит один синглтон, и вы решаете проблему с одним синглом для каждого из них. В четном случае вы знаете, что один из подсписок не имеет сингла, т.е. является парным, а другой - двумя. Вы решаете, какое из них является парным, и продолжаете работать над другим, рекурсивно решая проблему двух синглтонов.
Если целые числа представлены в стандартном двоичном формате, вы можете выполнить XOR для всех из них, чтобы решить, спарены ли они. В противном случае, если они представлены в двоично-десятичном формате, с плавающей запятой или чем-либо еще, где представитель не уникален, вы можете использовать следующий тест: список целых чисел является парным тогда и только тогда, когда произведение всех элементов является квадратом. Вычислите exp (1/2 суммы (log xi)), и если оно целое, список будет парным, иначе - нет.
Но решение в ссылке, по общему признанию, намного лучше, чем это.