通过完全集合划分精确证明 QPLIB 2096 的全局最优性

研究人员借助自进化 AI 系统 ZiYor，通过精确计算证明确认冻结实例 QPLIB_2096 的全局最小值为 7,025,720。该工作将含 300 个二进制变量及 25 个非凸二次约束的问题重构为集合划分形式，在枚举 245,505 个子集中找出 14,981 个可行块。结合整数对偶价格向量推导匹配下界，并完成了无需求解器的原始与对偶精确验证。