P21 · 十字形内的散点分离 · 讨论

本题n=9已达最优的证明

HwaterB

分成8块:每一条臂远离中心的一半4块,每一条臂靠近中心的一半和中间的单位正方形的1/4的等腰直角三角形分别合在一起4块。若任意距离大于sqrt5/2,每个小长方形至多放一个,则放不了9个点,故sqrt5/2即为最优

HwaterB

不是我复制粘贴的忘改了,请忽略后面的“小长方形”