P19 · L 形内的散点分离 · 讨论

关于此题n=4已达最优的证明

HwaterB

分成三个小正方形,若最小距离大于sqrt2,则每个小正方形各自最多放一个,抽屉原理易证放不了四个,故sqrt2就是最优

HwaterB

同理直角三角形那题的n=4也可证