[论文解读] The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality

Haris Aziz, Edith Elkind+3 more|arXiv (Cornell University)|Jan 27, 2017

Game Theory and Voting Systems被引用 16

一句话总结

本文引入並分析了多贏選舉中兩種基於康多爾塞（Condorcet）的穩定性概念：用於篩選的蓋爾海因（Gehrlein）穩定性與用於比例代表制的局部穩定性。研究證明，雖然測試蓋爾海因穩定性可在多項式時間內解決，但完整形式的局部穩定性驗證則為 W[1]-hard，兩種概念因其公理性質與計算複雜度差異，適用於不同的選舉應用場景。

ABSTRACT

We study two notions of stability in multiwinner elections that are based on the Condorcet criterion. The first notion was introduced by Gehrlein: A committee is stable if each committee member is preferred to each non-member by a (possibly weak) majority of voters. The second notion is called local stability (introduced in this paper): A size-$k$ committee is locally stable in an election with $n$ voters if there is no candidate $c$ and no group of more than $\frac{n}{k+1}$ voters such that each voter in this group prefers $c$ to each committee member. We argue that Gehrlein-stable committees are appropriate for shortlisting tasks, and that locally stable committees are better suited for applications that require proportional representation. The goal of this paper is to analyze these notions in detail, explore their compatibility with notions of proportionality, and investigate the computational complexity of related algorithmic tasks.

研究动机与目标

• 正式定義並比較多贏選舉中兩種基於康多爾塞的穩定性概念：蓋爾海因穩定性與局部穩定性。
• 評估其在不同選舉應用（篩選 vs. 比例代表制）中的適用性。
• 分析在每種穩定性概念下，驗證與計算穩定委員會的計算複雜度。
• 探討局部穩定性在受限偏好領域中與比例性公理的相容性。
• 識別算法上的可計算性與不可計算性結果，特別是在單峰、單交叉與政黨型偏好設定下。

提出的方法

• 提出一種稱為局部穩定性的新穩定性概念，定義為：若任何超過 n/(k+1) 名選民組成的群體，其偏好將一名非委員會成員候選人優於所有委員會成員，則該委員會不具備此穩定性。
• 引入局部穩定性的強化版本，類似於批准投票中的擴展 justified representation，以提供更強的代表性保障。
• 利用從多色團問題（Multicolored Clique problem）出發的歸約，證明當以委員會規模為參數時，驗證完整局部穩定性為 W[1]-hard。
• 分析受限偏好領域（單峰、單交叉、政黨型）以評估穩定委員會的存在機率及其代表性特性。
• 使用構造性證明顯示，在特定條件下，蓋爾海因穩定委員會可於多項式時間內計算得出。
• 比較蓋爾海因穩定性與局部穩定性的公理性質，特別是關於一致性、單調性與代表性。

实验结果

研究问题

• RQ1 蓋爾海因穩定性是否可高效計算，且是否具備如擴張一致性等強公理性質？
• RQ2 局部穩定性是否能導致比例代表制？與排名投票選舉中現有的比例性概念相比如何？
• RQ3 驗證完整局部穩定性的問題是否具有計算上的可 tractability，還是本質上困難？
• RQ4 單峰或單交叉等受限偏好領域如何影響局部穩定委員會的存在性與其性質？
• RQ5 局部穩定性與批准型多贏投票中的「合理代表」（justified representation）概念有何關係？

主要发现

• 蓋爾海因穩定委員會可於多項式時間內計算，使其在篩選應用中具有計算效率。
• 當以委員會規模為參數時，局部穩定性的驗證為 W[1]-hard，顯示其具有高度計算複雜度。
• 在所有選舉中，局部穩定委員會的存在性並非必然，甚至在受限領域中也可能不存在。
• 在單峰與單交叉領域中，局部穩定委員會更可能存在的機率較高，且通常更具多樣性與比例性。
• 蓋爾海因穩定委員會因其多數決性質與強公理支持（特別是在強穩定性下），非常適用於篩選。
• 本研究確立了完整局部穩定性很可能不屬於 NP，其驗證位於多項式層次的第二層。