※ 引述《bamboo1106 (bamboo)》之铭言：
: 有一个 5 * 5 的方格，要在里面填上 1 ~ 5 的数字
: 其中要满足以下条件：
: 1 可以放在任何格子
: 2 必须放在旁边有 1 的格子
: 3 必须放在旁边有 1、2 的格子
: 4 必须放在旁边有 1、2、3 的格子
: 5 必须放在旁边有 1、2、3、4 的格子
: 旁边指的是该格的上下左右
证明是有想出来一些
但最后一部分符合直觉却并不严谨
想贴出来大家讨论看看

想说爬之前文都没证明 所以就写下我的证明版本

推个~其实还有个 Case 是两个 disk 有两个非 1 相交不过一出现这种情况就完成了. 最佳解可能也不会出现这种情况贡献度的定义我感觉可以再强调一下, 只要有大小两格相邻, 就必须计算两者的 in/out然后最后的部分: 1 与其相邻格子所构成的十字与边界的相交必定是 1 或 3 格, 边界共有 16 格由此讨论可以完成.

楼上所说真是深得我心 我今天想后也是想到边界16格不然稍晚 我再把今天想的补一补