要成为扫雷高手，先练好逻辑吧

扫雷作为策略游戏，需要游戏者精确的判断。现在扫雷高级的官方最快纪录是33.95秒，中级则是由一个波兰玩家保持的8.5秒。而初级纪录是1秒，世界上很多人达到了这一点。在1秒的时间里完成初级扫雷，据测算概率在0.00058％至0.00119％之间（属于运气题），最可能的方法是直接点击四个角的方块。而本文所作的事情，则是将雷与雷之间的规律给你揪出来，并且深入思考其中的内涵。让你以后面对扫雷时，缩短与记录的差距，战无不胜！

 

从简单雷区入手

下图是一个初级的雷区，并且标注了两颗雷的位置，你能将剩下的地雷扫描出来吗？

经过逐一排查，可以很轻松的确定雷区中的6颗地雷所在位置：

再来看一个简单的“雷区”：

通过逐步扫描每一个方块会发现：首先最左边的和最右边的两个格子都一定是地雷，从左数第二个空格子和从右数第二个空格子也都是地雷，由于数字1的关系，从左数第3个格子和从右数第3个格子都不是地雷，翻开一定是数字1……这样一直下去，最后你会发现最中间的两个空格子，不管有没有地雷，都和周围格子上的数字不符。也就是说这样的雷区有bug，是无解的。

雷区中的逻辑门

怎么判断一个雷区是否有bug？又怎么判断雷区中地雷的具体位置呢？难道一定要从头到尾将雷区扫描一遍吗？

其实这些雷区里其实藏着一个规律。我们用数学方法来分析了上例的雷区：

在之前提到的这两个雷区里，把还没有翻开的格子交叉标记上字母x和x’。可以看到：当x的格子有雷时，x’格子一定没有地雷，反之亦然。如果将最左边的空格子作为输入，把最右边的格子作为输出，输入结果和输出结果一定是一样或者相反的。如果是相反的，这相当于一个NOT（“非”）门电子元件。如果是一样的，就有趣了，这样的一片雷区就具备了电路导线的性质！

在这里，雷区被看成了一个数字逻辑电路。执行这些“或”、“与”、“非”等逻辑运算的电路则被称为——逻辑门。任何复杂的逻辑电路都可由这些逻辑门组成。

逻辑门是集成电路上的基本组件。简单的逻辑门可由晶体管组成。这些晶体管的组合可以使代表两种型号的高低电平在通过它们后产生信号。而高低电平可以分别代表逻辑上的真假或二进制中的0和1，从而实现逻辑运算。具体到扫雷游戏里，也就是说，逻辑门可以用于判断一系列格子中的地雷的具体位置，而且它如同电路传导一样，精确而迅速。

常见的（也是扫雷中用到的）逻辑门包括“与”门、“或”门、“非”门等。将它们组合使用就可以实现更复杂的运算——完成复杂情形下的扫雷，这种方法比按照规则缓慢推进的扫雷方法要节省很多时间。

复杂雷区中的精确判断

在简单的雷区中小试牛刀后，带着发现的规律，让我们进行一次实战演习。下图是高级扫雷游戏中的一个典型的雷区：

你能在不翻开格子的情况下，直接指出黄格子中有无地雷吗？ 如果将雷区随意改变一点——左上角的一个格子下移一位，结果又如何呢？

你可能需要考量全局，从某个点开始逐步推理，将雷区全部扫描一遍，才能判断。而当雷区任意改变一点时，你都要重新来过，才能再次解答。这无疑是一种巨大成本负担。

实际上我们可以很快速地给出答案：第一个雷区的黄格子中无雷。而第二个雷区的黄格子中一定有雷。

这是怎么做到的？其实将上述的逻辑门引入到这个复杂的雷区中，一切都会变得简单而清晰起来。

雷区内靠近边界、可以直接确定是地雷的位置都插上了标示旗，剩下的位置标上了不同的字母。把一个有地雷格子看作1，没有地雷的看作0。最左面的格子（u、v）作为输入，最右面的格子（t）作为输出。按照扫雷游戏的规则，经过一步步推算，它们之间的关系就是：

( u , v , t ) = ( 1 , 1 , 1 ) 或 ( 1 , 0 , 0 ) 或 ( 0 , 1 , 0 ) 或 ( 0 , 0 , 0 )

