MILP框架研究孔多塞悖论稳定性紧致界

Itai Zilberstein、Ruben Martins 和 Ratip Emin Berker 在 arXiv 发布论文《MILP the Gap》，提出用混合整数线性规划（MILP）框架计算孔多塞胜利集合稳定性的精确边界，用于研究孔多塞悖论。 该方法将选民群体建模为排序上的分布，使结果只依赖于候选人数量 m 和委员会规模 k，而不再依赖选民数量 n。基于论文摘要，框架可排除任意选民规模下的反例、获得固定参数下的紧边界，并在 k≥8m/9 的线性区间内证实了此前猜测的 2/(k+1) 上界成立。 作者指出相应下界是否紧致目前尚不清楚，问题仍未完全解决。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。