扫雷简单推理有两条规则:
1、点开(common dig)
例:若某一格里是数字2,而它周围正好有2个已标为雷的格子,则点开该格子。
2、标记(common mark)
例:若某一格里是数字4,而它周围可能是雷的格子(未知,已标为雷)总共只有4个,则将它周围未知的格子标为雷。
扫雷高级推理有两条规则:
1、最多-最少-点开(Most-Least-Dig for A,B)
设有相邻关系的两个格子中分别写着数字A和B.设仅和A相邻的区域为NA,仅和B相邻的区域为NB,和A,B都相邻的区域为PAB.NA区域中标为雷的和未知的共有a个格子,NB区域中标为雷的有b个格子.推理:看格子A.既然NA区域中最多只有a个雷,因此PAB区域中至少有A-a个雷.再看格子B.既然PAB区域中至少有A-a个雷,再加上NB区域中的b个雷,那么我们已知的B周围的雷已经有了A-a+b个了.若A-a+b=B,那么我们就知道B周围的所有雷了:PAB区域中有A-a个,NB区域中有b个.因此,NB区域中未标为雷的未知格子不可能是雷,可以把它们全部点开!
2、最少-最多-标记(Least-Most-Mark for A,B)
设有相邻关系的两个格子中分别写着数字A和B.设仅和A相邻的区域为NA,仅和B相邻的区域为NB,和A,B都相邻的区域为PAB.NA区域中标为雷的有a个格子,NB区域中标为雷的和未知的共有b个格子.推理:看格子A.既然NA区域中已有a个雷,因此PAB区域中最多有A-a个雷.再看格子B.既然PAB区域中最多有A-a个雷,而NB区域中最多有b个雷，因此B周围最多有A-a+b个雷。若A-a+b=B,那么我们就知道B周围的所有雷了:PAB区域中有A-a个,NB区域中有b个.因此,NB区域中未标为雷的未知格子一定是雷,可以把它们全部标为雷!
扫雷高级推理分为三个部分（每个部分分别使用上面两条高级推理规则）：
四邻推理(4-neighbour reasoning)
角上四邻推理(diagonal-4-neighbour reasoning)
外部16邻推理(outside-16-neighbour reasoning)
如下图：
#
# * #
#
4-邻
# #
*
# #
角上4-邻
#####
# #
# * #
# #
#####
外部16-邻
其中*是指一对接受推理的格子中的一个（就是上面的A），#是另一个格子（就是上面的B）相对于*可能的位置。
试验表明，简单推理加上4-邻高级推理可以解决90%以上的问题。简单推理加上所有高级推理可以解决几乎所有问题（但是外部16-邻推理的速度要比其他慢一些）。
|
|
应该是“未知，未标为雷”吧
http://topic.csdn.net/t/20020906/19/1002910.html
|
|
若A-a+b=B,那么我们就知道B周围的所有雷了这个和我以前写的那个扫雷等式差不多哦
不过那个好拗口,再加个图会更好理解的吧,我以前帖子的图也不见了.
|
|
|
我也曾对扫雷等式定律进行过证明，还算图文并茂吧，刚刚上传到QQ群共享里
|
|
很久前的老帖了，具体出处我也记不清了。
发这个帖子，是说明一个道理：
扫雷的乐趣不只在破纪录。
|
|
|
|
