[论文解读] Complexity of and Algorithms for Borda Manipulation
本文证明了仅用两个无权重操纵者操纵Borda投票规则是NP难的,解决了计算社会选择领域长期存在的开放性问题。为应对这一难题,作者提出了两种受装箱问题和多处理器调度启发的新型近似算法,显著优于以往方法,并在几乎所有测试的随机选举中找到了最优操纵方案。
We prove that it is NP-hard for a coalition of two manipulators to compute how to manipulate the Borda voting rule. This resolves one of the last open problems in the computational complexity of manipulating common voting rules. Because of this NP-hardness, we treat computing a manipulation as an approximation problem where we try to minimize the number of manipulators. Based on ideas from bin packing and multiprocessor scheduling, we propose two new approximation methods to compute manipulations of the Borda rule. Experiments show that these methods significantly outperform the previous best known %existing approximation method. We are able to find optimal manipulations in almost all the randomly generated elections tested. Our results suggest that, whilst computing a manipulation of the Borda rule by a coalition is NP-hard, computational complexity may provide only a weak barrier against manipulation in practice.
研究动机与目标
- 解决Borda规则在无权重投票和两个操纵者情况下计算操纵是否为NP难的开放性问题。
- 开发实用的近似算法,以最小化确保首选候选人获胜所需的操纵者数量。
- 评估计算复杂性在现实环境中是否构成操纵的实际障碍。
- 设计在理论和实践中均优于现有方法的高效算法。
提出的方法
- 通过从一个强NP完全的排列和问题归约,证明使用两个操纵者的Borda操纵是NP难的。
- 将操纵问题建模为一个排列矩阵,其行和与列和表示每个操纵者提供的得分。
- 将操纵问题转化为多技能装箱问题或多处理器调度问题,以实现高效近似求解。
- 采用排列矩阵的标签方案,其中对角线和编码了首选候选人与其他候选人之间的得分差距。
- 利用一个构造性引理构建具有目标得分向量的投票,从而精确控制各候选人的得分。
- 应用整数规划和启发式搜索技术求解转换后的调度与装箱问题。
实验结果
研究问题
- RQ1使用两个无权重操纵者的Borda规则操纵的计算是否为NP难?
- RQ2Borda操纵的NP难性是否可用于构建实用的近似算法?
- RQ3基于装箱和多处理器调度的近似方法在寻找最小操纵方面有多高效?
- RQ4在实践中,计算复杂性在多大程度上构成操纵的障碍?
- RQ5尽管存在NP难性,是否仍能在随机选举中高效找到最优操纵?
主要发现
- Borda规则下两个操纵者的无权重联盟操纵问题被证明是NP完全的。
- 该NP难性结果解决了计算社会选择理论中长期存在的开放性问题。
- 所提出的基于装箱和多处理器调度的近似算法在实证评估中显著优于以往最佳方法。
- 表现最佳的算法在几乎所有测试的随机生成选举中均找到了最优操纵。
- 结果表明,尽管理论上操纵是计算困难的,但由于新近似方法的有效性,其在实践中可能是可解的。
- 将问题转换为排列矩阵并采用对角线和标签方案,使得操纵差距与调度约束之间建立了清晰的映射。
更好的研究,从现在开始
从论文设计到论文写作,大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成,并经人工编辑审核。