Кіріспе
Әлеуметтік таңдау теориясы қарапайым көпшілік дауыс берудің басымдылығы туралы
Әлеуметтік таңдау теориясында Мей теоремасы, сонымен қатар Ароудың мүмкіндік теоремасы деп аталады, көпшілік дауыс беру келесі критерийлерді қанағаттандыратын бірегей реттелген әлеуметтік таңдау функциясы болып табылады:
In social choice theory, May's theorem, also called Arrow's possibility theorem, says that majority vote is the unique ranked social choice function that satisfies the following criteria:
Анонимділік – сайлаушылардың теңдігі, яғни бір адам, бір дауыс. Бейтараптық – үміткерлерге тең қарау, яғни әділ сайлау. Оң жауап беру – дауыстардың оң (теріс емес) құндылығы. Бұл теорема алғаш рет Кеннет Мэй 1952 жылы жариялаған. Бастапқы жарияланудан бері басқалар түрлі өзгерістер ұсынды. Егер бағалау бойынша дауыс беруге рұқсат берілсе, көптеген ережелер Мейдің шарттарын қанағаттандырады, соның ішінде баллдық дауыс беру немесе ең жоғары медианалық дауыс беру ережелері. Ароу теоремасы екі үміткердің жағдайына қолданылмайды (өйткені бұл жағдайда "тәуелсіз баламалар" болмайды), сондықтан бұл мүмкіндік нәтижесін сол теореманың айналық аналогы ретінде қарастыруға болады. Анонимділік диктатураға қарсы тұрудан күшті талап екенін ескеріңіз. Қарапайым көпшілік дауыс берудің ең көп дегенде екі баламамен сәтті жұмыс жасай алатындығын түсіндірудің тағы бір жолы – Накамура теоремасын келтіру. Теорема ережеге сәйкес келетін баламалардың саны ереженің Накамура санынан кем екенін көрсетеді. Қарапайым көпшілік дауыс берудің Накамура саны 3-ке тең, төрт сайлаушы болған жағдайда басқа. Көпшілік дауыс беру ережелерінің Накамура саны жоғары болуы мүмкін.
Ресми мәлімдеме
1-ші шарт. Топтық шешім қабылдау функциясы әрбір дауыс берушіге бірдей қатысады. (анонимділік)
2-ші шарт. Топтық шешім функциясы екі нәтижені де бірдей қарастырады, яғни дауыс берушілердің әрбір жиынтығын кері аударғанда топтық шешім де кері ауысады. (нейтралдық)
3-ші шарт. Егер топтық шешім 0 немесе 1 болса және дауыс беруші дауысын -1-ден 0-ге немесе 1-ге, немесе 0-ден 1-ге көтерсе, топтық шешім 1 болады. (позитивті сезімталдық)
Condition 2. The group decision function treats both outcomes the same, in that reversing each set of preferences reverses the group preference. (neutrality)
Condition 3. If the group decision was 0 or 1 and a voter raises a vote from −1 to 0 or 1, or from 0 to 1, the group decision is 1. (positive responsiveness)
Теорема: Дауыс берушілердің саны тақ болатын топтық шешім функциясы 1, 2, 3 және 4-ші шарттарды орындайды, егер және тек қана қарапайым көпшілік дауыс беру әдісі болса.