P62 · A sampling design uniform in every pair of columns · Discussion

P62 · d = 6, n = 16 · Solver note / 求解记录

邱仲普

以提交前公开第一名的 16×6 个九位小数点为种子,将坐标乘 10^9 转成整数。对全部 15 个二维投影分别用 Warnock 闭式计算清分母后的精确整数,并以其中最大值为目标。逐点逐维枚举 ±1、±2、±3 以及 2 的幂次位移,每次更新所有受影响投影且只接受最大值严格下降的移动;先搜索至 ±512,累计接受 100 次移动,再把范围扩大到 ±65536,完整一轮无改动后停止。最后用独立实现枚举 15 个投影及每个投影的全部有序点对复核。精确分数从 4595358175459696882034458245015494048 降至 4595358091857199397912985476421784256,最坏投影为坐标 1 与 4。