[论文解读] Multi-Winner Voting with Approval Preferences

Martin Lackner, Piotr Skowron|arXiv (Cornell University)|Jul 3, 2020

Game Theory and Voting Systems被引用 7

一句话总结

本文对基于批准的多赢家投票规则（ABC规则）进行了全面分析，聚焦于公理性质、计算复杂度与比例代表性。文章介绍了并评估了关键规则，如Thiele方法、Phragmén规则、Monroe规则以及等额分配法，建立了其理论基础与算法行为，核心贡献在于形式化了比例代表性程度，并论证了代表性保障机制，如公正代表（JR）与扩展公正代表（EJR）。

ABSTRACT

Multi-winner voting is the process of selecting a fixed-size set of representative candidates based on voters' preferences. It occurs in applications ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversifying search results). All these applications share the problem of identifying a representative subset of alternatives -- and the study of multi-winner voting is the principled analysis of this task. This book provides a thorough and in-depth look at multi-winner voting based on approval preferences. One speaks of approval preferences if voters express their preferences by providing a set of candidates they approve. Approval preferences thus separate candidates in approved and disapproved ones, a simple, binary classification. The corresponding multi-winner voting rules are called approval-based committee (ABC) rules. Due to the simplicity of approval preferences, ABC rules are widely suitable for practical use. Recent years have seen a rising interest in ABC voting. While multi-winner voting has been originally a topic studied by economists and political scientists, a significant share of recent progress has occurred in the field of computational social choice. This discipline is situated in the intersection of artificial intelligence, computer science, economics, and (to a lesser degree) political science, combining insights and methods from these distinct fields. The goal of this book is to present fundamental concepts and results for ABC voting and to discuss the recent advances in computational social choice. The main focus is on axiomatic analysis, algorithmic results, and relevant applications.

研究动机与目标

• 为基于批准的多赢家投票规则（ABC规则）在公平且具代表性的委员会选择方面提供系统化、原则性的分析。
• 研究ABC规则的公理性质，包括匿名性、中立性、单调性与康多尔塞一致性。
• 考察在不同ABC规则下计算获胜委员会的计算复杂度。
• 形式化并分析比例代表性概念，如公正代表（JR）、扩展公正代表（EJR）与层状比例代表性。
• 将理论性质与实际应用联系起来，涵盖参与式预算、协同过滤与搜索结果多样化等场景。

提出的方法

• 使用批准选票形式化ABC规则框架，其中选民批准候选人的子集，委员会根据集体偏好进行选择。
• 引入并分析主要ABC规则：Thiele方法（如比例批准投票）、顺序变体、Monroe规则与Phragmén规则。
• 应用贪心选择与等额分配法等算法技术，高效计算获胜委员会。
• 通过数学建模定义比例代表性程度，并分析不同规则下的边界。
• 通过公理分析建立比例代表性与策略性投票行为之间的理论联系。
• 提供正式证明与构造，以验证公正代表（JR）、扩展JR（EJR）以及规则间的一致性等性质。

实验结果

研究问题

• RQ1 哪些ABC规则满足匿名性、中立性与委员会单调性等基本公理？
• RQ2 不同ABC规则在比例代表性方面表现如何，各自的代表性程度为何？
• RQ3 ABC规则能否保证扩展公正代表（EJR），哪些规则满足该性质？
• RQ4 在不同ABC规则下，计算获胜委员会的计算复杂度如何？
• RQ5 策略性投票行为如何影响ABC规则的性能与公平性？

主要发现

• 等额分配法满足扩展公正代表（EJR），其比例代表性程度介于 $\frac{\ell-1}{2}$ 与 $\frac{\ell+1}{2}$ 之间，确立了强有力的公平保障。
• 贪心Monroe规则即使在不假设 $k$ 整除 $n$ 的条件下，也满足公正代表（JR），其证明基于Monroe得分增加的反证法。
• 顺序Phragmén与Thiele方法无法保证EJR，且某些比例代表性程度为 $f_{\mathcal{R}}(\ell) = \ell - 1$ 的规则仍可能不满足EJR，表明仅凭比例代表性程度无法确保强公平性。
• 完美代表与弱帕累托效率无法同时满足，反例表明唯一完美代表委员会可能被另一委员会支配。
• SAV与MAV的比例代表性程度为0，表明它们在非平凡情况下无法为凝聚群体提供任何保证的代表性。
• 本文构造了一个选票配置，使得等额分配法在 $\ell$-凝聚群体中平均获得 $\frac{\ell(\ell+1)}{2}$ 名代表，确认了其在比例代表性程度上的上界。