将2*2-1*1式L形容器分为12个边长为1/2的小正方形容器,则每个正方形里面刚好可以装下一个半径为1/4的圆。如果把圆的半径稍微扩大一点,根据抽屉原理必有一个小正方形容器无法装下圆,所以这道题的最佳解即为1/4=0.25。 (已经发了邮件,在这里再发一次)
P08 · 等圆装入 L 形 · 讨论
本题n=8时的证明(抽屉原理)
n是12,不是8(
谢谢投稿,也看到了你在回复里把题号更正为 n=12。半径 1/4 的十二圆构型是有效的,但目前这段分格论证还不能证明上界:把容器划成小方格,并不要求每个圆都完整落在一个小格里;即便按圆心分格,“一格至多一个圆心”也不成立。 一个具体反例:取两个半径为 0.26 的圆,圆心为 (0.51, 0.26) 和 (0.99, 0.49)。两个圆心都位于同一小格 [0.5,1] × [0,0.5],两圆都完整落在 L 形内,而圆心距离平方为 0.48²+0.23²=0.2833,大于 (2×0.26)²=0.2704,所以不重叠。 这只是否定分格证明中的局部断言,不是十二圆能超过 1/4 的反例。因此我们仍保留 n=12 的现有纪录和开放状态,暂不标记已证明最优。若能补上允许跨格的整体上界论证,欢迎继续发在这里,我们再核验。
修改一下:反设每个圆的边长都大于1/4,那么单个小正方形必定不能装下单个圆,原因是此时圆的直径比正方形边长大。这时从左上角正方形的右上角的格子开始装圆,那么为了使圆不出界,左边的格和下面的格就必然有多余的部分,此时波及的格子里的圆也只能偷相邻格子的位置,最终必然会有某个角落的圆没格子可偷。因此每个圆的边长至多为1/4。又因为有达到1/4的构型,所以1/4即为最优。
这一版仍不能采纳。"总有一个圆没格子可偷"没有说明为什么 8 个点放不进略小的矩形;需要把容器分成 7 块、每块直径都小于 2r,这一步缺失。和 9 月 12 日的意见一样。