Platon Sudoku · 数独研究室
Xチェーン · ステップごとの解説
同じ数字の強リンクと弱リンクを交互につなぐと、少なくとも一方の端点が真になります。 両端を見るマスからその数字を除外します。
このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。
Google Play で見る ↗形を見分ける
同じ数字の強リンクと弱リンクを交互につなぐと、少なくとも一方の端点が真になります。
見つけ方
一つの数字で各リンクを確認し、両端を見る対象を探します。
できること
両端を見るマスからその数字を除外します。
見間違いに注意
強リンクには領域内で正確に2候補が必要です。弱リンクとは区別します。
ステップごとの解説 · 短い鎖
この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。
青:根拠。緑:結論。取り消し線の数字:除外する候補。R1C1 は1行1列を表します。
ステップ 1 · 注目する場所
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。ステップ 2 · 推理の流れ
分岐 1:R5C8=2 が偽と仮定します。
分岐 1:R5C8=2 が偽と仮定します。ステップ 3 · 推理の流れ
R5C8=2 は偽です。両側で 5行 の全選択肢を覆うため、R5C4=2 が真になります。
R5C8=2 は偽です。両側で 5行 の全選択肢を覆うため、R5C4=2 が真になります。ステップ 4 · 推理の流れ
R5C4=2 は真です。R2C4=2 を除外します。
R5C4=2 は真です。R2C4=2 を除外します。ステップ 5 · 推理の流れ
R2C4=2 は偽です。両側で ボックス2 の全選択肢を覆うため、R1C5=2 が真になります。
R2C4=2 は偽です。両側で ボックス2 の全選択肢を覆うため、R1C5=2 が真になります。ステップ 6 · 推理の流れ
R1C5=2 は真です。R1C9=2 を除外します。
R1C5=2 は真です。R1C9=2 を除外します。ステップ 7 · 推理の流れ
R1C9=2 が偽なので、9列 では R8C9=2 が確定します。すべての対象は R8C9=2 を見ているため、R7C8=2, R8C8=2 を消します。
R1C9=2 が偽なので、9列 では R8C9=2 が確定します。すべての対象は R8C9=2 を見ているため、R7C8=2, R8C8=2 を消します。ステップ 8 · 前の長方形配置を取り消す
仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。
仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。ステップ 9 · 推理の流れ
R5C8=2 を選びます。すべての対象はこれを見ているため、R7C8=2, R8C8=2 を直接消します。
R5C8=2 を選びます。すべての対象はこれを見ているため、R7C8=2, R8C8=2 を直接消します。ステップ 10 · 結論
2つの端点ケースですべての可能性を尽くし、どちらも R7C8=2, R8C8=2 を消します。仮の状態を取り消して、これらの候補を削除します。
2つの端点ケースですべての可能性を尽くし、どちらも R7C8=2, R8C8=2 を消します。仮の状態を取り消して、これらの候補を削除します。できること
2つの端点ケースですべての可能性を尽くし、どちらも R7C8=2, R8C8=2 を消します。仮の状態を取り消して、これらの候補を削除します。
Xチェーン · 両端を見るマスからその数字を除外します。ステップごとの解説 · 中くらいの鎖
この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。
青:根拠。緑:結論。取り消し線の数字:除外する候補。R1C1 は1行1列を表します。
ステップ 1 · 注目する場所
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。ステップ 2 · 推理の流れ
分岐 1:R1C3=7 が偽と仮定します。
分岐 1:R1C3=7 が偽と仮定します。ステップ 3 · 推理の流れ
R1C3=7 は偽です。両側で 1行 の全選択肢を覆うため、R1C7=7 が真になります。
R1C3=7 は偽です。両側で 1行 の全選択肢を覆うため、R1C7=7 が真になります。ステップ 4 · 推理の流れ
R1C7=7 は真です。R8C7=7 を除外します。
R1C7=7 は真です。R8C7=7 を除外します。ステップ 5 · 推理の流れ
R8C7=7 は偽です。両側で 8行 の全選択肢を覆うため、R8C8=7 が真になります。
R8C7=7 は偽です。両側で 8行 の全選択肢を覆うため、R8C8=7 が真になります。ステップ 6 · 推理の流れ
R8C8=7 は真です。R5C8=7 を除外します。
R8C8=7 は真です。R5C8=7 を除外します。ステップ 7 · 推理の流れ
R5C8=7 は偽です。両側で ボックス6 の全選択肢を覆うため、R4C9=7 が真になります。
R5C8=7 は偽です。両側で ボックス6 の全選択肢を覆うため、R4C9=7 が真になります。ステップ 8 · 推理の流れ
R4C9=7 は真です。R4C5=7 を除外します。
R4C9=7 は真です。R4C5=7 を除外します。ステップ 9 · 推理の流れ
R4C5=7 が偽なので、5列 では R2C5=7 が確定します。すべての対象は R2C5=7 を見ているため、R2C3=7 を消します。
R4C5=7 が偽なので、5列 では R2C5=7 が確定します。すべての対象は R2C5=7 を見ているため、R2C3=7 を消します。ステップ 10 · 前の長方形配置を取り消す
仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。
仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。ステップ 11 · 推理の流れ
R1C3=7 を選びます。すべての対象はこれを見ているため、R2C3=7 を直接消します。
R1C3=7 を選びます。すべての対象はこれを見ているため、R2C3=7 を直接消します。ステップ 12 · 結論
2つの端点ケースですべての可能性を尽くし、どちらも R2C3=7 を消します。仮の状態を取り消して、これらの候補を削除します。
2つの端点ケースですべての可能性を尽くし、どちらも R2C3=7 を消します。仮の状態を取り消して、これらの候補を削除します。できること
2つの端点ケースですべての可能性を尽くし、どちらも R2C3=7 を消します。仮の状態を取り消して、これらの候補を削除します。
Xチェーン · 両端を見るマスからその数字を除外します。ステップごとの解説 · 長い鎖
この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。
青:根拠。緑:結論。取り消し線の数字:除外する候補。R1C1 は1行1列を表します。
ステップ 1 · 注目する場所
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。ステップ 2 · 推理の流れ
分岐 1:R1C5=9 が偽と仮定します。
分岐 1:R1C5=9 が偽と仮定します。ステップ 3 · 推理の流れ
R1C5=9 は偽です。両側で 1行 の全選択肢を覆うため、R1C3=9 が真になります。
R1C5=9 は偽です。両側で 1行 の全選択肢を覆うため、R1C3=9 が真になります。ステップ 4 · 推理の流れ
R1C3=9 は真です。R3C1=9 を除外します。
R1C3=9 は真です。R3C1=9 を除外します。ステップ 5 · 推理の流れ
R3C1=9 は偽です。両側で 1列 の全選択肢を覆うため、R5C1=9 が真になります。
R3C1=9 は偽です。両側で 1列 の全選択肢を覆うため、R5C1=9 が真になります。ステップ 6 · 推理の流れ
R5C1=9 は真です。R6C3=9 を除外します。
R5C1=9 は真です。R6C3=9 を除外します。ステップ 7 · 推理の流れ
R6C3=9 は偽です。両側で 6行 の全選択肢を覆うため、R6C7=9 が真になります。
R6C3=9 は偽です。両側で 6行 の全選択肢を覆うため、R6C7=9 が真になります。ステップ 8 · 推理の流れ
R6C7=9 は真です。R5C8=9 を除外します。
R6C7=9 は真です。R5C8=9 を除外します。ステップ 9 · 推理の流れ
R5C8=9 は偽です。両側で 8列 の全選択肢を覆うため、R9C8=9 が真になります。
R5C8=9 は偽です。両側で 8列 の全選択肢を覆うため、R9C8=9 が真になります。ステップ 10 · 推理の流れ
R9C8=9 は真です。R9C2=9 を除外します。
R9C8=9 は真です。R9C2=9 を除外します。ステップ 11 · 推理の流れ
R9C2=9 が偽なので、2列 では R8C2=9 が確定します。すべての対象は R8C2=9 を見ているため、R8C5=9 を消します。
R9C2=9 が偽なので、2列 では R8C2=9 が確定します。すべての対象は R8C2=9 を見ているため、R8C5=9 を消します。ステップ 12 · 前の長方形配置を取り消す
仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。
仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。ステップ 13 · 推理の流れ
R1C5=9 を選びます。すべての対象はこれを見ているため、R8C5=9 を直接消します。
R1C5=9 を選びます。すべての対象はこれを見ているため、R8C5=9 を直接消します。ステップ 14 · 結論
2つの端点ケースですべての可能性を尽くし、どちらも R8C5=9 を消します。仮の状態を取り消して、これらの候補を削除します。
2つの端点ケースですべての可能性を尽くし、どちらも R8C5=9 を消します。仮の状態を取り消して、これらの候補を削除します。できること
2つの端点ケースですべての可能性を尽くし、どちらも R8C5=9 を消します。仮の状態を取り消して、これらの候補を削除します。
Xチェーン · 両端を見るマスからその数字を除外します。練習
このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。
Google Play で見る ↗