显然，这个雷区被归纳成了一个AND门，它不仅轻松化解了这个扫雷难题，而且把雷区的规律揭示出来了。如此一来，当你掌握扫雷中这些逻辑门规律并加以练习后，就能够达到精确、快速的“机械化”扫雷水准。而到那时，一个新纪录或许就会诞生了。

数学家的扫雷研究

将扫雷问题抽象化从而缩短游戏时间的人，也不仅仅是扫雷发烧玩家。一些数学家也十分关注这个游戏背后的数学意义。

英国一位数学家用扫雷游戏中的逻辑规律构建了一系列电子元件，用电子电路模拟雷区。他试图将一个的给定的雷区图案交由计算机来判断是否可解。如果随着格子数量的增加，电脑的计算量增长不是很快，就是P问题，如果计算量增加的很快，就是NP完全问题。计算机判断雷区是否可解，需要这类问题属于P问题才可以。

对于几种基本的电路元件（AND、OR、NOT），如果将很多个这样的元件组合起来，相互连接，就会产生很多个输入、输出口。判断最后哪些输出结果可以产生，哪些不可以产生的这类问题，被称为SAT问题，它属于一个经典的NP完全问题。

而英国数学家的这个问题在一些时候等同于一个复杂电子电路的SAT问题，也就是NP完全问题。由此看来，面对一个上千上万个格子的巨型雷区，不要说去完成所有扫雷任务，就仅仅判断它是不是可解的，都可能会是计算机也承受不了的的大难题。

本文已发表于果壳网 死理性派主题站 《要成为扫雷高手，先练好逻辑吧》

7.31K

相关文章

计算的极限（零）：逻辑与图灵机 面对面的办公室——纪念艾伦•图灵百年诞辰 漫谈信息安全（一） 夜里跑出来斑驳图灵 死理性派是怎样判断漂亮女孩是不是单身的？

