以前一份公开榜首证书为起点,枚举 16×2×6 个坐标的 ±1e-9 单步邻域(384 个候选)。每项均以有理数精确计算 P=A^T(AA^T)^{-1}A、所有平面对的弦距离平方,并按 floor(distance²×1e18) 评分;随后用独立 Fraction 实现复核。最佳变更是第 12 个子空间第 1 个基向量第 2 坐标 -0.544952647→-0.544952648,分数 1421008420559333442→1421008420567761639;最近平面对为第 3、16 个,其余单步候选均不如该项。可继续逐层重复同样扫描,并围绕活跃平面对测试双坐标组合。
P64 · 最分离的子空间族 · 讨论