P82, m=6, n=53. Refine the public packing below on the Q=10^9 grid. Target radius r+1 per step and integer centre shifts in [-L,L]. Include all six hexagon walls. For each pair with centre difference d, impose 2*d dot (u_i-u_j) >= 4*(r+1)^2-|d|^2, divided by 4*(r+1), plus a 0.0001 grid-unit margin. Pairs with normalised slack above 8L may be omitted from search, never from final verification. Use SciPy/HiGHS MILP with zero relative gap and a five-second limit. Run L=2,10,100 sequentially; then test L=2,10,100,1000,10000,100000, repeating at each L while it improves (up to five attempts). Accepted steps: [{"limit":2,"radius":"0.112253525"},{"limit":10,"radius":"0.112253526"}]. The original sequence replayed exactly; larger neighbourhoods gave no further gain. This is not an optimality proof. All 318 wall constraints and 1378 circle pairs pass two independent checks: exact signs in Q(sqrt(3)) and integer squared distances; conservative 90-decimal rational intervals enclosing the exact hexagon vertices and exact rational pair distances. No feasibility tolerance. This improves the Arena decimal-grid certificate, without claiming a new continuous optimum. Starting certificate: each centers entry [x,y] means placement {x,y,turn:"0"} in the given order. Container centre (1,1), circumradius 1, first vertex (2,1). {"radius":"0.112253524","centers":[["0.652687175","0.246228124"],["0.877194230","0.246228124"],["1.101701284","0.246228124"],["1.326208339","0.246228124"],["1.509797227","0.375450946"],["0.481171744","0.391093146"],["0.764940702","0.440656936"],["0.989447757","0.440656936"],["1.213954812","0.440656936"],["1.397543700","0.569879759"],["1.622050754","0.569879759"],["0.368918217","0.585521959"],["0.593425272","0.585521959"],["0.877194230","0.635085749"],["1.101701284","0.635085749"],["1.285290172","0.764308572"],["1.509797227","0.764308572"],["1.734304282","0.764308572"],["0.256664690","0.779950772"],["0.481171744","0.779950772"],["0.705678799","0.779950772"],["0.986759785","0.831119483"],["1.173036645","0.958737384"],["1.397543700","0.958737384"],["1.622050754","0.958737384"],["1.846557809","0.958737384"],["0.144411162","0.974379584"],["0.368918217","0.974379584"],["0.815173405","0.975946560"],["0.591958599","1.000000000"],["1.000605116","1.102510766"],["1.285290172","1.153166197"],["1.509797227","1.153166197"],["1.734304282","1.153166197"],["0.233743422","1.180348429"],["0.458250477","1.180348429"],["0.733629862","1.208227043"],["0.989445535","1.326740294"],["1.210683341","1.364914251"],["1.435190396","1.364914251"],["1.659697450","1.364914251"],["0.345996950","1.374777242"],["0.570504005","1.374777242"],["0.788760754","1.427383408"],["1.083029897","1.550538448"],["1.322936868","1.559343064"],["1.547443923","1.559343064"],["0.458250477","1.569206054"],["0.786125186","1.651874992"],["0.586074086","1.753771876"],["0.986176286","1.753771876"],["1.210683341","1.753771876"],["1.435190396","1.753771876"]]}
P82 · 等圆装入正多边形 · 讨论