Platon Sudoku · 数独研习室
Sashimi X-Wing(刺身X翼) · 分步讲解
两条基础行或列与两条覆盖线形成缺一角的结构;缺角旁另有一个鱼鳍候选。 只排除位于覆盖线且能看见鱼鳍的目标候选。
本课程改编自 Platon Sudoku App 的教学内容。你可以在这里读完完整实例,再到应用中继续学习和练习。
在 Google Play 查看 ↗辨认模式
两条基础行或列与两条覆盖线形成缺一角的结构;缺角旁另有一个鱼鳍候选。
如何寻找
找三个矩形角,再找缺角所在基础线上的同宫鱼鳍。
可以得出什么
只排除位于覆盖线且能看见鱼鳍的目标候选。
别看错了
三个角本身不足以排除。必须确认鱼鳍和目标的同宫关系;缺失的角不能画成候选。
分步讲解 · 行
本例从已保存的中途盘面开始,候选数包含此前逻辑排除的结果,并非刚刚自动生成的笔记。
蓝色:推理依据。绿色:结论。划线数字:排除的候选数。R1C1 表示第1行第1列。
步骤 1 · 识别退化的 X-Wing 整体
两条基线(第6行、第8行)和两条覆盖线(第6列、第9列)标出完整的退化鱼形。对候选 2,R8C6=2 与 R8C9=2 是第8行强对的两个端点。在另一条基线第6行中,R6C9=2 是保留的鱼身角;缺角 R6C6 没有候选 2。因此鱼身是 R6C9=2, R8C6=2, R8C9=2,R6C4=2 是第5宫中的鳍。目标 R4C6=2, R5C6=2 位于第6列,并且能看见全部鳍。
两条基线(第6行、第8行)和两条覆盖线(第6列、第9列)标出完整的退化鱼形。对候选 2,R8C6=2 与 R8C9=2 是第8行强对的两个端点。在另一条基线第6行中,R6C9=2 是保留的鱼身角;缺角 R6C6 没有候选 2。因此鱼身是 R6C9=2, R8C6=2, R8C9=2,R6C4=2 是第5宫中的鳍。目标 R4C6=2, R5C6=2 位于第6列,并且能看见全部鳍。步骤 2 · 情况一:缺角一侧的强对端点成立
若强对端点 R8C6=2 成立,另一个端点 R8C9=2 就不成立。R8C6=2 与目标 R4C6=2, R5C6=2 同在第6列,所以本情形下所有目标都被排除。
若强对端点 R8C6=2 成立,另一个端点 R8C9=2 就不成立。R8C6=2 与目标 R4C6=2, R5C6=2 同在第6列,所以本情形下所有目标都被排除。步骤 3 · 情况二:鱼身角一侧的强对端点成立
若另一个强对端点 R8C9=2 成立,R8C6=2 不成立,并通过第9列排除与它对齐的鱼身角 R6C9=2。于是基础区域第6行只能在鳍 R6C4=2 中放置 2;至少一个鳍成立。目标 R4C6=2, R5C6=2 看见所有鳍,所以本情形下也全部被排除。
若另一个强对端点 R8C9=2 成立,R8C6=2 不成立,并通过第9列排除与它对齐的鱼身角 R6C9=2。于是基础区域第6行只能在鳍 R6C4=2 中放置 2;至少一个鳍成立。目标 R4C6=2, R5C6=2 看见所有鳍,所以本情形下也全部被排除。步骤 4 · 两种情况覆盖全部可能
第8行中的强对只有 R8C6=2 与 R8C9=2 两个端点,因此必然落入上述一种情况。前一端点直接排除 R4C6=2, R5C6=2;后一端点迫使至少一个鳍成立,同样排除 R4C6=2, R5C6=2。两种情况穷尽全部放法,所以删除这些目标候选。
第8行中的强对只有 R8C6=2 与 R8C9=2 两个端点,因此必然落入上述一种情况。前一端点直接排除 R4C6=2, R5C6=2;后一端点迫使至少一个鳍成立,同样排除 R4C6=2, R5C6=2。两种情况穷尽全部放法,所以删除这些目标候选。可以得出什么
第8行中的强对只有 R8C6=2 与 R8C9=2 两个端点,因此必然落入上述一种情况。前一端点直接排除 R4C6=2, R5C6=2;后一端点迫使至少一个鳍成立,同样排除 R4C6=2, R5C6=2。两种情况穷尽全部放法,所以删除这些目标候选。
Sashimi X-Wing(刺身X翼) · 只排除位于覆盖线且能看见鱼鳍的目标候选。分步讲解 · 列
本例从已保存的中途盘面开始,候选数包含此前逻辑排除的结果,并非刚刚自动生成的笔记。
蓝色:推理依据。绿色:结论。划线数字:排除的候选数。R1C1 表示第1行第1列。
步骤 1 · 识别退化的 X-Wing 整体
两条基线(第1列、第5列)和两条覆盖线(第6行、第8行)标出完整的退化鱼形。对候选 8,R8C1=8 与 R6C1=8 是第1列强对的两个端点。在另一条基线第5列中,R6C5=8 是保留的鱼身角;缺角 R8C5 没有候选 8。因此鱼身是 R6C1=8, R6C5=8, R8C1=8,R7C5=8 是第8宫中的鳍。目标 R8C4=8 位于第8行,并且能看见全部鳍。
两条基线(第1列、第5列)和两条覆盖线(第6行、第8行)标出完整的退化鱼形。对候选 8,R8C1=8 与 R6C1=8 是第1列强对的两个端点。在另一条基线第5列中,R6C5=8 是保留的鱼身角;缺角 R8C5 没有候选 8。因此鱼身是 R6C1=8, R6C5=8, R8C1=8,R7C5=8 是第8宫中的鳍。目标 R8C4=8 位于第8行,并且能看见全部鳍。步骤 2 · 情况一:缺角一侧的强对端点成立
若强对端点 R8C1=8 成立,另一个端点 R6C1=8 就不成立。R8C1=8 与目标 R8C4=8 同在第8行,所以本情形下所有目标都被排除。
若强对端点 R8C1=8 成立,另一个端点 R6C1=8 就不成立。R8C1=8 与目标 R8C4=8 同在第8行,所以本情形下所有目标都被排除。步骤 3 · 情况二:鱼身角一侧的强对端点成立
若另一个强对端点 R6C1=8 成立,R8C1=8 不成立,并通过第6行排除与它对齐的鱼身角 R6C5=8。于是基础区域第5列只能在鳍 R7C5=8 中放置 8;至少一个鳍成立。目标 R8C4=8 看见所有鳍,所以本情形下也全部被排除。
若另一个强对端点 R6C1=8 成立,R8C1=8 不成立,并通过第6行排除与它对齐的鱼身角 R6C5=8。于是基础区域第5列只能在鳍 R7C5=8 中放置 8;至少一个鳍成立。目标 R8C4=8 看见所有鳍,所以本情形下也全部被排除。步骤 4 · 两种情况覆盖全部可能
第1列中的强对只有 R8C1=8 与 R6C1=8 两个端点,因此必然落入上述一种情况。前一端点直接排除 R8C4=8;后一端点迫使至少一个鳍成立,同样排除 R8C4=8。两种情况穷尽全部放法,所以删除这些目标候选。
第1列中的强对只有 R8C1=8 与 R6C1=8 两个端点,因此必然落入上述一种情况。前一端点直接排除 R8C4=8;后一端点迫使至少一个鳍成立,同样排除 R8C4=8。两种情况穷尽全部放法,所以删除这些目标候选。可以得出什么
第1列中的强对只有 R8C1=8 与 R6C1=8 两个端点,因此必然落入上述一种情况。前一端点直接排除 R8C4=8;后一端点迫使至少一个鳍成立,同样排除 R8C4=8。两种情况穷尽全部放法,所以删除这些目标候选。
Sashimi X-Wing(刺身X翼) · 只排除位于覆盖线且能看见鱼鳍的目标候选。