Platon Sudoku · 数独研习室
空矩形 · 分步讲解
某数字在一宫内只分布于一行和一列,十字中心没有该候选;宫外还有一条接到其中一臂的强链。 排除另一臂与宫外强链远端共同约束的候选。
本课程改编自 Platon Sudoku App 的教学内容。你可以在这里读完完整实例,再到应用中继续学习和练习。
在 Google Play 查看 ↗辨认模式
某数字在一宫内只分布于一行和一列,十字中心没有该候选;宫外还有一条接到其中一臂的强链。
如何寻找
先在宫内找中心为空候选的行列十字,再沿其中一臂寻找宫外的强链。
可以得出什么
排除另一臂与宫外强链远端共同约束的候选。
别看错了
十字中心不能含该候选;要检查宫内所有位置及宫外强链的两端,不能只看四格的形状。
分步讲解 · 行强链
本例从已保存的中途盘面开始,候选数包含此前逻辑排除的结果,并非刚刚自动生成的笔记。
蓝色:推理依据。绿色:结论。划线数字:排除的候选数。R1C1 表示第1行第1列。
步骤 1 · 找出候选十字、空区和外部强对
第8宫内的候选3只落在第7行或第4列上,形成候选十字;交点R7C4和十字之外带斜纹的四格都没有候选3,这片空区是“空矩形”名称的由来。宫外的R5C1与R5C4是第5行中仅有的两个候选,构成强对,负责把推理传入宫内十字。
第8宫内的候选3只落在第7行或第4列上,形成候选十字;交点R7C4和十字之外带斜纹的四格都没有候选3,这片空区是“空矩形”名称的由来。宫外的R5C1与R5C4是第5行中仅有的两个候选,构成强对,负责把推理传入宫内十字。步骤 2 · 第5行只有两个位置
第5行只能在R5C1、R5C4中选一个位置填3。其中一个必须是3。
第5行只能在R5C1、R5C4中选一个位置填3。其中一个必须是3。步骤 3 · 先试一个假设
假设R7C1填3。带“?”的数字只用于推演,还不是确定答案。 R5C1与R7C1同在第1列,所以不能再填3。
假设R7C1填3。带“?”的数字只用于推演,还不是确定答案。 R5C1与R7C1同在第1列,所以不能再填3。步骤 4 · 宫里这一侧的候选被排除
R5C1不能填3,第5行便只剩R5C4。按这个假设,这里必须填3。 R5C4现在是3。R8C4与它同在第4列,所以不能再填3。第8宫这一侧的候选3没有了。
R5C1不能填3,第5行便只剩R5C4。按这个假设,这里必须填3。 R5C4现在是3。R8C4与它同在第4列,所以不能再填3。第8宫这一侧的候选3没有了。步骤 5 · 这里与最初的假设冲突
第8宫仍然必须有一个3,现在只剩R7C6。它被迫是3,却与最初假设的R7C1同在第7行——这里出现了两个3!
第8宫仍然必须有一个3,现在只剩R7C6。它被迫是3,却与最初假设的R7C1同在第7行——这里出现了两个3!步骤 6 · 最初的假设不成立
假设R7C1填3会产生矛盾,所以划掉这个候选,其他假设全部撤回。
假设R7C1填3会产生矛盾,所以划掉这个候选,其他假设全部撤回。可以得出什么
假设R7C1填3会产生矛盾,所以划掉这个候选,其他假设全部撤回。
空矩形 · 排除另一臂与宫外强链远端共同约束的候选。分步讲解 · 列强链
本例从已保存的中途盘面开始,候选数包含此前逻辑排除的结果,并非刚刚自动生成的笔记。
蓝色:推理依据。绿色:结论。划线数字:排除的候选数。R1C1 表示第1行第1列。
步骤 1 · 找出候选十字、空区和外部强对
第5宫内的候选1只落在第6行或第6列上,形成候选十字;交点R6C6和十字之外带斜纹的四格都没有候选1,这片空区是“空矩形”名称的由来。宫外的R9C3与R6C3是第3列中仅有的两个候选,构成强对,负责把推理传入宫内十字。
第5宫内的候选1只落在第6行或第6列上,形成候选十字;交点R6C6和十字之外带斜纹的四格都没有候选1,这片空区是“空矩形”名称的由来。宫外的R9C3与R6C3是第3列中仅有的两个候选,构成强对,负责把推理传入宫内十字。步骤 2 · 第3列只有两个位置
第3列只能在R9C3、R6C3中选一个位置填1。其中一个必须是1。
第3列只能在R9C3、R6C3中选一个位置填1。其中一个必须是1。步骤 3 · 先试一个假设
假设R9C6填1。带“?”的数字只用于推演,还不是确定答案。 R9C3与R9C6同在第9行,所以不能再填1。
假设R9C6填1。带“?”的数字只用于推演,还不是确定答案。 R9C3与R9C6同在第9行,所以不能再填1。步骤 4 · 宫里这一侧的候选被排除
R9C3不能填1,第3列便只剩R6C3。按这个假设,这里必须填1。 R6C3现在是1。R6C4、R6C5与它同在第6行,所以不能再填1。第5宫这一侧的候选1没有了。
R9C3不能填1,第3列便只剩R6C3。按这个假设,这里必须填1。 R6C3现在是1。R6C4、R6C5与它同在第6行,所以不能再填1。第5宫这一侧的候选1没有了。步骤 5 · 这里与最初的假设冲突
第5宫仍然必须在R4C6、R5C6中放一个1。但这些格都与假设的R9C6同在第6列,全都不能填1,这个宫就无处放1了!
第5宫仍然必须在R4C6、R5C6中放一个1。但这些格都与假设的R9C6同在第6列,全都不能填1,这个宫就无处放1了!步骤 6 · 最初的假设不成立
假设R9C6填1会产生矛盾,所以划掉这个候选,其他假设全部撤回。
假设R9C6填1会产生矛盾,所以划掉这个候选,其他假设全部撤回。可以得出什么
假设R9C6填1会产生矛盾,所以划掉这个候选,其他假设全部撤回。
空矩形 · 排除另一臂与宫外强链远端共同约束的候选。