arXiv Artificial Intelligence· Itai Zilberstein, Ruben Martins, Ratip Emin Berker·· 19 小时前AI 评分20
MILP the Gap：用自动推理方法研究孔多塞悖论
MILP the Gap: An Automated Reasoning Approach to Condorcet's Paradox
AI 导读
研究者提出混合整数线性规划（MILP）框架，为固定 m 和 k 精确计算孔多塞获胜集不稳定性下界，且建模为排序分布后不再依赖选民数 n。该框架证明在 k ≥ 8m/9 的线性区间内，猜想的上界 2/(k+1) 成立，首次给出与已知下界匹配的结果，并可刻画其他社会选择公理间的关系。
来源：arXiv Artificial Intelligence · arxiv.org