[论文解读] Approval-Based Committee Voting: Axioms, Algorithms, and Applications.

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

Game Theory and Voting Systems参考文献 191被引用 18

一句话总结

本综述对基于批准的委员会（ABC）投票规则进行了全面分析，该规则根据选民的二元批准（批准/不批准）从候选人中选择固定规模的委员会。它统一了公理基础、算法设计与实际应用，为多赢选举中的实际应用建立了原则性框架。

ABSTRACT

Approval-based committee (ABC) rules are voting rules that output a fixed-size subset of candidates, a so-called committee. ABC rules select committees based on dichotomous preferences, i.e., a voter either approves or disapproves a candidate. This simple type of preferences makes ABC rules widely suitable for practical use. In this survey, we summarize the current understanding of ABC rules from the viewpoint of computational social choice. The main focus is on axiomatic analysis, algorithmic results, and relevant applications.

研究动机与目标

• 在计算社会选择领域系统化理解基于批准的委员会（ABC）规则。
• 识别并形式化确保委员会选择中公平性与代表性的关键公理。
• 调查高效计算ABC规则的算法方法，尤其在计算约束下的表现。
• 将ABC规则的理论特性与实际决策中的应用场景相联系。
• 为研究人员和实践者提供ABC规则设计与分析的统一参考。

提出的方法

• 将ABC规则形式化为基于选民二元偏好（批准/不批准）选择固定规模候选人子集的机制。
• 应用公理分析方法，根据公平性、代表性与一致性标准评估ABC规则。
• 调查精确算法与近似算法以计算ABC规则，包括多项式时间方法与启发式算法。
• 将理论结果与实际案例研究相结合，展示其在真实场景中的适用性。
• 根据其属性（如比例性、单调性与稳定性）对ABC规则进行分类。
• 使用计算复杂性分析评估不同ABC规则实现的可行性与可扩展性。

实验结果

研究问题

• RQ1 在多赢选举中，哪些公理最能刻画公平且具代表性的ABC规则？
• RQ2 如何在保持理想理论特性的前提下高效计算ABC规则？
• RQ3 在ABC规则设计中，公平性、计算效率与代表性之间的权衡是什么？
• RQ4 在哪些实际场景中，ABC规则优于其他多赢投票方法？
• RQ5 在不同选民偏好分布与不同委员会规模下，不同ABC规则的行为表现如何？

主要发现

• 基于比例代表制原则的ABC规则可确保委员会席位在选民群体间公平分配。
• 若干ABC规则（如Phragmen规则与等份额方法）在保持计算可处理性的同时，实现了强有力的公平性保障。
• 理论分析证实，部分ABC规则满足关键公理，如正当代表权与支持比例性。
• 算法进展使得即使在大规模选民与候选人集合下，ABC规则的可扩展计算也得以实现。
• 实证评估表明，ABC规则在平衡多样性与代表性方面优于传统方法。
• 公理分析与算法分析的整合，为设计现实世界ABC系统提供了稳健的框架。