Combinatorial designs and the Prouhet--Tarry--Escott problem

本文首次系统地将组合设计理论引入rr维普鲁埃特 - 塔里 - 埃斯科特问题(PTEr_r),通过重新定义非平凡解、确立规模下界、构建基于区组设计和正交阵列的高维最小解,以及提出两种升维构造方法,不仅统一并推广了包括洛伦兹、阿尔珀斯、雅克鲁克斯及松村与佐瓦等在内的多项经典成果,还揭示了理想解与“半整数设计”现象之间的深刻联系。

Munenori Inagaki, Hideki Matsumura, Masanori Sawa, Yukihiro UchidaFri, 13 Ma🔢 math

From Computational Certification to Exact Coordinates: Heilbronn's Triangle Problem on the Unit Square Using Mixed-Integer Optimization

该论文提出了一种结合混合整数非线性规划与精确符号计算的“优化后精炼”框架,通过引入对称性破缺策略和行列式结构特性,在标准桌面计算机上仅用 15 分钟便以全局最优解证明了n=9n=9时 Heilbronn 三角形问题的 Comellas-Yebra 构型的最优性,并给出了n=5n=5至$9$所有最优构型的精确坐标。

Nathan Sudermann-MerxFri, 13 Ma🔢 math