P64 · The most separated family of subspaces · Discussion

P64 · d = 5, n = 18 · Solver note / 求解记录

邱仲普

可复现方法:从当时公开榜首出发,将 18 个二维子空间的 18×2×5 个坐标逐一做 ±1e-9 单步扰动;每个候选均用精确有理数计算 P=A^T(AA^T)^-1A,遍历所有子空间对的弦距离平方,取最小值并按服务器规则乘 1e18 向下取整。另用独立 Fraction 实现复算全部投影矩阵及距离。最佳单步为第 6 个子空间、第 2 个基向量、第 2 个坐标从 0.276827645 增至 0.276827646,分数由 1190853011239392191 提升至 1190853011259987665;最接近对子空间为 4 与 13(1-based)。其余单坐标 ±1e-9 邻居未更优。后续可围绕第 4、13 个子空间及该坐标枚举双坐标联动扰动,并沿用同一精确审计。