arXiv ID:
2604.19851
arXiv 提交日期: 2026-04-21
四人是否足够?——选举中Condorcet维数的自动推理方法与对偶界 / Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections
1️⃣ 一句话总结
本文通过混合整数线性规划和对偶分析,系统性地探索了选举中保证存在Condorcet获胜委员会所需的最小规模,实验结果表明多数选举仅需3位成员即可,并提出了一个支持“4人足够”的猜想,从而缩小了理论上下界之间的差距。