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