複数桁のチェーン
複数桁の文脈における強リンクと弱リンク
共役ペアの強リンク(同じ数字、2つのマス)。二値のセル強リンク(同じセル、2つの数字--数字切り替えのためのエンジン)。相互セル弱リンク(同じ数字、共有ハウス)。内部セル弱リンク(同じセル、非二値マス内の異なる候補)。
XYチェーン: 2値セルを通過する
すべての セル は2値です。連続するセルは共通のハウスを持ち、1つの数字を共有します。開始と終了の数字が一致する場合、少なくとも1つの端点にはその数字が含まれている必要があります。両方の端点と接するセルから除外します。 3つのセル XYチェーンはXY-Wingです。レベル10(マスター)。
AIC: 最も一般的なチェーン技法
すべての (セル, 数字) ペアの729ノードグラフ上で動作。強リンクと弱リンクを自由に交互に使用する。 タイプ1:同じ数字、異なるセル -- 両方のセルに接するセルから削除する。 タイプ2:異なる数字、同じセル -- セルから他の候補を削除する。 タイプ3:不連続ループ -- 開始数字を開始セルから削除する。 レベル12(極度の難易度)。
XYチェーン 対 AIC
XYチェーン: 2値のセル強リンクのみ、すべてのマスが2値、タイプ1のみ、レベル10。 AIC: 両方のリンクタイプ、任意のセル、3つの推論タイプ、レベル12。 XYチェーンはセルの特別なAICです。AICははるかに強力ですが、手動で見つけるのははるかに難しいです。
XYチェーンとAICを見つける方法
XYチェーン: 二値セルを特定し、隣接関係マップを作成し、開始/終了の数字が一致するかを検索する。 AIC: 既知の強リンクから開始し、ブリッジセルを探し、有望なチェーンを延長する。コンピュータソルバーは729ノードのグラフ上でBFS/DFSを使用する。
なぜAICが究極のテクニックなのか
多くの単純なテクニックは AIC の特殊なケースです:XY-Wing、スカイスクレーパー、Wウィング、リモートペア。AICのみを実装したソルバーは、多くの名前付きテクニックを再現できます。しかし、単純なテクニックの方が発見が速いため、最初に適用されます。
要約
XYチェーン (レベル10) は二値セルを通過する。AIC (レベル12) は完全なグラフ上で動作する。これらはチェーンベースの解法の頂点を表している。