QPLIB_2096实例全局最优值被精确证明

2026年11月4日，arXiv平台（cs.AI领域）发布了一手报道，宣布QPLIB_2096冻结实例的全局最小值被精确证明为7,025,720。该研究由Jingyang Du、Zixiong Yi和Yang Shen等作者完成，核心成果是通过自进化AI系统ZiYor进行探索优化，并给出了数学验证。 该实例包含300个二元变量、6,900个三角不等式及25个非凸二次约束，被重建为25项无序对的集合划分问题。研究团队通过穷举245,505个子集，找到了14,981个可行块。最终，整数对偶向量满足所有约束，从数学上证实了7,025,720是确切的最优解，完成了对全局最优性的认证。

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

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