共役ペア

きょうやくぺあ

ある行・列・ブロック内で、特定の数字の候補位置がちょうど 2 マスに限定された排他的関係を持つペア。

共役ペア (Conjugate Pair) は、ユニット (行・列・ブロック) 内で特定の数字 X の候補位置が厳密に 2 マスに限定された状態を指す。この 2 マスは「一方が X なら他方は X でない、他方が X なら一方は X でない」という排他関係にあり、強リンクの最も基本的な形である。カラーリングや W-Wing など連鎖系テクニックの土台となる重要概念である。

共役ペアの構造

共役ペアは「特定の数字に対する強リンク」と同義である。例えば、ある行で 5 の候補が 3 列目と 7 列目の 2 マスにしか存在しない場合、この 2 マスは 5 についての共役ペアを形成する。「行に 5 は 1 つだけ」というルールから、必ずどちらか一方が 5 になる。重要なのは、これらのマスの候補が他に何個あるかは関係ない点で、3 列目が候補 {2, 5, 9}、7 列目が候補 {1, 5, 8} であっても、5 については共役ペアとして機能する。

連鎖系テクニックでの活用

共役ペアは数独の上級テクニックの基礎となる。<a href="/ja/glossary/coloring/">カラーリング</a>では複数の共役ペアを連鎖させ、2 色塗り分けで矛盾を発見する。W-Wing では離れた 2 つの双候補マスを共役ペアで結ぶ。X-Wing は 2 つの共役ペアが矩形を形成した特殊形と捉えられる。共役ペアを盤面上で素早く識別する目を養うことが、Expert+ レベルへの突破口である。

発見の効率化

共役ペアを効率的に見つけるには、特定の数字に注目し、各行・各列・各ブロックでその数字の候補が何マスあるかを数える。2 マスのユニットがあれば共役ペアである。盤面に 5-7 個既に配置された数字は候補位置が絞られていることが多く、共役ペアが頻発する。逆に 2-3 個しか配置されていない数字では候補が広く分散し、共役ペアになりにくい。