Введение

Теория социального выбора о превосходстве голосования простым большинством

В теории социального выбора теорема Мэя, также называемая теоремой о возможности Стрелы, утверждает, что голосование большинством является единственной ранжированной функцией социального выбора, удовлетворяющей следующим критериям:

Анонимность – равенство избирателей, то есть один человек – один голос. Нейтральность – равное отношение к кандидатам, то есть справедливые выборы. Положительная отзывчивость – голоса имеют положительную (не отрицательную) ценность. Теорему впервые опубликовал Кеннет Мэй в 1952 году. С момента первоначальной публикации другие предложили различные модификации. Если допускается рейтинговое голосование, широкий спектр правил удовлетворяет условиям Мэя, включая правила голосования по оценкам или правила голосования по наивысшей медиане. Теорема Стрелы неприменима к случаю двух кандидатов (когда тривиально отсутствуют "независимые альтернативы"), поэтому этот результат о возможности можно рассматривать как зеркальный аналог этой теоремы. Следует отметить, что анонимность – это более строгое требование, чем недеспотизм. Другой способ объяснить тот факт, что голосование простым большинством может успешно работать максимум с двумя альтернативами, – это сослаться на теорему Накамуры. Теорема утверждает, что число альтернатив, с которыми правило может успешно справиться, меньше числа Накамуры для этого правила. Число Накамуры для голосования простым большинством равно 3, за исключением случая с четырьмя избирателями. Правила квалифицированного большинства могут иметь большее число Накамуры.

Официальное заявление

Условие 1. Функция группового решения одинаково относится к каждому голосующему. (анонимность)
Условие 2. Функция группового решения одинаково оценивает оба исхода, то есть изменение порядка предпочтений каждого избирателя приводит к изменению порядка групповых предпочтений. (нейтральность)
Условие 3. Если групповое решение было 0 или 1, и избиратель повышает свой голос с -1 до 0 или 1, или с 0 до 1, то групповое решение будет 1. (положительная отзывчивость)

Теорема: Функция группового решения с нечетным числом голосующих удовлетворяет условиям 1, 2, 3 и 4 тогда и только тогда, когда это метод простого большинства.