3Dメデューサ
3Dメデューサは複数の次元での色付けです：チェーンは同じ数字を持つマスと同じマス内の2つの候補の両方を接続します。
テクニックを実践で見る
例をステップバイステップで進めます。各ステップは、ボード上で見ているものと、なぜ推論が成立するのかを説明します。
例：
- シンプルカラーリングと同じように候補のネットワークを作ります。ただし今回は、1つだけでなく複数の数字にまたがります。
パターンの見分け方
3Dメデューサは複数の次元でのカラーリングです。シンプルカラーリングが1つの数字に対してマスを連結するだけなのに対し、メデューサは正確に2つの候補を持つマス内の2つの候補も連結します。そのような二値のマスは数字間の橋として機能し、その結果、2色の候補の1つの大きなネットワークになります。
数字が違っても、同じ色の候補は連動します。青がすべて正解か、オレンジがすべて正解かのどちらかです。同じユニットに同じ数字が2つ入る、または同じマスで矛盾するなど、一方の色で矛盾が起きれば、その色はすべて誤りとして候補から消せます。矛盾がなくても、両方の色から排除される候補は消せます。
ステップバイステップの手順
- シンプルカラーリングと同様に、数字と強いリンクで始め、2つの候補にそれぞれ色を付けます。
- すべての強いリンクを通じてネットワークを拡張し、二値のマスを使って数字間をジャンプします：マスが2つの候補だけを持つ場合、それらは反対の色を得ます。
- いずれかの色に矛盾を探します。見つけた場合、その色のすべての候補を削除し、反対の色を配置します。
- 矛盾が見つからない場合、同じ数字の色付き候補を見て、同時にもう一方の色とマスを共有する候補を削除します。
よくある間違い
- 3つの候補を持つマスを介して数字間をジャンプすること。2つの数字の間の橋には正確に2つの候補を持つマスが必要です。
- 色を正解として扱うこと。色は仮説であり、矛盾がなければどれが正しいかはわかりません。
- 色付けのステップを1つ失うこと。ネットワークはすぐに大きくなるため、色を頭の中で保持する代わりに候補ノートにメモします。
このテクニックが必要になるのはいつ？
エクストリーム問題では、3つ以上のマスを「もし〜なら」という論理で結ぶテクニックが必要です。以下の例を1ステップずつ進め、ソルバーが実際の盤面で使うのと同じ考え方を学びましょう。