日本語

Platon Sudoku · 数独研究室

Xチェーン · ステップごとの解説

同じ数字の強リンクと弱リンクを交互につなぐと、少なくとも一方の端点が真になります。 両端を見るマスからその数字を除外します。

このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。

Google Play で見る

形を見分ける

同じ数字の強リンクと弱リンクを交互につなぐと、少なくとも一方の端点が真になります。

見つけ方

一つの数字で各リンクを確認し、両端を見る対象を探します。

できること

両端を見るマスからその数字を除外します。

見間違いに注意

強リンクには領域内で正確に2候補が必要です。弱リンクとは区別します。

ステップごとの解説 · 短い鎖

この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。

青:根拠。緑:結論。取り消し線の数字:除外する候補。R1C1 は1行1列を表します。

ステップ 1 · 注目する場所

表示されている検証済み候補を使います。以前の正しい候補削除も有効です。

表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
ステップ 2 · 推理の流れ

分岐 1:R5C8=2 が偽と仮定します。

分岐 1:R5C8=2 が偽と仮定します。
分岐 1:R5C8=2 が偽と仮定します。
ステップ 3 · 推理の流れ

R5C8=2 は偽です。両側で 5行 の全選択肢を覆うため、R5C4=2 が真になります。

R5C8=2 は偽です。両側で 5行 の全選択肢を覆うため、R5C4=2 が真になります。
R5C8=2 は偽です。両側で 5行 の全選択肢を覆うため、R5C4=2 が真になります。
ステップ 4 · 推理の流れ

R5C4=2 は真です。R2C4=2 を除外します。

R5C4=2 は真です。R2C4=2 を除外します。
R5C4=2 は真です。R2C4=2 を除外します。
ステップ 5 · 推理の流れ

R2C4=2 は偽です。両側で ボックス2 の全選択肢を覆うため、R1C5=2 が真になります。

R2C4=2 は偽です。両側で ボックス2 の全選択肢を覆うため、R1C5=2 が真になります。
R2C4=2 は偽です。両側で ボックス2 の全選択肢を覆うため、R1C5=2 が真になります。
ステップ 6 · 推理の流れ

R1C5=2 は真です。R1C9=2 を除外します。

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 を消します。
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 を直接消します。
R5C8=2 を選びます。すべての対象はこれを見ているため、R7C8=2, R8C8=2 を直接消します。
ステップ 10 · 結論

2つの端点ケースですべての可能性を尽くし、どちらも R7C8=2, R8C8=2 を消します。仮の状態を取り消して、これらの候補を削除します。

2つの端点ケースですべての可能性を尽くし、どちらも R7C8=2, R8C8=2 を消します。仮の状態を取り消して、これらの候補を削除します。
2つの端点ケースですべての可能性を尽くし、どちらも R7C8=2, R8C8=2 を消します。仮の状態を取り消して、これらの候補を削除します。

できること

2つの端点ケースですべての可能性を尽くし、どちらも R7C8=2, R8C8=2 を消します。仮の状態を取り消して、これらの候補を削除します。

Xチェーン · 両端を見るマスからその数字を除外します。
Xチェーン · 両端を見るマスからその数字を除外します。

ステップごとの解説 · 中くらいの鎖

この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。

青:根拠。緑:結論。取り消し線の数字:除外する候補。R1C1 は1行1列を表します。

ステップ 1 · 注目する場所

表示されている検証済み候補を使います。以前の正しい候補削除も有効です。

表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
ステップ 2 · 推理の流れ

分岐 1:R1C3=7 が偽と仮定します。

分岐 1:R1C3=7 が偽と仮定します。
分岐 1:R1C3=7 が偽と仮定します。
ステップ 3 · 推理の流れ

R1C3=7 は偽です。両側で 1行 の全選択肢を覆うため、R1C7=7 が真になります。

R1C3=7 は偽です。両側で 1行 の全選択肢を覆うため、R1C7=7 が真になります。
R1C3=7 は偽です。両側で 1行 の全選択肢を覆うため、R1C7=7 が真になります。
ステップ 4 · 推理の流れ

R1C7=7 は真です。R8C7=7 を除外します。

R1C7=7 は真です。R8C7=7 を除外します。
R1C7=7 は真です。R8C7=7 を除外します。
ステップ 5 · 推理の流れ

R8C7=7 は偽です。両側で 8行 の全選択肢を覆うため、R8C8=7 が真になります。

R8C7=7 は偽です。両側で 8行 の全選択肢を覆うため、R8C8=7 が真になります。
R8C7=7 は偽です。両側で 8行 の全選択肢を覆うため、R8C8=7 が真になります。
ステップ 6 · 推理の流れ

R8C8=7 は真です。R5C8=7 を除外します。

R8C8=7 は真です。R5C8=7 を除外します。
R8C8=7 は真です。R5C8=7 を除外します。
ステップ 7 · 推理の流れ

R5C8=7 は偽です。両側で ボックス6 の全選択肢を覆うため、R4C9=7 が真になります。

R5C8=7 は偽です。両側で ボックス6 の全選択肢を覆うため、R4C9=7 が真になります。
R5C8=7 は偽です。両側で ボックス6 の全選択肢を覆うため、R4C9=7 が真になります。
ステップ 8 · 推理の流れ

R4C9=7 は真です。R4C5=7 を除外します。

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 を消します。
R4C5=7 が偽なので、5列 では R2C5=7 が確定します。すべての対象は R2C5=7 を見ているため、R2C3=7 を消します。
ステップ 10 · 前の長方形配置を取り消す

仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。

仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。
仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。
ステップ 11 · 推理の流れ

