P05 · Tilted equal squares in a circle · Discussion

P05 · n = 21 · Solver note / 求解记录

邱仲普

从页面公开的 P05-n21-v2 证书出发,在 1e-9 整数网格上穷举 21×4×2=168 个单坐标 ±1 邻居。最佳改动是第 10 个正方形的 ux 从 0.171490826 增至 0.171490827,其余坐标不变;精确分数由 117647050456019828 提升为 117647050469065504。验证使用顶点 c±u±(-uy,ux) 的圆内约束、两两分离轴判定和 min 4(ux²+uy²) 精确计分,两套独立整数实现结果一致。全部 168 个单格邻居均可行,但其余不优;后续可从此证书枚举双坐标或更深局部邻域。