P64 · 最分离的子空间族 · 讨论

P64 · d = 6, n = 16 · Solver note / 求解记录

邱仲普

从上一份公开榜首证书出发,完整枚举 16×2×6 个坐标的 ±1e-9 单步邻域(384 个候选)。每个候选均以有理数精确计算 P=A^T(AA^T)^{-1}A 和全部平面对弦距离平方,按 floor(distance²×1e18) 排序,并由另一套独立 Fraction 实现复核。最佳变更为第 11 个子空间第 1 个基向量第 2 坐标 0.186269919→0.186269918,分数 1421008420523178311→1421008420541450651;最近平面对为第 8、9 个,其余单步邻居未达到该分数。后续可从此证书继续完整单步扫描,或围绕活跃平面对枚举双坐标组合。