R1C3=7 を選びます。すべての対象はこれを見ているため、R2C3=7 を直接消します。

R1C3=7 を選びます。すべての対象はこれを見ているため、R2C3=7 を直接消します。
R1C3=7 を選びます。すべての対象はこれを見ているため、R2C3=7 を直接消します。
ステップ 12 · 結論

2つの端点ケースですべての可能性を尽くし、どちらも R2C3=7 を消します。仮の状態を取り消して、これらの候補を削除します。

2つの端点ケースですべての可能性を尽くし、どちらも R2C3=7 を消します。仮の状態を取り消して、これらの候補を削除します。
2つの端点ケースですべての可能性を尽くし、どちらも R2C3=7 を消します。仮の状態を取り消して、これらの候補を削除します。

できること

2つの端点ケースですべての可能性を尽くし、どちらも R2C3=7 を消します。仮の状態を取り消して、これらの候補を削除します。

Xチェーン · 両端を見るマスからその数字を除外します。
Xチェーン · 両端を見るマスからその数字を除外します。

ステップごとの解説 · 長い鎖

この例題は保存された途中の盤面から始まります。候補にはそれまでの論理的な除外が反映されており、新たに自動生成したメモとは異なります。

青:根拠。緑:結論。取り消し線の数字:除外する候補。R1C1 は1行1列を表します。

ステップ 1 · 注目する場所

表示されている検証済み候補を使います。以前の正しい候補削除も有効です。

表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
表示されている検証済み候補を使います。以前の正しい候補削除も有効です。
ステップ 2 · 推理の流れ

分岐 1:R1C5=9 が偽と仮定します。

分岐 1:R1C5=9 が偽と仮定します。
分岐 1:R1C5=9 が偽と仮定します。
ステップ 3 · 推理の流れ

R1C5=9 は偽です。両側で 1行 の全選択肢を覆うため、R1C3=9 が真になります。

R1C5=9 は偽です。両側で 1行 の全選択肢を覆うため、R1C3=9 が真になります。
R1C5=9 は偽です。両側で 1行 の全選択肢を覆うため、R1C3=9 が真になります。
ステップ 4 · 推理の流れ

R1C3=9 は真です。R3C1=9 を除外します。

R1C3=9 は真です。R3C1=9 を除外します。
R1C3=9 は真です。R3C1=9 を除外します。
ステップ 5 · 推理の流れ

R3C1=9 は偽です。両側で 1列 の全選択肢を覆うため、R5C1=9 が真になります。

R3C1=9 は偽です。両側で 1列 の全選択肢を覆うため、R5C1=9 が真になります。
R3C1=9 は偽です。両側で 1列 の全選択肢を覆うため、R5C1=9 が真になります。
ステップ 6 · 推理の流れ

R5C1=9 は真です。R6C3=9 を除外します。

R5C1=9 は真です。R6C3=9 を除外します。
R5C1=9 は真です。R6C3=9 を除外します。
ステップ 7 · 推理の流れ

R6C3=9 は偽です。両側で 6行 の全選択肢を覆うため、R6C7=9 が真になります。

R6C3=9 は偽です。両側で 6行 の全選択肢を覆うため、R6C7=9 が真になります。
R6C3=9 は偽です。両側で 6行 の全選択肢を覆うため、R6C7=9 が真になります。
ステップ 8 · 推理の流れ

R6C7=9 は真です。R5C8=9 を除外します。

R6C7=9 は真です。R5C8=9 を除外します。
R6C7=9 は真です。R5C8=9 を除外します。
ステップ 9 · 推理の流れ

R5C8=9 は偽です。両側で 8列 の全選択肢を覆うため、R9C8=9 が真になります。

R5C8=9 は偽です。両側で 8列 の全選択肢を覆うため、R9C8=9 が真になります。
R5C8=9 は偽です。両側で 8列 の全選択肢を覆うため、R9C8=9 が真になります。
ステップ 10 · 推理の流れ

R9C8=9 は真です。R9C2=9 を除外します。

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 を消します。
R9C2=9 が偽なので、2列 では R8C2=9 が確定します。すべての対象は R8C2=9 を見ているため、R8C5=9 を消します。
ステップ 12 · 前の長方形配置を取り消す

仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。

仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。
仮定とその結果を取り消します。変わっていない元の候補に戻り、次の可能性を調べます。
ステップ 13 · 推理の流れ

R1C5=9 を選びます。すべての対象はこれを見ているため、R8C5=9 を直接消します。

R1C5=9 を選びます。すべての対象はこれを見ているため、R8C5=9 を直接消します。
R1C5=9 を選びます。すべての対象はこれを見ているため、R8C5=9 を直接消します。
ステップ 14 · 結論

2つの端点ケースですべての可能性を尽くし、どちらも R8C5=9 を消します。仮の状態を取り消して、これらの候補を削除します。

2つの端点ケースですべての可能性を尽くし、どちらも R8C5=9 を消します。仮の状態を取り消して、これらの候補を削除します。
2つの端点ケースですべての可能性を尽くし、どちらも R8C5=9 を消します。仮の状態を取り消して、これらの候補を削除します。

できること

2つの端点ケースですべての可能性を尽くし、どちらも R8C5=9 を消します。仮の状態を取り消して、これらの候補を削除します。

Xチェーン · 両端を見るマスからその数字を除外します。
Xチェーン · 両端を見るマスからその数字を除外します。

練習

このレッスンは Platon Sudoku アプリの教材をウェブ向けに構成したものです。ここで例題を最後まで読み、アプリで学習と練習を続けられます。

Google Play で見る