非完全约束集合删除法ALS(Almost locked sets)非完全约束集合删除法
ALS(Almost locked sets)
一、
下面为这种删除法的图形表示：
x.......x
/ \
a---A B---b ； *处候选数可以被排除
\ /
z...*...z
哈！大家是不是有点糊涂哩，别急，先一些名词的解释吧：
二、
1、完全约束集合（A locked set）：
就是说n个单元格里只能有n个候选数。比如：{12、13、23}、{123、123、123}、{123、12、13}等就是3个完全约束集合。
2、非完全约束集合（Almost locked set）：
就是说n个单元格里有n+1个候选数。比如：{12、13}、{123、12}、{12、123、14}等就是3个非完全约束集合。
明白“非完全约束集合”的意思了吧,不要摇头啊，接下对上面的图形作个说明：
三、
A、B:分别指非完全约束集合A和非完全约束集合B；（就是说老爸和老妈了，当然是离婚的啦）
X :指由A和B两个集合严格共享的一个候选数，即如果X在A区，则B区不能有X，反之亦言。（X就是儿 子，要么是老爸的，要么老妈的，因为两个家伙离婚了）
Z :也是A和B两个集合里面共同拥有的候选数，但不是严格共享，即如果Z在A区，B区也可能有Z，反之亦言。（Z也是儿子，不过可能比较奸，拿老爸老妈给的詹养费独自活。）
a、b：a和b是啥？就是A和B集合所在的行、列或九宫格吧。（就是儿子的老爸的老爸和儿子的老妈的老妈啦）
备注一下：A和B集合可以分别是一行、一列或一个九宫格里面的集合，只要符合非完全约束就成。
好了，明白上面各个字符的意思了吧，大家不要昏啊，坚持一下，下面开始讲讲这一家人怎样杀人的下流行为了。哈哈！
四、
他们的杀人原则如下：
杀人原则1：A和B是两个非完全约束集合。
杀人原则2：A和B两个集合通过一个一个严格共享的候选数X形成相互联系。
杀人原则3：A和B两个集合里还分别共同拥有非严格共享的候选数Z。
上面三个原则成立后，那么A和B两个集合的Z相交的单元格里不能有和Z一样的候选数。
大家还不明白...惨啊，那就看看例子吧：
五、
例子一：如下所示
+-------------+-------------+-------------+
| 24 7 8 | 24 6 5 | 1 9 3 |
| 9 3 24 | 248 1 48 | 56 7 56 |
| 5 1 6 | 7 3 9 | 8 4 2 |
+-------------+-------------+-------------+
| 28 9 23 | 458 7 6 |#35 1 #45 |
|*17 6 5 | 3 9 14 | 2 8 #47 |
| 178 4 *13 | 58 2 18 | 357 6 9 |
+-------------+-------------+-------------+
| 6 5 7 | 1 4 2 | 9 3 8 |
| 14 2 14 | 9 8 3 | 67 5 67 |
| 3 8 9 | 6 5 7 | 4 2 1 |
+-------------+-------------+-------------+
仔细看上面例子，
1、带*的两个单元格和带＃的单元格分别组成了两个非完全约束集合A{17、13}和B{47、45、35}；
2、两个集合通过严格共享的候选数X＝7完成联系（R5C1＝17和R5C9＝47里的7）；
3、两个集合里还有共同拥有的非严格共享的候选数Z＝3（见R4C7＝35和R6C3＝13里的3）
那么两个非严格共享的候选数Z相交的地方R6C7＝357中的3可以杀掉。
例子二：如下所示
*--------------------------------------------------------------------------------------------*
| 3 48 458| 58 1 6| 9 7 2|
| *189 19 6| 25 7 258| 145 3 14|
| 127 12 157| 9 4 3| 156 156 8|
|------------------------------+------------------------------+------------------------------|
| 5 3 #78| 1268 9 4| 1267 126 17|
| *78 146 2| 16 5 18| 3 1469 1479|
| *19 1469 149| 7 3 12| 1246 8 5|
|------------------------------+------------------------------+------------------------------|
| 4 128 #18| 135 6 9| 1257 125 37|
| 6 5 #19| 13 2 7| 8 149 1349|
| 129 7 3| 4 8 15| 125 1259 6|
*--------------------------------------------------------------------------------------------*
同样仔细看上面例子，
1、带*的两个单元格和带＃的单元格分别组成了两个非完全约束集合A{189、78、19}和B{78、18、19}；
2、两个集合通过严格共享的候选数X＝7完成联系（R5C1＝78和R5C3＝78里的7）；
3、两个集合里还有共同拥有的非严格共享的候选数Z＝1和9（见R4C1＝19和R8C3＝19里的1和9）；
那么两个非严格共享的候选数Z相交的地方R9C1＝129中的1和9可以杀掉。
大家还不明白？......闷......原来我不是一个好老师................！
啊哈！！乱说一通了，各位老虾看看是否有误，请指出! 小的有谢了。
数独9981论坛 → ≡数独专区≡ → 数独研究 → 非完全约束集合删除法ALS(Almost locked sets)
发表时间：2006-8-29 15:23:54 
IP：
