强连接初步什么是强连接:一个候选数在同一单元(行、列、九宫格)在两个格子中出现。
如图:
观察数字3,我们得到下图关于数字3的所有强连接 (蓝色线表示)
我们用下面的方法表示强连接:
. . . | . . . | . . .
. . . | . . . | . . .
. A . | . . . | . . .
--|---+-------+------
. | . | . . . | . . .
. | . | . . . | . . .
. | . | . . . | . . .
--|---+-------+------
. | . | . . . | . . .
. B . | . . . | . . .
. . . | . . . | . . .
AB为强连接。强连接基本定理1:如果A为真,则B为假,否则A为假,B为真
强连接另一个基本概念,兄弟(金山词霸这么翻的,不一定准
)
当两个格子在同一单元(行、列、九宫格),我们称之为 兄弟
看下图:
. . . | . . . | . . .
. . . | . . . | . . .
a . . | b . . | . . .
------+-------+------
. . . | . . . | . . .
e . . | . . d | . . .
. . . | c . . | . . .
------+-------+------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
得到:
ab为兄弟,因为他们在同一行,同理bc,cd,de,ea都为兄弟
我们可以寻找两个强连接,他们至少有一个格子为兄弟连接
第一个例子:
. . . | . . . | . . .
. . . | . . . | . . .
. A . | . . . | . . .
--|---+-------+------
. | . | . C . | . . .
. | . | . | . | . . .
. | . | . | . | . . .
--|---+---|---+------
. | . | . D . | . . .
. B . | . . . | . . .
. . . | . . . | . . .
AB,CD为强连接,但是这没有用,因为没有兄弟连接.
第二个例子:
. . . | . . . | . . .
. . . | . . . | . . .
. A . | . C . | . . .
--|---+---|---+------
. | . | . | . | . . .
. | . | . | . | . . .
. | . | . | . | . . .
--|---+---|---+------
. | . | . D . | . . .
. B . | . . . | . . .
. . . | . . . | . . .
和面不一样的是AC在同一行,即有兄弟连接
第三个例子:
. . . | . . . | . . .
. . . | . . . | . . .
. A . | . . . | . . .
--|---+-------+------
. | . | . . . | . . .
. | . | . . . | . . .
. | . | . . . | . . .
--|---+-------+------
. | . | . . . | . . .
. B-------------C . .
. . . | . . . | . . .
这也是没有用的。
下面我们来看怎样利用两个强连接个1个兄弟连接来删除多余的候选数的。
. . . | . . . | . . .
. . . | . . . | . . .
. A . | . . . | . . .
--|---+-------+------
. | . | . C . | . . .
. | . | . | . | . . .
. | . | . | . | . . .
--|---+---|---+------
. | . | . | . | . . .
. B . | . D . | . . .
. . . | . . . | . . .
我们以数字1为利,假定上面ABCD都代表候选数1。我们有如下推断:
如果A=1 => B<>1,反之 A<>1 => A=1
如果C=1 => D<>1,反之 C<>1 => D=1
同时B=1 => D<>1,或者 D=1 => B<>1(即BD不能同时为1)
我们可以得出结论,A、C中至少有1个点为数字“1”。
因为:如果A<>1则B=1。C<>1则D=1,此时B、D两个兄弟点均为1,这不符合规则。
我们现在已经有了关于强连接的知识,下面看看强连接是怎样排除多余候选数的。
继续看这个例子:
. . . | . . . | . . .
. . . | . . . | . . .
. A . | . . . | . . .
--|---+-------+------
. | . | . C . | . . .
. | . | . | . | . . .
. | . | . | . | . . .
--|---+---|---+------
. | . | . | . | . . .
. B . | . D . | . . .
. . . | . . . | . . .
如果A=1,下面是其影响的排除数字1的范围图(*号部分可以排除数字1)
* * * | . . . | . . .
* * * | . . . | . . .
* A * | * * * | * * *
------+-------+------
. * . | . . . | . . .
. * . | . . . | . . .
. * . | . . . | . . .
------+-------+------
. * . | . . . | . . .
. * . | . . . | . . .
. * . | . . . | . . .
如果C=1,影响的范围图:
. . . | . * . | . . .
. . . | . * . | . . .
. . . | . * . | . . .
------+-------+------
* * * | * C * | * * *
. . . | * * * | . . .
. . . | * * * | . . .
------+-------+------
. . . | . * . | . . .
. . . | . * . | . . .
. . . | . * . | . . .
仔细看下图,"*" 是两个区域相交的部分。即无论A=1或C=1,下面的*号部分都可以排除数字1:
. . . | . . . | . . .
. . . | . . . | . . .
. A . | . * . | . . .
------+-------+------
. * . | . C . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
------+-------+------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
不过有个不好的消息要告诉大家,这个例子是没有意思的。因为在这个地方不会存在候选数1的,应为这里出现数字1,则A-B,C-D就不是强连接。不好意思了。
然而,下面的是很有用的:
. . . | . . . | . . .
. . . | . C . | . . .
. A . | . | . | . . .
--|---+---|---+------
. | . | . | . | . . .
. | . | . | . | . . .
. | . | . | . | . . .
--|---+---|---+------
. | . | . | . | . . .
. B . | . D . | . . .
. . . | . . . | . . .
如果A=1,下图是其影响范围:
* * * | . . . | . . .
* * * | . . . | . . .
* A * | * * * | * * *
------+-------+------
. * . | . . . | . . .
. * . | . . . | . . .
. * . | . . . | . . .
------+-------+------
. * . | . . . | . . .
. * . | . . . | . . .
. * . | . . . | . . .
如果C=1,下图是其影响范围:
. . . | * * * | . . .
* * * | * C * | * * *
. . . | * * * | . . .
------+-------+------
. . . | . * . | . . .
. . . | . * . | . . .
. . . | . * . | . . .
------+-------+------
. . . | . * . | . . .
. . . | . * . | . . .
. . . | . * . | . . .
下面是其公共区域
. . . | . . . | . . .
* * * | . C . | . . .
. A . | * * * | . . .
------+-------+------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
------+-------+------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
在下面*号区域出现的候选数1就可以安全排除掉了:
. . . | . . . | . . .
* . * | . C . | . . .
. A . | * | * | . . .
--|---+---|---+------
. | . | . | . | . . .
. | . | . | . | . . .
. | . | . | . | . . .
--|---+---|---+------
. | . | . | . | . . .
. B . | . D . | . . .
. . . | . . . | . . .
下面也是强连接删除法的例子,只是旋转了方向而已
. . . | . * . | . . .
. . . | . * . | . . .
. A---------B | . . .
------+-------+------
. . . | . . * | . . .
. . . | . . * | . . .
. C-------D . | . . .
------+-------+------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
试试用上面学到的知识,理解一下下面的图示
solution:
and here is another one:
例子:
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
------+-------+------
. . A----------B . .
. . . | . . . | . . .
. C . | . . . | . . .
--|---+-------+------
. | . | . . . | . . .
. D . | . . . | . . .
. . . | . . . | . . .
答案:
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
------+-------+------
. . A----------B . .
. . . | . . . | . . .
. C . | . . . | . . .
--|---+-------+------
. | . | . . . | . . .
. D . | . . . | * . .
. . . | . . . | . . .
更多的例子
here it is:
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
------+-------+------
. . B | . . . | . . .
. / . | . . . | . . .
A . . | . . C | . . .
------+-----|-+------
. . . | . . | | . . .
. . . | . . D | . . .
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
------+-------+------
. . B | . . . | . . .
. / . | . . . | . . .
A . . | . . C | . . .
------+-----|-+------
. . . | . . | | . . .
. . * | . . D | . . .
. . . | . . . | . . .
here it swims:
上面部分英语不用翻译了,看图就可以了
看下面这个例子:
. . . | . . . | . . .
. . . | . . . | . . .
. A---------------B .
------+-------+------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
------+-------+------
. C---------------D .
. . . | . . . | . . .
. . . | . . . | . . .
AC是兄弟连接,BD也是兄弟连接.
得下图
. * . | . . . | . * .
. * . | . . . | . * .
. A---------------B .
------+-------+------
. * . | . . . | . * .
. * . | . . . | . * .
. * . | . . . | . * .
------+-------+------
. C---------------D .
. * . | . . . | . * .
. * . | . . . | . * .
*号区域的候选数都可以排除
这个例子很眼熟啊,想想,好像网站有专门介绍