欢迎光临散文网 会员登陆 & 注册

第 69 讲:直观MSLS

2021-10-26 21:44 作者:SunnieShine  | 我要投稿

实际上,大型结构依旧是可以直观的,不过这一点内容很少被提到,是因为结构本身比较庞大,找到候选数情况的网都是很少的,所以对于这一方面的研究并不多。

Part 1 逻辑

需要弄清楚MSLS结构到底是如何直观的,我们就必须思考一个全局性的问题:如何证明得到一部分单元格和另外一个部分的单元格填数是一样的。虽然看起来这个说法好像跟MSLS结构没什么关系,但这是直观MSLS结构的核心。

不过需要你注意的是,可以直观的MSLS结构一般只会针对于一部分特别标准的结构,因为只有这么一些结构才能够快速直观,而各种奇形怪状的结构,我们一般都不会尝试去直观它们,因为它们的结构在候选数视角里都很少被观察到,而且直观技巧必须要求结构是可以快速观察的,我们基于这一点才会有各种奇妙技巧的直观。

如图所示,这是我们直观网结构的一则示例。我们首先为确定值进行分组,细心一点可以发现,我们选出的数字里,橙色的只包含1到5,而紫色的则只包含6到9;而且我们还发现,1到5的这些数字全部都出现在同样的几行里,而紫色的只出现在几列里(当然了,我们也可以反着看:紫色的出现在几行里,而橙色的出现在几列里,这两种视角并不影响什么)。这一点我们将会马上作出说明。

我们尝试把刚才说的东西的其中一种说法按照画线的方式呈现出来,如图所示。请注意一点。图中r3c1是含有数字3的,但为什么我们没有把它涂色为橙色,也算在结构里呢,毕竟它确实在c1上?这是因为,它目前处于紫色和橙色的交叉处。如果为其分配橙色的话,虽然这种画线模式可以把它合理地安排到,但我们刚才说过的另外一种视角就不是那么容易能画上去了:它就会单独占据r3一行。这并不是我们想看到的;另外,r9c6的确定值7也没有涂色,这也是显然的,因为这个数并不是我们结构需要的1到5的其一。因为橙色我们只勾选了1到5,跟7无关,我们不应选中它。

我们尝试思考一下逻辑。我们按照橙色为基准,橙色一共占据了4列,所以一共是36个单元格,而这36个单元格一共需要填入4套完整的1到9的序列。而其中r13678c1269这样20个单元格是属于橙色和紫色线条的交叉处的。我们把这一部分暂时就直接称为“交叉处”。

显然,我们可以利用上述完全一样的说法看出来的是,紫色所占据的r13678五行里必须填入5套完整的1到9序列。

我们考虑一下交叉处的情况。因为交叉处是紫色和黄色区域共有的部分,这使得我们拥有如下两个式子:

紫色区域填数 = 交叉处 + 剩余紫色区域部分

橙色区域填数 = 交叉处 + 剩余橙色区域部分

我们通过第一个式子可以移项得到:

交叉处 = 紫色区域填数 - 剩余紫色区域部分

然后完整代换到下面这一个式子里:

橙色区域填数 = 紫色区域填数 - 剩余紫色区域部分 + 剩余橙色区域部分

现在,我们尝试去用几套1到9替换上面的式子:

4套1到9 = 5套1到9 - 剩余紫色区域部分 + 剩余橙色区域部分

然后移项

剩余紫色部分 = 1套1到9 + 剩余橙色部分

现在,我们把剩余紫色部分和剩余橙色部分都用图呈现出来。

我们已经接近于真相了:删数马上就会出现了。我们可以发现到的是,最初我们选定的紫色和橙色确定值全部都处于我们涂色的部分里面。这就是为什么我们需要让你选择的数字要放入到非交叉处的地方的原因:因为后续我们需要依赖于这一点得到结论。

现在,我们尝试细数一下我们最初选定的确定值。我们发现,紫色的25个单元格里,一共包含14个空单元格没有填入数字;而橙色的16个单元格里,一共有5个单元格没有填入数字。现在,我们借用刚才我们得到的公式来得到结论:

剩余紫色部分 = 1套1到9 + 剩余橙色部分

既然剩余紫色部分需要一套完整的1到9和剩余橙色部分的填数构成,那么我们细看结构就会发现,橙色里除了含有一个7,是不含有额外的6、7、8、9的。而且我们发现,紫色区域里也有7,我们知道的是,等式两边都含有数字7,所以我们大可使用消去的方式抵消掉这两个7。这便是在说,橙色目前只有15个单元格,而且没有任何6、7、8、9了;而紫色区域现在只剩下24个单元格了。由于紫色部分目前是必须要含有一组完整的1到9序列的,所以我们先排除这一组1到9的影响,即从紫色区域的确定值里划掉一组6、7、8、9,而且可以不管其它1到5放置的位置,因为这并不重要。现在,我们再看结构,由于我们刚才在紫色区域通过抵消的操作已经划去了其中一个7,而且又划掉了一组6、7、8、9,此时我们还剩的确定值仅剩下五个:6、6、8、9、9,而个数也刚好可以完全放入到橙色区域的空格里面。显然,我们是需要它们的,因为橙色区域里必须包含紫色已经有的数字,而我们发现橙色里有1、2、3、4、5,而没有6、7、8、9(我们刚才已经抵消了r9c6的确定值7,这里是处于忽略状态的),这就是我们需要优先考虑的地方:正是因为橙色部分没有任何6、7、8、9,所以我们为了保证等式的成立,我们不得不先把6、7、8、9这些根本没出现在橙色区域的数字先填入到里面去,不然6、7、8、9在橙色区域并不出现,而紫色里却包含了6、7、8、9,而且不止一组6、7、8、9,就不可能满足上述的等式的要求,这便是我要说明的东西。

所以,由于我们不得不优先考虑6、6、8、9、9放入到橙色区域里,所以其它的1、2、3、4、5就完全无法放到橙色区域里,因为橙色区域里填入6、6、8、9、9后就把所有16个单元格占满了,再也容不下其它数了。所以,这个直观网的结论是:橙色区域的空单元格里删除所有的1、2、3、4、5,而紫色区域的空单元格里删除所有的6、7、8、9。

“紫色区域的空单元格里删除所有6、7、8、9”这一点在上述内容里没有作出说明,不过很容易就可以理解,因为紫色和橙色的区域的填数目前来说是“互补”的,我们可以得到橙色的结论,紫色部分的结论肯定就可以类比得到,所以这里我们就不再作出说明了。

而实际上,这个结构对应的候选数视角如下图所示。

它确实符合我们删数的预期效果。

这就是直观网结构想要告诉给你的内容。我们通过“两个完全不相关的填数区域”构造出了填数完全一致,或者多出一组或少一组1到9的结论,来间接得到填数的关系,然后通过占位推导得到的删数。

Part 2 MSLS的互补性

实际上,MSLS这么大的结构依然是具有互补的。只要我们尝试在最初的假设推导的时候,换做另外一个视角,即把紫色的用列表示,而橙色的用行表示,就会呈现出另外一个对应的网结构,如右图所示(左图是原本的推导视角)。

而对应的候选数视角的网是这样的,如下图所示。

图中,紫色单元格是一组网结构,而淡绿色单元格又是一组网结构。

可以从图上看出,删数完全没有发生变化,只是把网的位置变了一下,但并不影响删数,因为换了一下后,原本作为行链接点的地方全部变为了列链接点,而列链接点都变为了行链接点。这便是网的互补。


第 69 讲:直观MSLS的评论 (共 条)

分享到微博请遵守国家法律