<p>本文作者：Albert_JIAO</p><a href="http://songshuhui.net/wp-content/uploads/2011/08/images.jpg"><img class="size-thumbnail wp-image-57856 " title="images" src="http://songshuhui.net/wp-content/uploads/2011/08/images-144x144.jpg" alt="" width="0" height="0" /></a> <p>扫雷作为策略游戏，需要游戏者精确的判断。现在扫雷高级的官方最快纪录是33.95秒，中级则是由一个波兰玩家保持的8.5秒。而初级纪录是1秒，世界上很多人达到了这一点。在1秒的时间里完成初级扫雷，据测算概率在0.00058％至0.00119％之间（属于运气题），最可能的方法是直接点击四个角的方块。而本文所作的事情，则是将雷与雷之间的规律给你揪出来，并且深入思考其中的内涵。让你以后面对扫雷时，缩短与记录的差距，战无不胜！</p> <p> </p> <div> <h1>从简单雷区入手</h1> <p>下图是一个初级的雷区，并且标注了两颗雷的位置，你能将剩下的地雷扫描出来吗？</p> <p><a href="http://songshuhui.net/wp-content/uploads/2011/08/1.png"><img src="http://songshuhui.net/wp-content/uploads/2011/08/1.png" alt="" title="1" width="311" height="88" class="alignnone size-full wp-image-57869" /></a><br /> 经过逐一排查，可以很轻松的确定雷区中的6颗地雷所在位置：</p> <p><a href="http://songshuhui.net/wp-content/uploads/2011/08/2.png"><img src="http://songshuhui.net/wp-content/uploads/2011/08/2.png" alt="" title="2" width="313" height="89" class="alignnone size-full wp-image-57871" /></a><br /> 再来看一个简单的“雷区”：</p> <p><a href="http://songshuhui.net/wp-content/uploads/2011/08/3.png"><img src="http://songshuhui.net/wp-content/uploads/2011/08/3.png" alt="" title="3" width="356" height="89" class="alignnone size-full wp-image-57872" /></a><br /> 通过逐步扫描每一个方块会发现：首先最左边的和最右边的两个格子都一定是地雷，从左数第二个空格子和从右数第二个空格子也都是地雷，由于数字1的关系，从左数第3个格子和从右数第3个格子都不是地雷，翻开一定是数字1……这样一直下去，最后你会发现最中间的两个空格子，不管有没有地雷，都和周围格子上的数字不符。也就是说这样的雷区有bug，是无解的。</p> </div> <div> <h1>雷区中的逻辑门</h1> <p>怎么判断一个雷区是否有bug？又怎么判断雷区中地雷的具体位置呢？难道一定要从头到尾将雷区扫描一遍吗？</p> <p>其实这些雷区里其实藏着一个规律。我们用数学方法来分析了上例的雷区：</p> <p>在之前提到的这两个雷区里，把还没有翻开的格子交叉标记上字母x和x’。可以看到：当x的格子有雷时，x’格子一定没有地雷，反之亦然。如果将最左边的空格子作为输入，把最右边的格子作为输出，输入结果和输出结果一定是一样或者相反的。如果是相反的，这相当于一个NOT（“非”）门电子元件。如果是一样的，就有趣了，这样的一片雷区就具备了电路导线的性质！</p> <p><a href="http://songshuhui.net/wp-content/uploads/2011/08/4.png"><img src="http://songshuhui.net/wp-content/uploads/2011/08/4.png" alt="" title="4" width="358" height="176" class="alignnone size-full wp-image-57873" /></a></p> <p>在这里，雷区被看成了一个数字逻辑电路。执行这些“或”、“与”、“非”等逻辑运算的电路则被称为——逻辑门。任何复杂的逻辑电路都可由这些逻辑门组成。</p> <p>逻辑门是集成电路上的基本组件。简单的逻辑门可由晶体管组成。这些晶体管的组合可以使代表两种型号的高低电平在通过它们后产生信号。而高低电平可以分别代表逻辑上的真假或二进制中的0和1，从而实现逻辑运算。具体到扫雷游戏里，也就是说，逻辑门可以用于判断一系列格子中的地雷的具体位置，而且它如同电路传导一样，精确而迅速。</p> <p>常见的（也是扫雷中用到的）逻辑门包括“与”门、“或”门、“非”门等。将它们组合使用就可以实现更复杂的运算——完成复杂情形下的扫雷，这种方法比按照规则缓慢推进的扫雷方法要节省很多时间。</p> <p><a href="http://songshuhui.net/wp-content/uploads/2011/08/6.png"><img src="http://songshuhui.net/wp-content/uploads/2011/08/6.png" alt="" title="6" width="292" height="267" class="alignnone size-full wp-image-57875" /></a> </div> <div> <h1>复杂雷区中的精确判断</h1> <p>在简单的雷区中小试牛刀后，带着发现的规律，让我们进行一次实战演习。下图是高级扫雷游戏中的一个典型的雷区：<br /> <a href="http://songshuhui.net/wp-content/uploads/2011/08/7.png"><img src="http://songshuhui.net/wp-content/uploads/2011/08/7.png" alt="" title="7" width="390" height="245" class="alignnone size-full wp-image-57876" /></a><br /> 你能在不翻开格子的情况下，直接指出黄格子中有无地雷吗？ 如果将雷区随意改变一点——左上角的一个格子下移一位，结果又如何呢？</p> <p><a href="http://songshuhui.net/wp-content/uploads/2011/08/8.png"><img src="http://songshuhui.net/wp-content/uploads/2011/08/8.png" alt="" title="8" width="394" height="249" class="alignnone size-full wp-image-57877" /></a><br /> 你可能需要考量全局，从某个点开始逐步推理，将雷区全部扫描一遍，才能判断。而当雷区任意改变一点时，你都要重新来过，才能再次解答。这无疑是一种巨大成本负担。</p> <p>实际上我们可以很快速地给出答案：第一个雷区的黄格子中无雷。而第二个雷区的黄格子中一定有雷。</p> <p>这是怎么做到的？其实将上述的逻辑门引入到这个复杂的雷区中，一切都会变得简单而清晰起来。</p> <p><a href="http://songshuhui.net/wp-content/uploads/2011/08/9.png"><img src="http://songshuhui.net/wp-content/uploads/2011/08/9.png" alt="" title="9" width="394" height="249" class="alignnone size-full wp-image-57870" /></a></p> <p>雷区内靠近边界、可以直接确定是地雷的位置都插上了标示旗，剩下的位置标上了不同的字母。把一个有地雷格子看作1，没有地雷的看作0。最左面的格子（u、v）作为输入，最右面的格子（t）作为输出。按照扫雷游戏的规则，经过一步步推算，它们之间的关系就是：</p> <pre>( u , v , t ) = ( 1 , 1 , 1 ) 或 ( 1 , 0 , 0 ) 或 ( 0 , 1 , 0 ) 或 ( 0 , 0 , 0 )</pre> <p>显然，这个雷区被归纳成了一个AND门，它不仅轻松化解了这个扫雷难题，而且把雷区的规律揭示出来了。如此一来，当你掌握扫雷中这些逻辑门规律并加以练习后，就能够达到精确、快速的“机械化”扫雷水准。而到那时，一个新纪录或许就会诞生了。</p> </div> <div> <h1>数学家的扫雷研究</h1> <p>将扫雷问题抽象化从而缩短游戏时间的人，也不仅仅是扫雷发烧玩家。一些数学家也十分关注这个游戏背后的数学意义。</p> <p>英国一位数学家用扫雷游戏中的逻辑规律构建了一系列电子元件，用电子电路模拟雷区。他试图将一个的给定的雷区图案交由计算机来判断是否可解。如果随着格子数量的增加，电脑的计算量增长不是很快，就是P问题，如果计算量增加的很快，就是NP完全问题。计算机判断雷区是否可解，需要这类问题属于P问题才可以。</p> <p>对于几种基本的电路元件（AND、OR、NOT），如果将很多个这样的元件组合起来，相互连接，就会产生很多个输入、输出口。判断最后哪些输出结果可以产生，哪些不可以产生的这类问题，被称为SAT问题，它属于一个经典的NP完全问题。</p> <p>而英国数学家的这个问题在一些时候等同于一个复杂电子电路的SAT问题，也就是NP完全问题。由此看来，面对一个上千上万个格子的巨型雷区，不要说去完成所有扫雷任务，就仅仅判断它是不是可解的，都可能会是计算机也承受不了的的大难题。</p> <p>本文已发表于<a href="http://www.guokr.com/">果壳网</a> <a href="http://www.guokr.com/site/logos/">死理性派主题站</a> <a href="http://www.guokr.com/article/47846/">《要成为扫雷高手，先练好逻辑吧》</a></p> </div> <div style="margin-bottom:10px"><div class="bshare-custom icon-medium"><a title="分享到新浪微博" class="bshare-sinaminiblog"></a><a title="分享到人人网" class="bshare-renren"></a><a title="分享到豆瓣" class="bshare-douban" href="javascript:void(0);"></a><a title="分享到腾讯微博" class="bshare-qqmb" href="javascript:void(0);"></a><a title="分享到开心网" class="bshare-kaixin001" href="javascript:void(0);"></a><a title="分享到QQ空间" class="bshare-qzone" href="javascript:void(0);"></a><a title="分享到网易微博" class="bshare-neteasemb" href="javascript:void(0);"></a><a title="分享到Facebook" class="bshare-facebook" href="javascript:void(0);"></a><a title="分享到Twitter" class="bshare-twitter" href="javascript:void(0);"></a><a title="分享到Google+" class="bshare-gplus" href="javascript:void(0);"></a><a title="更多平台" class="bshare-more bshare-more-icon more-style-addthis"></a><span style="float: none;" class="BSHARE_COUNT bshare-share-count">7.31K</span></div><script type="text/javascript" charset="utf-8" src="http://static.bshare.cn/b/buttonLite.js#style=-1&uuid=6602adc5-bd7a-43d1-8037-f8e449a3afc5&pophcol=2&lang=zh"></script><script type="text/javascript" charset="utf-8" src="http://static.bshare.cn/b/bshareC0.js"></script></div><strong>相关文章</strong><div class="my-related-posts-box" style="width:100%;height:100%;clear:both;text-align:center;overflow:hidden;"> <a href="http://songshuhui.net/archives/70194" class="my-related-posts" style="width:112px;height:180px;float:left;text-align:center;border:1px solid #f5f5f5;border-bottom-style:none;border-top-style:none;padding:0px;margin:1px;text-decoration:none;" onmouseover="this.style.border='1px solid #CCC';this.style.background='#E2E2E2';this.style.borderBottom='none';this.style.borderTop='none'" onmouseout="this.style.background='';this.style.border='1px solid #f5f5f5';this.style.borderBottom='none';this.style.borderTop='none'"> <span class="my-related-posts-panel" style="padding:3px 0;"><img class="my-related-posts-img" src="http://songshuhui.net/wp-content/uploads/2012/07/693px-DrawingHands-144x144.jpg" style="width:106px;height:106px;border:1px solid #f0f0f0;padding:1px;margin:1px;" /></span> <span class="my-related-posts-text"><span class="my-related-posts-title" style="font-size:11px;font-family:sans-serif;font-weight:700;line-height:140%;text-align:left;">计算的极限（零）：逻辑与图灵机</span></span> </a> <a href="http://songshuhui.net/archives/69786" class="my-related-posts" style="width:112px;height:180px;float:left;text-align:center;border:1px solid #f5f5f5;border-bottom-style:none;border-top-style:none;padding:0px;margin:1px;text-decoration:none;" onmouseover="this.style.border='1px solid #CCC';this.style.background='#E2E2E2';this.style.borderBottom='none';this.style.borderTop='none'" onmouseout="this.style.background='';this.style.border='1px solid #f5f5f5';this.style.borderBottom='none';this.style.borderTop='none'"> <span class="my-related-posts-panel" style="padding:3px 0;"><img class="my-related-posts-img" src="http://songshuhui.net/wp-content/uploads/2012/07/p221426825-1-144x144.jpg" style="width:106px;height:106px;border:1px solid #f0f0f0;padding:1px;margin:1px;" /></span> <span class="my-related-posts-text"><span class="my-related-posts-title" style="font-size:11px;font-family:sans-serif;font-weight:700;line-height:140%;text-align:left;">面对面的办公室——纪念艾伦•图灵百年诞辰</span></span> </a> <a href="http://songshuhui.net/archives/67232" class="my-related-posts" style="width:112px;height:180px;float:left;text-align:center;border:1px solid #f5f5f5;border-bottom-style:none;border-top-style:none;padding:0px;margin:1px;text-decoration:none;" onmouseover="this.style.border='1px solid #CCC';this.style.background='#E2E2E2';this.style.borderBottom='none';this.style.borderTop='none'" onmouseout="this.style.background='';this.style.border='1px solid #f5f5f5';this.style.borderBottom='none';this.style.borderTop='none'"> <span class="my-related-posts-panel" style="padding:3px 0;"><img class="my-related-posts-img" src="http://songshuhui.net/wp-content/uploads/2012/05/images1-144x144.jpg" style="width:106px;height:106px;border:1px solid #f0f0f0;padding:1px;margin:1px;" /></span> <span class="my-related-posts-text"><span class="my-related-posts-title" style="font-size:11px;font-family:sans-serif;font-weight:700;line-height:140%;text-align:left;">漫谈信息安全（一）</span></span> </a> <a href="http://songshuhui.net/archives/65268" class="my-related-posts" style="width:112px;height:180px;float:left;text-align:center;border:1px solid #f5f5f5;border-bottom-style:none;border-top-style:none;padding:0px;margin:1px;text-decoration:none;" onmouseover="this.style.border='1px solid #CCC';this.style.background='#E2E2E2';this.style.borderBottom='none';this.style.borderTop='none'" onmouseout="this.style.background='';this.style.border='1px solid #f5f5f5';this.style.borderBottom='none';this.style.borderTop='none'"> <span class="my-related-posts-panel" style="padding:3px 0;"><img class="my-related-posts-img" src="http://songshuhui.net/wp-content/uploads/2012/03/shapeimage_2-144x144.png" style="width:106px;height:106px;border:1px solid #f0f0f0;padding:1px;margin:1px;" /></span> <span class="my-related-posts-text"><span class="my-related-posts-title" style="font-size:11px;font-family:sans-serif;font-weight:700;line-height:140%;text-align:left;">夜里跑出来斑驳图灵</span></span> </a> <a href="http://songshuhui.net/archives/62770" class="my-related-posts" style="width:112px;height:180px;float:left;text-align:center;border:1px solid #f5f5f5;border-bottom-style:none;border-top-style:none;padding:0px;margin:1px;text-decoration:none;" onmouseover="this.style.border='1px solid #CCC';this.style.background='#E2E2E2';this.style.borderBottom='none';this.style.borderTop='none'" onmouseout="this.style.background='';this.style.border='1px solid #f5f5f5';this.style.borderBottom='none';this.style.borderTop='none'"> <span class="my-related-posts-panel" style="padding:3px 0;"><img class="my-related-posts-img" src="http://songshuhui.net/wp-content/uploads/2011/12/1.bmp" style="width:106px;height:106px;border:1px solid #f0f0f0;padding:1px;margin:1px;" /></span> <span class="my-related-posts-text"><span class="my-related-posts-title" style="font-size:11px;font-family:sans-serif;font-weight:700;line-height:140%;text-align:left;">死理性派是怎样判断漂亮女孩是不是单身的？</span></span> </a> </div> <div class="my-related-posts-clearboth" style="clear:both;height:1px;overflow:hidden;"></div>