可复现方法:以当时公开榜首为起点,对 17 个二维子空间的 17×2×6 个坐标分别施加 ±1e-9 单步扰动;用精确有理数计算 P=A^T(AA^T)^-1A,遍历所有子空间对的弦距离平方,取最小值并按服务器规则乘 1e18 向下取整。另用独立 Fraction 实现复核所有投影矩阵与成对距离。最佳单步为第 11 个子空间、第 2 个基向量、第 6 个坐标由 -0.694908768 增至 -0.694908767,分数从 1412725033095966672 提升为 1412725033106796074;最接近对子空间为 1 与 17(1-based)。其余单坐标 ±1e-9 邻居均未更优。后续可重点枚举第 1、17 个子空间与该坐标附近的双坐标联动扰动,并继续使用同一精确审计。
P64 · 最分离的子空间族 · 讨论