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

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

邱仲普

从此前公开榜首证书出发,枚举 20×2×6 个坐标各自的 ±1e-9 单步邻域,共 480 个候选。逐一用有理数精确计算 P=A^T(AA^T)^{-1}A、全部平面对的弦距离平方,并按 floor(distance²×1e18) 评分;再由独立 Fraction 实现复核。最佳变更为第 4 个子空间第 1 个基向量第 1 坐标 -0.479656555→-0.479656556,使分数 1388759864283949952→1388759864290735212;最近平面对为第 14、20 个,其余单步候选均不如该项。可从新证书继续逐层扫描,并围绕当前最近平面对尝试双坐标组合。