数独の交互推論チェーン（AIC）

AICは候補命題を強リンクと弱リンクで交互につなぎます。各推論を検証し、端点の関係から推測なしで候補を除外します。

定義と成立条件

強リンクは両方が偽になれない関係、弱リンクは両方が真になれない関係です。AICでは有効な推論として交互に並べます。

盤面全体の例

5-R1C2-3-R1C4=3=R3C4=9=R7C4=2=R7C2-2-R8C3-5により、R1C2かR8C3の少なくとも一方が5です。両端を見るR1C3から5を削除できます。

見つけ方

有用な強リンクから始め、弱・強を交互にたどります。各ノードの候補と端点の可視関係を確認します。

成立する理由

Type 1の開いたAICでは、同じ数字の端点の少なくとも一方が真です。両端を見る外部セルからその数字を除けます。

似たテクニックとの関係

AICとNice Loopは近い推論体系です。弱リンクを根拠なく連続させたり、単なる可視関係を強リンクと扱ったりしないでください。

まとめ

形ではなく、各リンクと端点が証明する関係を使います。

よくある質問

AICとは？

強リンクと弱リンクが交互に並ぶ候補推論の列です。

AICは仮定ですか？

いいえ。各段階は候補制約から導かれます。

Type 1 AICは何を消しますか？

両端を見るセルから端点と同じ数字を消します。