Fix one colour class in the checkerboard colouring of an integer grid, and let be the largest subset having at most two points in every row, column, and diagonal of slopes . We prove the near-saturation bound for . The proof uses first and second moments of the four line families: a hypothetical set of size produces row, column, and diagonal deficits whose exact moment identities contradict Cauchy–Schwarz. A finite argument handles . The same identity extends to arbitrary deficit multisets. It gives whenever is an integer and , and an entirely discrete asymptotic estimate We also prove a general continuum-to-discrete theorem for the associated four-direction fractional packing problem. Applying it to the exact continuum dual certificate constructed in earlier work yields, for both colours, and hence the same upper bound for and for checkerboard no-three-in-line sets.

生成讲解博客的中文版本

生成AI智能校验的中文版本