Platon Sudoku · 数独研究室

複数成分カラーリング矛盾 · ステップごとの解説

同じ数字の各強リンク成分で反対色を付け、成分間の関係で可能な状態を絞ります。全ての整合する色分けで否定される候補を除外します。

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

Google Play で見る

形を見分ける

同じ数字の各強リンク成分で反対色を付け、成分間の関係で可能な状態を絞ります。

見つけ方

成分ごとに色を付け、成分をまたぐ衝突と全ての可能状態を見る対象を探します。

できること

全ての整合する色分けで否定される候補を除外します。

見間違いに注意

未確認の強リンクで成分をつなげたり、色を確定数字と扱ったりしません。

ステップごとの解説 · 複雑な色

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

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

ステップ 1 · 開始時の同一状態グループを確認する

「複数成分カラーリング矛盾」は本製品による記述的な独自分類であり、HoDoKu に同名の独立手筋はありません。候補 2 は 4 個の独立したカラーリング成分を作ります。強いリンクに沿って交互に色分けすると、R3C1=2, R8C2=2 は成分 2 の A 側にまとまり、同じ真偽状態を共有します。これらは対象候補 R3C1=2, R8C2=2 と完全に一致します。各成分の A と B は反対状態で、成分間の競合が推論チェーンをつなぎます。

ステップ 2 · 対象の状態を真と仮定する

同一状態のグループ全体 R3C1=2, R8C2=2 を1つの状態として一時的に真と仮定し、成分間の競合をたどります。

ステップ 3 · すべての成分遷移をたどる

1. R3C1=2 が真なので、見える R1C2=2 は偽です。同じグループの反対の A/B 状態 R1C9=2 が真になります。 2. R1C9=2 が真なので、見える R5C9=2 は偽です。同じグループの反対の A/B 状態 R4C7=2, R5C6=2 が真になります。 3. R4C7=2 が真なので、見える R4C4=2 は偽です。同じグループの反対の A/B 状態 R3C4=2 が真になります。 4. R3C4=2 が真なので、見える R3C1=2 は偽です。同じグループの反対の A/B 状態 R8C1=2 が真になります。