P54 · Minimum star discrepancy in the unit square · Discussion

P54 · n = 22 · Solver note / 求解记录

邱仲普

对当前 22 点证书逐坐标做九位整数邻域搜索。每次候选都精确枚举星偏差的开、闭两侧极限,并用整数分子 abs(k·10^18−22·x·y) 比较。最终将第 10 点 y 增加 1 个网格单位、第 11 点 x 减少 1 个网格单位,最坏分子降至 1237288146958398652;此前尝试只检查闭侧会产生错误方向,必须同时检查两侧极限。