arXiv · AI· Jingyang Du, Zixiong Yi, Yang Shen·· 3 小时前AI 评分35
QPLIB 2096 实例精确最优性认证：完全集合划分下的全局最小值证明
Exact Optimality Certification of QPLIB 2096 through Complete Set Partitioning
AI 导读
QPLIB_2096 冻结实例的全局最小值被精确证明为 7,025,720，该结果通过自进化 AI 系统 ZiYor 探索优化，并给出了数学验证。 实例包含 300 个二元变量、6,900 个三角不等式及 25 个非凸二次约束，重建为 25 项无序对的集合划分问题。 穷举 245,505 个子集找到 14,981 个可行块，整数对偶向量满足所有约束，证实该值为确切最优解。
来源：arXiv · AI · arxiv.org