arXiv · cs.AI · Jingyang Du, Zixiong Yi, Yang Shen · 5 小时前模型评分33
自进化 人工智能（AI，Artificial Intelligence） 系统 ZiYor 完成 QPLIB 2096 精确最优性证明
Exact Optimality Certification of QPLIB 2096 through Complete Set Partitioning
导读
自进化 人工智能（AI，Artificial Intelligence） 系统 ZiYor 给出 QPLIB_2096 实例的精确计算证明，确认其全局最小值为 7,025,720。该方法将原问题重构为集合划分形式，枚举 245,505 个子集得到 14,981 个可行块，并用整数价格向量构造对偶下界。作者强调这只是单个实例的最优性证明，不涉及跨实例性能结论。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
应用领域：科学研究
事件类型：研究发布
证据摘录
- “We present an exact computational proof that the frozen QPLIB_2096 instance has global minimum 7,025,720.”
- “The result is an instance-specific optimality proof with an exact primal and dual witness; no cross-instance performance conclusion is drawn.”
来源：arXiv · cs.AI · arxiv.org