AIC（交互推論チェーン）
AICはAlternating Inference Chainsの略で、盤面全体に強いリンクと弱いリンクが交互につながるチェーンです。
テクニックを実践で見る
例をステップバイステップで進めます。各ステップは、ボード上で見ているものと、なぜ推論が成立するのかを説明します。
例：
- マス行3、列8で数字3から始めます。
パターンの見分け方
AICはAlternating Inference Chainsの略で、強いリンクと弱いリンクの間を交互に変わるチェーンです。強いリンクは、2つの候補の少なくとも1つが正しい必要があることを意味します。たとえばユニット内での数字の唯一の2つの配置、または二値のマス内の2つの候補です。弱いリンクは、同じユニット内の2つの同じ候補のように、最大1つが正しいことを意味します。
チェーン全体で強いリンクと弱いリンクが交互に続くと、両端は通常の強いペアと同じように働き、少なくとも一方が真になります。チェーンの始点と終点が同じ数字なら、両端が見えるすべてのマスからその数字を消せます。AICは多くのテクニックに共通する枠組みで、シンプルカラーリングやXY-ウィングも短いAICとして表せます。
ステップバイステップの手順
- ある数字の強いリンクを見つけ、一方の端をチェーンの開始点とします。
- 交互にして構築を続けます：強いリンクの後には弱いリンクが続き、弱いリンクの後には新しい強いリンクが来る必要があります。
- 両端に強いリンクがある、開始と同じ数字の候補に到達するまで続けます。
- チェーンの両端を見るすべてのマスから数字を削除します。
よくある間違い
- 弱いリンクを2つ続けて使うこと。それでは論理が崩れ、チェーンの端の推論は無価値になります。
- 両端が正解だと思い込むこと。チェーンは両端の少なくとも1つが正しいことだけを証明し、どちらであるかは証明しません。
- 強いリンクを一方向として扱うこと。強いリンクは常に弱いリンクとして使えますが、弱いリンクは決して強いリンクとして使えません。
このテクニックが必要になるのはいつ？
最高難度の問題では、盤面全体にまたがる長い論理チェーンをたどります。仮定から結果を追い、成立しないケースを見つける背理法のような考え方です。以下の例を1ステップずつ進め、ソルバーが実際の盤面で使うのと同じ考え方を学びましょう。