비례승인투표

Proportional approval voting

비례승인투표(PAV)는 위원회를 선정하는 비례선거제도입니다.개인 투표(유권자가 정당명부가 아닌 후보자에게 투표)를 추가로 허용하는 배분[1][2] 방식의 연장입니다.유권자들은 승인 투표를 통해 투표를 하고, 각 유권자들은 유권자들이 받아들일 수 있다고 생각하는 후보자들에게 표시를 합니다.

역사

이 시스템은 토르발드 N에 의해 처음 제안되었습니다. 티엘.[3][4][5]스웨덴에서는 1909년에서 1921년 사이 정당 내 의석 배분, 지방선거 등과 같이 20세기 초 순위 투표와 함께 사용되었습니다.[4]1921년 이후에는 프라그멘의 규칙으로 대체되었습니다.PAV는 2001년[6] Forest Simmons에 의해 재발견되었으며, "비례 승인 투표"라는 이름을 부여했습니다.

정의.

PAV는 점수가 가장 높은 고정된 원하는 크기의 위원회를 선택하며, 점수는 다음 공식에 따라 계산됩니다.위원회 가 주어졌을 때 각 유권자에 대해 해당 위원회의 후보자 수를 확인합니다. 에서 유권자가 r 후보자에게 투표했다고 가정하면 유권자는 {\ 점수에 r {\ r - 고조파 숫자의 값, 즉 다음과 같이 기여합니다.[6][7]

의 점수는 모든 투표자로부터 얻은 점수의 합으로 계산됩니다.

공식적으로 후보 C C ={ c c C =\{ 투표자 N = { {\ N = 2,\ n 위원회 k {\가 있다고 가정합니다 가 투표자 i에 의해 승인된 후보 집합을 나타내도록 합시다크기가 = W = k 위원회 의 PAV 점수를 ( ) = ∑ = 1 () _{PAV =\=1)}로 정의합니다 PAV는 최대 점수를 가진 위원회 를 선택합니다.

예제1

2개의 좌석이 채워질 것으로 가정하고, 4개의 후보가 있습니다.안드레아(A), 브래드(B), 카터(C), 딜라일라(D) 등 30명의 유권자.투표용지는 다음과 같습니다.

  • 5명의 유권자가 A와 B에게 투표했습니다.
  • 17명의 유권자가 A와 C에게 투표했습니다.
  • 8명의 유권자가 D에게 투표했습니다.

AB, AC, AD, BC, BD, CD의 6가지 가능한 결과가 있습니다.

AB 교류. AD 비씨 BD 시디
AB에게 투표한 5명의 유권자로부터 점수를 얻다.
AC에 투표한 17명의 유권자들의 점수
D에게 투표한 8명의 유권자로부터 점수를 얻다.
총점 24.5 30.5 30 22 13 25

Andrea와 Carter가 당선되었습니다.

Simple Approval에 따르면 Andrea가 22표, Carter가 17표, Delilah가 8표, Brad가 5표입니다.이 경우 Andrea와 Carter의 PAV 선택은 Simple Approval 시퀀스와 일치합니다.다만, 위 표가 A와 C가 16표, D가 9표가 되도록 약간 바뀌면 A와 C 점수는 현재 29점이고 A와 D 점수는 30점에 머물고 있기 때문에 안드레아와 델릴라는 A와 C 점수는 현재 29점이고 A와 D 점수는 30점입니다.또한 Simple Approval을 사용하여 생성된 시퀀스는 변경되지 않습니다.이는 PAV가 단순 승인에 의해 내포된 순서를 단순히 따르는 방법과 호환되지 않는 결과를 제공할 수 있음을 보여줍니다.

예제2

10석이 선정된다고 가정하고, 후보군은 적색, 청색, 녹색으로 세 그룹이 있다고 가정합니다.유권자는 100명입니다.

  • 60명의 유권자들이 모든 파란 후보들에게 투표를 했습니다.
  • 30명의 유권자들이 모든 붉은 후보들에게 투표를 했고,
  • 10명의 유권자가 녹색 후보자 전원에게 투표했습니다.

이 경우 PAV는 파란색 6개, 빨간색 3개, 녹색 1개 후보를 선택합니다.그러한 위원회의 점수는

다른 위원회들은 모두 낮은 점수를 받습니다.예를 들어, 파란색 후보들로만 구성된 위원회의 점수는

이 예제에서 PAV의 결과는 비례합니다. 각 그룹에서 선택된 후보의 수는 그룹에 투표하는 유권자의 수에 비례합니다.이것은 우연이 아닙니다.만약 후보들이 위의 예와 같이 서로 다른 그룹들을 형성하고 (그룹들은 정당으로 볼 수 있다), 각 유권자들이 단일 그룹 내의 모든 후보들을 위해 독점적으로 투표한다면, PAV는 정당-목록 비례대표D'Hondt 방식과 같은 방식으로 행동할 것입니다.[1]

특성.

이 절에서는 비례 승인 투표의 공리적 속성에 대해 설명합니다.

규모 1의 위원회

승자가 한 명뿐인 선거에서 PAV는 승인 투표와 정확히 동일한 방식으로 운영됩니다.즉, 가장 많은 유권자의 지지를 받는 후보자로 구성된 위원회를 선정하는 것입니다.

비례성

대부분의 비례대표제정당명부제를 사용합니다.PAV는 비례대표와 개인 투표(유권자는 정당명부가 아닌 후보에게 투표)를 모두 하도록 설계되었습니다.투표가 당파적인 계획(각 유권자가 다른 정당의 후보자를 제외한 모든 후보자에게 투표함)[1]을 따르는 것으로 밝혀지면, 이 제도는 각 정당에서 이 정당을 선택한 유권자의 수에 비례하는 다수의 후보자를 선출하기 때문에 "비례" 제도라고 불릴 만하다(예 2 참조).또한 가벼운 가정(대칭성, 연속성 및 파레토 효율성) 하에서 PAV는 개인 투표를 허용하고 일관성 기준을 충족하는 D'Hondt 방법의 유일한 확장입니다.[2]

유권자들이 당파적인 계획을 따르지 않더라도 규칙은 비례성을 보장합니다.예를 들어 PAV는 확장 정당화 표현이라는 강력한 공정성 속성과 관련 [7]속성 비례 정당화 표현을 만족시킵니다.[8]또한 최적의 비례도를 갖습니다.[9][10]이 모든 속성은 응집력 있는(유사한) 선호를 가진 유권자 그룹이 적어도 그룹의 규모에 비례하는 다수의 후보자로 대표될 것을 보장합니다.PAV는 모든 PAV 유사 최적화 방법 중에서 그러한 특성을 만족시키는 유일한 방법입니다(그 정의에서 고조파 숫자 이외의 숫자를 사용할 수 있음).[7]

PAV에 의해 반환된 위원회가 핵심이 아닐 수도 있습니다.[7][11]그러나 Pigou-Dalton 전송 원리를 만족시키는 규칙에 의해 달성될 수 있는 최적의 근사비인 코어의 2-근사를 보장합니다.[11]또한 PAV는 선거에 출마하는 비슷한 후보자가 충분히 많은 경우 코어의 속성을 만족시킵니다.[12]

PAV는 가격 경쟁력에 실패하고(즉, 유권자들이 고정된 양의 가상화폐를 받는 과정을 통해 PAV의 선택을 항상 설명할 수는 없으며, 이 비용을 자신이 좋아하는 후보를 구입하는 데 사용합니다) 계층적 비례성에 실패합니다.[11]가격성과 층적 비례성을 만족하고 PAV와 비교하여 비례성 관련 특성이 우수한 두 가지 대체 규칙은 동등 지분의 방법과 Phragmén의 순차 규칙입니다.[13]이 두 가지 대안적 방법은 다항식 시간에도 계산이 가능하지만 파레토 효율성에 실패합니다.

기타속성

PAV는 비례성과 관련된 특성 외에도 다음 공리를 만족합니다.

PAV는 다음 속성에 실패합니다.

계산

PAV에 따른 수상 위원회들을 계산하기 위한 정수 선형 프로그래밍 공식 y c (가) 선택되었는지 여부를 나타냅니다.변수 은(는) i{\이(가) 선택한 후보 ℓ{\개 이상을 승인하는지 여부를 나타냅니다.

PAV에 따라 당선된 위원회를 계산하는 것은 NP-hard [16][17]방식이므로 후보자 수와 의석 수가 증가함에 따라 계산적으로 까다로운 투표 방식이 됩니다.잔인한 접근법 아래서, 만약 m명의 후보자들과 k석이 있다면,

각 선거와 비교할 후보 [18]조합예를 들어, 만약 4석에 24명의 후보자가 있다면, PAV 점수를 계산해야 하는 조합은 10,626개가 될 것입니다.이렇게 많은 계산이 필요한 선거는 컴퓨터에 의한 개표를 필요로 할 것입니다.중간 규모 선거의 경우 PAV의 결과는 정수 프로그래밍 솔버를 사용하여 계산할 수 있습니다.PAV의 ILP 구현은 파이썬 패키지 abc투표의 일부입니다.[19]k가 고정되면(상수) PAV의 브루트 포스 계산은 다항식 시간, 즉 가 소요되며 여기서 n은 투표자의 수입니다.

순차적 비례 승인 투표는 근사 비율이 -1/ 1 - / 인 PAV 근사치로 간주할 수 있는 방법이므로결과적인 위원회의 PAV 점수는 최적보다 최대 37% 낮습니다.이 방법은 다항식 시간에 계산될 수 있으며, 선거 결과는 잠재적으로 손으로 결정될 수 있습니다.비록 형식적으로는 PAV를 구별하는 모든 비례성을 상실하지만, 그 자체로 순차적인 비례성 투표는 좋은 특성을 보여주고 본격적인 선거제도로 활용될 수 있습니다.무작위 반올림을 기반으로 한 더 복잡한 접근 방식은 0.7965의 근사 비율을 제공합니다.[20]복잡도 이론의 표준 가정 하에서, 이것은 다항 시간 내에 PAV에 대해 달성할 수 있는 최고의 근사 비율입니다.[20] 문제는 문제(sc PA V ( W) _{PAV _ {{PAV로 공식화할 수도 있습니다.가장 잘 알려진 근사비는 2.36입니다.[21]

매개 변수화된 복잡성의 관점에서 PAV를 계산하는 문제는 일반적으로 어려운 것이며, 몇 가지 예외적인 쉬운 경우도 있습니다.[16][22]문제는 투표의 2차원 공간 모델에서도 NP-hard입니다.[23]단일 차원의 경우 다항식 시간으로 해결할 수 있습니다.[15]

승인위원회 선거를 넘어

PAV는 여러 독립적인 문제로 구성된 안건에 대한 투표에 사용할 수 있으며, 이 안건에 대해서는 찬성/반대 결정을 내릴 필요가 없습니다.[24][25]

추가열람

  • Lackner, Martin; Skowron, Piotr (2023). Multi-Winner Voting with Approval Preferences. SpringerBriefs in Intelligent Systems. arXiv:2007.01795. doi:10.1007/978-3-031-09016-5. ISBN 978-3-031-09015-8. S2CID 244921148.
  • Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Nimrod Talmon (2017-10-26). "Multiwinner Voting: A New Challenge for Social Choice Theory". In Endriss, Ulle (ed.). Trends in Computational Social Choice. AI Access. ISBN 978-1-326-91209-3.{{cite book}}: CS1 유지 : 여러 이름 : 저자 목록 (링크)

참고 항목

참고문헌

  1. ^ a b c Brill, Markus; Laslier, Jean-François; Skowron, Piotr (2018). "Multiwinner Approval Rules as Apportionment Methods". Journal of Theoretical Politics. 30 (3): 358–382. arXiv:1611.08691. doi:10.1177/0951629818775518. S2CID 10535322.
  2. ^ a b Lackner, Martin; Skowron, Piotr (2021). "Consistent approval-based multi-winner rules". Journal of Economic Theory. 192: 105173. arXiv:1704.02453. doi:10.1016/j.jet.2020.105173. S2CID 232116881.
  3. ^ Thiele, Thorvald N. (1895). "Om Flerfoldsvalg". Oversigt over Det Kongelige Danske Videnskabernes Selskabs Forhandlinger: 415–441.
  4. ^ a b Janson, Svante (2016). "Phragmén's and Thiele's election methods". arXiv:1611.08826 [math.HO].
  5. ^ "RangeVoting.org - Optimal proportional representation". rangevoting.org. Retrieved 2023-01-12.
  6. ^ a b Kilgour, D. Marc (2010). "Approval Balloting for Multi-winner Elections". In Jean-François Laslier; M. Remzi Sanver (eds.). Handbook on Approval Voting. Springer. pp. 105–124. ISBN 978-3-642-02839-7.
  7. ^ a b c d Aziz, Haris; Brill, Markus; Conitzer, Vincent; Elkind, Edith; Freeman, Rupert; Walsh, Toby (2017). "Justified representation in approval-based committee voting". Social Choice and Welfare. 48 (2): 461–485. doi:10.1007/s00355-016-1019-3. S2CID 8564247.
  8. ^ Sánchez-Fernández, Luis; Elkind, Edith; Lackner, Martin; Fernández, Norberto; Fisteus, Jesús; Val, Pablo Basanta; Skowron, Piotr (2017-02-10). "Proportional Justified Representation". Proceedings of the AAAI Conference on Artificial Intelligence. 31 (1). doi:10.1609/aaai.v31i1.10611. ISSN 2374-3468. S2CID 17538641.
  9. ^ Aziz, Haris; Elkind, Edith; Huang, Shenwei; Lackner, Martin; Sánchez Fernández, Luis; Skowron, Piotr (2018). "On the Complexity of Extended and Proportional Justified Representation". Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence. AAAI-18. 32 (1): 902–909.
  10. ^ Skowron, Piotr (2021). "Proportionality Degree of Multiwinner Rules". Proceedings of the 22nd ACM Conference on Economics and Computation. EC-21. pp. 820–840. arXiv:1810.08799. doi:10.1145/3465456.3467641. ISBN 9781450385541. S2CID 53046800.
  11. ^ a b c d Peters, Dominik; Skowron, Piotr (2020). "Proportionality and the Limits of Welfarism". Proceedings of the 21st ACM Conference on Economics and Computation. EC'20. pp. 793–794. arXiv:1911.11747. doi:10.1145/3391403.3399465. ISBN 9781450379755. S2CID 208291203.{{cite book}}: CS1 메인 : 일자 및 연도 (링크)
  12. ^ Brill, Markus; Gölz, Paul; Peters, Dominik; Schmidt-Kraepelin, Ulrike; Wilker, Kai (2020). "Approval-Based Apportionment". Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. AAAI-20. 34 (2): 1854–1861. arXiv:1911.08365. doi:10.1609/aaai.v34i02.5553. S2CID 208158445.
  13. ^ a b c d e Lackner, Martin; Skowron, Piotr (2023). Multi-Winner Voting with Approval Preferences. SpringerBriefs in Intelligent Systems. arXiv:2007.01795. doi:10.1007/978-3-031-09016-5. ISBN 978-3-031-09015-8. S2CID 244921148.
  14. ^ Sánchez Fernández, Luis; Fisteus, Jesús (2019). "Monotonicity Axioms in Approval-based Multi-winner Voting Rules" (PDF). Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. AAMAS-19: 485–493. arXiv:1710.04246.
  15. ^ a b Peters, Dominik (2018). "Single-Peakedness and Total Unimodularity: New Polynomial-Time Algorithms for Multi-Winner Elections". Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence. AAAI-18: 1169–1176. arXiv:1609.03537.
  16. ^ a b Aziz, Haris; Gaspers, Serge; Gudmundsson, Joachim; Mackenzie, Simon; Mattei, Nicholas; Walsh, Toby (2015). "Computational Aspects of Multi-Winner Approval Voting". Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. AAMAS-15: 107–115. arXiv:1407.3247. ISBN 978-1-4503-3413-6.
  17. ^ a b Skowron, Piotr; Faliszewski, Piotr; Lang, Jérôme (2016). "Finding a collective set of items: From proportional multirepresentation to group recommendation". Artificial Intelligence. 241: 191–216. arXiv:1402.3044. doi:10.1016/j.artint.2016.09.003. S2CID 11313941.
  18. ^ Plaza, E. (2004). "Technologies for political representation and accountability". www.semanticscholar.org. S2CID 17991644. Retrieved 2023-01-12.
  19. ^ Python 라이브러리 abboting은 정수 선형 프로그래밍에 기반한 매우 빠른 알고리즘을 포함하여 PAV를 계산하기 위한 여러 알고리즘을 포함합니다.
  20. ^ a b Dudycz, Szymon; Manurangsi, Pasin; Marcinkowski, Jan; Sornat, Krzysztof (2020). "Tight Approximation for Proportional Approval Voting". Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI-20: 276–282. doi:10.24963/ijcai.2020/39. ISBN 978-0-9992411-6-5. S2CID 220484671.
  21. ^ Byrka, Jaroslaw; Skowron, Piotr; Sornat, Krzysztof (2018). "Proportional Approval Voting, Harmonic k-median, and Negative Association". Proceedings of the 45th International Colloquium on Automata, Languages, and Programming. ICALP-18. 107: 26:1–26:14. arXiv:1704.02183. doi:10.4230/LIPIcs.ICALP.2018.26. ISBN 9783959770767. S2CID 3839722.
  22. ^ Bredereck, Robert; Faliszewski, Piotr; Kaczmarczyk, Andrzej; Knop, Dusan; Niedermeier, Rolf (2020). "Parameterized Algorithms for Finding a Collective Set of Items". Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. AAAI-20. 34 (2): 1838–1845. doi:10.1609/aaai.v34i02.5551. S2CID 213963505.
  23. ^ Godziszewski, Michal; Batko, Pawel; Skowron, Piotr; Faliszewski, Piotr (2021). "An Analysis of Approval-Based Committee Rules for 2D-Euclidean Elections". Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence. AAAI-21. 35 (6): 5448–5455. doi:10.1609/aaai.v35i6.16686. S2CID 235306592.
  24. ^ Conitzer, Vincent; Freeman, Rupert; Shah, Nisarg (2017). "Fair Public Decision Making". Proceedings of the 2017 ACM Conference on Economics and Computation. EC'17. pp. 629–646. arXiv:1611.04034. doi:10.1145/3033274.3085125. ISBN 9781450345279. S2CID 30188911.{{cite book}}: CS1 메인 : 일자 및 연도 (링크)
  25. ^ Freeman, Rupert; Kahng, David; Pennock, Anson (2020). "Proportionality in Approval-Based Elections With a Variable Number of Winners". Proceedings of the 29th International Joint Conference on Artificial Intelligence. IJCAI'20. 1: 132–138. doi:10.24963/ijcai.2020/19. ISBN 978-0-9992411-6-5. S2CID 211052991.

외부 링크