abc/abcd-UR
数毒吧
全部回复
仅看楼主
level 12
borescoper 楼主
搬运帖。
2017年03月16日 12点03分 1
level 12
borescoper 楼主
先看一下abc-UR
这是一个abc-UR。如果你有一些UR的基础,第一次见这种结构,是不是觉得这不太可能,尤其是第一行那里,怎么可能是UR呢。但这不是幻觉,这真的是“唯一矩阵”,是基础矩阵的复合式结构,下面就分析一下这个删数是怎么来的。
首先要先证明这个方法的正确性。这个方法最基础的”致命结构“是这样的:
先不要吐槽他的稀有,因为通常他不是以这个面貌出现的。我们先来论证一下这个结构究竟是不是一个“多解”的致命结构。
首先,这个结构分三个部分。两侧各两格,和中间夹宫的三格(三角区)
要证明一个结构多解,就得证明满足候选数的所有答案,每组答案都可”变化“形成另一组答案,变化前后完全不会影响这几格之外的其他盘势。
下面我们看一下答案的可能分布情况:
三角区就是个数组我们先不去看,只看两侧分布,现在只有两种情况:
①两侧是两组相同的数对。
②两侧是两组不同的数对。
(不要被候选数迷惑,无论怎么分布,两个格子在最终答案盘一定是数对)
这两种情况,可以涵盖所有答案盘的情况。
有人会提出疑问,如果一侧是ab+bc,那不是不被这两种情况涵盖吗?对于这一点,有必要进行一个特别的说明:如果一侧是ab+bc,你可以把它拆分为ab+b和ab+c两种。第一种属于ab+ab。第二种继续拆分为a+c和b+c,仍然是数对。这就是为什么说“两个格子最终一定是数对”,这是对答案盘的分析。
情况①:数对相同。以两侧都是ab为例:
这种情况比较简单,夹宫里的ab两数,无论横放、竖放、还是斜放,都与上、左或是二者一起,构成致命结构。有UR基础的人应该能秒懂。
情况②:两侧数对不同。由于总共只有abc三个候选数。那么,两个不同的数对,一定会重复一个数字。我们以ab和bc为例:
这种情况下观察中间夹宫abc的分布。
1)ab横放。直接ab-UR多解
2)ab竖放。放不了,上面的ab限制。
3)ab斜放。剩G7为c。那么只能G8为a,H7为b,又形成bc-UR多解。
所以综上情况①②,这个abc结构是个多解的致命结构。
2017年03月16日 13点03分 2
3)ab斜放。剩G7为c。那么只能G8为a,H7为b,又形成bc-UR多解。 这句看不明白啊,没有多解啊
2019年06月01日 00点06分
@风云际会JY😁 你把G 7 = c代进去看看就知道了
2019年06月01日 13点06分
@风云际会JY😁 代入斜放ab数对和G7=c,得到GH67四格是bccb。这四格的填法局部可互换出另一个解。在标准数独中不可能存在,所以说是致命的
2019年06月01日 23点06分
我尽量从简单的角度去理解。
2019年07月17日 01点07分
level 12
borescoper 楼主
abc-UR,最常出现在我们面前的样子是下面这样:
这个例子是个可以直观的例子,如图,两侧是两个不同的数对39和49,中间夹宫三角区。这种表现形态比较常见。因为数对可以直观,看到两个数对,就可以往中间夹宫多看一眼。发现,夹宫的三角区不能有4了。因为3和9都被挤到三角区了,再有4,三角区组成349数组,致命结构就出来了。
现在回到最初的例子看看是怎么回事。
两侧的表现形式不是直接的“数对”。但没关系,候选数的“缺失”不会影响UR结论的正确性,所以,两侧只要不溢出abc,中间夹宫三角区只要是abc数组,就致命了。
那么这个例子呢,两侧没有溢出137,但中间有点怪,三角区去哪儿了?
我们结合删数来看,假如H9填5,那么,1,3,7填入四圈位置,无论怎么填,都会形成三角区。
所以,这就是中间夹宫的变化:三角区升级为“四方连”。
弄清楚之后,是不是觉得这也没有多难找?两侧看到全是“137”,那中间夹宫多看一眼好了,发现137散乱分布在“四方连”结构,外加一格,那四方连根本不要看了,这一格必须填137之一,因为,你不能把137逼到“四方连”的区域去。
乘热打铁,看一个夹宫升级的经典例子:
观察过程:两侧看到67和78数对,看到这个,我就注意了一下夹宫,夹宫是升级了的“四方连”,剩下四格,只有H13有678相关数,太好了,所以H13必有一个6,否则,678被挤到“四方连”区域,一定形成“三角区”分布,与两侧数对构成致命结构。所以直接G8=6,余盘直观。
有兴趣可以尝试一下正常的思路去解这题。通常要用到好几种高级解法和链。
而使用abc-UR,秒了。
当然这种情况并不多见[冷]
2017年03月16日 13点03分 3
level 12
borescoper 楼主
abc-UR基本介绍完毕,现在介绍更加不实用,更加稀有的abcd-UR[汗]
完整的abcd-UR致命结构是这样:
接下来一大段是论证的过程,如果懒得看,可以直接跳到最后看例子。
↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓论证的分割线↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓
下面论证一下这个结构是致命的,还是从答案分布的角度去分析,分三种情况:
①两侧分布呈两个相同数对
②两侧分布呈两个不同数对,重复一数
③两侧分布呈两个完全不同的数对
情况①:两侧数对相同,以ab为例,那么夹宫里的ab两数无论横竖斜放,都形成基础UR。
情况②:两侧数对不同,有重复一数,形成本帖前文所述的abc-UR的“夹宫升级四方连”模式。不再赘述。
情况③:两侧数对完全不同。以ab和cd为例:
在情况③之下分析夹宫的分布,如果ab或cd不斜放,必定形成小范围的基础UR,只要讨论ab和cd都斜放的情况。因为代数的对称性,取其一种讨论即可:
在这种情况下,存在四种答案盘。由于代数的对称性,取其一种答案盘讨论即可。我们任取一种如下:
现在证明它是个“致命答案盘”即可。我们假设此答案下,外围已经全部解出,涂成绿色,如图,可将此答案盘“变化”成红色的“答案盘“,完全不会影响到所在行、列、宫的其他外围盘势。
对比一下这个变化,比如第七列,还是abc数组,不影响第七列其他格;再比如第九宫,还是abcd数组,不影响第九宫其他格。
所以,这个答案盘本身是致命的。所以得证:
最初的abcd-UR是一个致命结构。
↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑论证的分割线↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑↑
2017年03月16日 13点03分 4
level 12
borescoper 楼主
最后看几个例子,如果你仔细看了全文,理解起来不会困难。(其实是我懒得写大段详细说明)
1. abcd-UR。(borescoper)
2017年03月16日 13点03分 5
level 12
borescoper 楼主
2. abc-UR(复合)得I行4的强链,删其他4。(borescoper)
2017年03月16日 13点03分 6
level 12
borescoper 楼主
3. 隐性四方连,abc-UR。(whywhite)
2017年03月16日 13点03分 7
level 12
borescoper 楼主
4. abcd-UR. (无趣)
2017年03月16日 13点03分 8
level 13

2017年03月16日 13点03分 9
[滑稽]
2017年03月16日 14点03分
2017年03月16日 15点03分
level 12
borescoper 楼主
5. 同一盘势同时存在abc-UR(红)和abcd-UR(蓝),分别可得G8=1和F9=2。(borescoper)
2017年03月16日 13点03分 10
level 12
borescoper 楼主
6. abcd+abc UR。橙色7不可共删,否则形成abcd。橙色4也不可共删,否则形成abc。(小向)
2017年03月16日 13点03分 11
level 12
borescoper 楼主
就这些吧,完毕。
2017年03月16日 13点03分 12
level 10

2017年03月16日 16点03分 13
level 9
啊婆雌锝有啊[真棒][真棒][真棒]
2017年03月18日 01点03分 15
阿白菜呆油啊
2017年03月18日 17点03分
1 2 尾页