我觉得是对的，怎么证明就不知道了，枚举算不算证明？
首先有8就有1,2，3，只要考虑4,5,6,7.
8旁边的雷能被7利用的最多有3个。若7一个不用，则至少还需要7个雷，已经15了。
若7只用1个，那么已经需要14个雷。但这时其实7的位置固定，它旁边那个空位只有7个可能，而每个可能都不会出现6.
若7利用3个，则实际上两者排列的形状只有两种可能、这时候已经用了12个雷。无论哪种是哪种可能，6只能利用其中的3个所以至少还需要3个。（若把6安排在7旁边则只需要加两个，但这种情况需要的雷只会更多不会更少，因为它形状太平整了）
比较复杂的是7利用了8旁边的雷中的两个。其实这时候7位置也是固定的。也就每个情况讨论下，证明只加一颗雷是不可能构成5或者6的就行了。。。
|
|
