AIC（交互チェーン）

パターンの見分け方

AICはAlternating Inference Chainsの略で、強いリンクと弱いリンクの間を交互に変わるチェーンです。強いリンクは、2つの候補の少なくとも1つが正しい必要があることを意味します。たとえばユニット内での数字の唯一の2つの配置、または二値のマス内の2つの候補です。弱いリンクは、同じユニット内の2つの同じ候補のように、最大1つが正しいことを意味します。

チェーンが強い、弱い、強い、弱いと最後まで交互に変わると、両端は通常の強いペアのように振る舞います：少なくとも1つが正しい必要があります。チェーンが同じ数字で始まり終わる場合、数字は両端を見るすべてのマスから削除できます。AICは多くの名前付きテクニックの背後にある一般的な枠組みであり、カラーリングもXY-ウィングも短いAICチェーンとして書くことができます。

ステップバイステップの手順

1. ある数字の強いリンクを見つけ、一方の端をチェーンの開始点とします。
2. 交互にして構築を続けます：強いリンクの後には弱いリンクが続き、弱いリンクの後には新しい強いリンクが来る必要があります。
3. 両端に強いリンクがある、開始と同じ数字の候補に到達するまで続けます。
4. チェーンの両端を見るすべてのマスから数字を削除します。

よくある間違い

• 弱いリンクを2つ続けて使うこと。それでは論理が崩れ、チェーンの端の推論は無価値になります。
• 両端が正解だと思い込むこと。チェーンは両端の少なくとも1つが正しいことだけを証明し、どちらであるかは証明しません。
• 強いリンクを一方向として扱うこと。強いリンクは常に弱いリンクとして使えますが、弱いリンクは決して強いリンクとして使えません。

このテクニックが必要になるのはいつ？

最も難しいパズルには、ボード全体を通じた長い論理チェーンをたどるテクニックが必要です。実際に証拠です：何かを仮定し、結果をたどり、何が成立しないかを見てください。以下の例を、ソルバーがあなた自身のボードで使用するのと同じツールを使用して、ステップバイステップで試してみてください。