跳到正文
热点事件持续更新

提出MILP框架求解Condorcet悖论边界

1 篇报道1 个报道来源18 小时前更新

先了解这件事

报道摘要

研究者提出一个混合整数线性规划(MILP)框架,为固定 m 和 k 计算精确边界,并因将选民建模为排序分布而摆脱对选民数 n 的依赖。该框架证明在 k ≥ 8m/9 的线性区间内,猜想的上界 2/(k+1) 成立,这是首次与已知下界吻合的结果。该工作还将框架用于刻画其他社会选择公理之间的关系,给出最小不可比性结果。

摘自 arXiv:cs.AI

报道时间线

沿着报道,了解事件的不同侧面。

10月15日
  1. arXiv:cs.AI
    MILP the Gap:用自动推理方法研究孔多塞悖论

    研究者提出一个混合整数线性规划(MILP)框架,为固定 m 和 k 计算精确边界,并因将选民建模为排序分布而摆脱对选民数 n 的依赖。该框架证明在 k ≥ 8m/9 的线性区间内,猜想的上界 2/(k+1) 成立,这是首次与已知下界吻合的结果。该工作还将框架用于刻画其他社会选择公理之间的关系,给出最小不可比性结果。

本事件热度走势

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