XYチェーン
XYチェーンは、強推論ノードが任意の長さの二値セルである開いたAICです。その交互の署名を (a=b)-(b=c)-...-(y=z) と書きます。各等号はセル内の「ちょうど1つ」関係で、各ダッシュは関連セル内の等しい数字間の弱推論です。結論を供給するのは端点定理であり、試しの仮定ではありません。
XYチェーンとは？
二値セル (a=b) では、強リンク（XOR）がちょうど1つの候補を真にします。連続するノードは、ある数字の出ていく出現と次のセルの同じ数字が互いに見えるときのみ接続し、弱推論（NAND）を与えます。両方真にはなれません。数字はノード内で変わり、弱推論を越えては同じままです。関連する可視性なしに数字ラベルを共有するだけではチェーンを接続しません。
解説付きの実例
2値マスの強推論ノードを同一数字の弱推論で結び、両端点間の包含的論理和（OR）を証明するXYチェーンの実例。
ステップ 1
これらのセルを確認してください。
ステップ 2
ハイライトされた候補は開いた XY-Chain (D4:1=2)-(D7:2=9)-(D1:9=4)-(C1:4=3)-(C5:3=1) を形成します。各等号は強リンク (XOR)、各ダッシュは弱推論 (NAND) です。端点定理が D4=1 OR C5=1 を証明します。
ステップ 3
これらはタイプ1同一数字の削除です: A4 と D5 は両方の端点 D4=1 と C5=1 を見ており、チェーンは 1 について D4=1 または C5=1 を証明します。
XYチェーンは2値マスの強リンク（XOR）と同一数字の弱推論（NAND）を交互に並べ、試行仮定なしに両端点間の包含的ORを証明します。この端点関係が共通ピアの消去を正当化します（タイプ1の同一数字消去）。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
二値セルを、連続する各ペアが1つの数字を共有し2つの出現が互いに見えるようにたどります。セルノードを等号で、セル間の弱推論をダッシュで記録します。露出した端点候補は異なる数字を持っても端点定理はなお成り立ちます。ここで教える共通関連削除は同一数字の場合で、ターゲットが両方の端点セルを見てその数字を失います。
論理
最初の端点が偽なら、その二値強リンクがもう一方の候補を真にします。次の弱推論が関連セルの対応する候補を偽にし、遠い端点が真になるまで交互が続きます。よって少なくとも一方の端点が削除数字を含み、両方の場合もあるため、両端点を見るすべての候補を削除できます。これはタイプ1同一数字削除でありAIC端点証明で、フォーシングチェーンの矛盾ではありません。