Метод ШульцеМетод Шульце — виборча система, розроблена в 1997 р. Маркусом Шульце, яка дозволяє обрати єдиного переможця через використання бюлетенів для голосування із можливістю ранжувати кандидатури відповідно до вподобань виборців.[1] Зазвичай розподіл преференцій виборців відбувається у формі від найбільш бажаного до найменш бажаного кандидата на думку конкретного виборця. Метод Шульца корелюється з методом Кондорсе, останній з яких — це будь-який спосіб обрання кандидата, який би переміг один-на-один будь-якого іншого кандидата. «Метод Шульца» — це матиметатична конкретна модель, яка дозволяє застосувати ідею метода Кондорсе на практиці. Метод Шульца вигідний тим, що дозволяє побороти традицію виборців обирати «менше зло» на виборах, так як дозволяє проголосувати за всіх виборців завдяки системі ранжування і враховує всі голоси. Кожен голос враховується і через математичні розрахунки впливає на загальні результати голосування. Метод Шульце — використовується деякими організаціями, серед яких Debian, Ubuntu, Gentoo, Software in the Public Interest, Піратськими партіями Австралії, Австрії, Бельгії, Бразилії, Франції, Німеччини, Ісландії, Італії, Мекски, Нідерландів, Нової Зеландії, Швеції, Швейцарії, США та багатьма іншими. Опис методу ШульцеВиборчий бюлетеньТак званий «вхід» для методу Шульце є таким самим, як і для інших методів обрання одного переможця серед багатьох кандидатів шляхом чесних виборів. Кожен виборець має надати упорядкований список переваг про кандидатів. Нічиї є дозволеними та можливими. Одним типовим способом для виборців є можливість вказати свої переваги на голосування і він виглядає наступним чином: Кожен виборчий бюлетень містить список всіх кандидатів, і кожен виборець входить в цей список в порядку переваги з використанням номерів: виборець ставить «1» поруч з найкращим кандидатом(-ами), «2» поруч з другим кандидатом, якому надають найбільшу перевагу, і так далі. Кожен виборець має можливість:
ОбрахункиНехай — це число виборців, хто вважає кращим кандидата за кандидата . Шлях від кандидата до іншого кандидата, тобто з рейтингом сили є нічим іншим, як послідовністю усіх кандидатів, що беруть участь у виборах, з наступними пріоритетами:
Нехай — the сила найсильнішого шляху від кандидата до кандидата — будемо вважати максимальним значенням таким чином, що існує шлях від кандидата до кандидата з цією «силою» (сила шляху є нічим іншим, як силою найслабшого зв'язку між кандидатами). Якщо немає жодного шляху від кандидата до кандидата взагалі, тоді вважається, що . Кандидат є кращим, ніж кандидат лише в тому випадку, якщо . Кандидат є потенційним переможцем лише в тому випадку, якщо за кожного іншого кандидата . Це може бути доведено так: та в сукупності означає, що .[2] . Таким чином, гарантується:
ПрикладУ наступному прикладі, поданому нижче, 45 виборців оцінюють 5-ох кандидатів. Утворюється матриця з кількості голосів та порядку пріоритетів: Попарні пріоритети (переваги) повинні бути обчислені в першу чергу. Наприклад, при порівнянні A та B попарно, то можна побачити, що є 5+5+3+7=20 виборців, які надають перевагу A у порівнянні з аналогічним показником для B, і 8+2+7+8=25 виборців, які надають перевагу B в порівнянні з A. Отже, and . Повний набір парних переваг має вигляд:
Клітини d[X, Y] мають світло-зелений фон (як можна помітити), якщо d[X, Y] > d[Y, X]. У всіх інших випадках фон клітинки є світло-червоним. Тут немає одноголосного переможця, якщо дивитись лише на попарні відмінності переваг. Тепер слід ідентифікувати так звані найсильніші шляхи. Для того щоб візуалізувати найсильніші шляхи та зробити останні більш-менш прийнятними для сприйняття, попарні переваги зображено на малюнку справа у вигляді орієнтованого графу. Стрілці від вузла, що представляє кандидата X до іншої, який представляє кандидата Y надають мітку d[X, Y]. Для того, щоб не захаращувати діаграму, стрілку малюють з X до Y лише у випадку, коли d[X, Y] > d[Y, X] (тобто елементи таблиці з світло-зеленим фоном), опускаючи іншу стрілку в протилежному напрямку (елементи таблиці зі світло-червоним тлом). Одним із прикладів обчислення найбільш сильного шляху p[B, D] = 33: найсильніший шлях від B до D є прямим шляхом (B, D), що має силу 33. Але під час обчислення вже іншого найсильнішого шляху, наприклад, p[A, C], то тут найсильніший шлях від A до C не має прямої дороги (A, C) з силою 26, тим паче, скоріш за все найсильніший шлях є непрямим (A, D, C), що має силу між мінімальними елементами сусідніх вершин графу min(30, 28) = 28. Сила шляху є силою його найслабшого зв'язку. Для кожної пари кандидатів X і Y, наступна таблиця показує сильний шлях від кандидата X до кандидата Y зафарбуванням вершини червоним кольором, з найслабшою ланкою, що є підкресленою. Примітка: рядки — звідки, стовпці — куди рухаємось.
Тепер вихідний результат методу Шульце може бути точно визначеним. Наприклад, під час порівняння A та B, бо , за методом Шульце кандидат A є кращий, ніж кандидат B. Ще одним прикладом є те, що , а саме тому кандидат E є кращий, ніж кандидат D. Продовжуючи таким же шляхом, отримаємо результат, що показує рейтинг за методом Шульце: , а це означає, що E є переможцем. Іншими словами, кандидат E виграв вибори, так як у порівнянні з іншими кандидатами X. Комп'ютерна реалізаціяВажкий кроком в реалізації методу Шульце на практиці є обчислення сил найбільш сильних шляхів. Тим не менш, це є добре відомою проблемою в теорії графів, яку іноді називають проблемою найширшого шляху. Одним і простим способом для обчислення сили є варіант алгоритм Флойда — Воршелла. Наступний псевдокод ілюструє алгоритм. # Input: d[i,j], кількість виборців, які надають перевагу кандидату i відносно кандидата j.
# Output: p[i,j], сила найбільш сильного шляху від кандидата i до кандидата j.
for i from 1 to C
for j from 1 to C
if (i ≠ j) then
if (d[i,j] > d[j,i]) then
p[i,j] := d[i,j]
else
p[i,j] := 0
for i from 1 to C
for j from 1 to C
if (i ≠ j) then
for k from 1 to C
if (i ≠ k and j ≠ k) then
p[j,k] := max ( p[j,k], min ( p[j,i], p[i,k] ) )
Цей алгоритм є ефективним, і працює за час O(C3), де С являє собою число кандидатів. Нічиї та альтернативні реалізаціїДозволяючи користувачам (виборцям) не обирати одного кандидата, а з можливістю встановлення однакових пріоритетів, результат методу Шульце зрозуміло залежить від того, як ці однакові пріоритети інтерпретуються під час визначення d[*,*]. Двома природними виборами є такі, що d[A, B] зображає або кількість тих виборців, що точно надають перевагу A відносно B (A>B), або межу (виборці, де A>B) мінусів (виборці, де B>A). Але немає справжнього значення, як d-ті визначаються, встановлення рейтингу за методом Шульце не передбачає жодних циклів і припущення того, що d-ті є унікальними означає, що не нічиєї однозначно не можу бути. Хоча нічиї в рейтингу Шульце малоймовірні, вони можливі. Шульце запропонував оригінальний документ для вирішення проблеми нічиєї, що має такі особливості:
Ще одним способом опису переможця за допомогою метода Шульце, проте значно повільним, є наступна процедура, що складається з таких кроків:
Див. також
Примітки
|