2ノードXチェーン（エンプティ・レクタングル — 最小）
2ノードXチェーン — 伝統的に2 Strong Linksとしてリストされるもの — は一般的な長さ2の同一数字AICです。そのシグネチャは(A=B)-(C=D)：弱推論で接続された2つの強推論ノードです。このチェーンは包括的な端点関係AまたはDを証明し、両方の端点を見るすべての候補からその数字を取り除けます。
2ノードXチェーンとは？
構造を(A=B)-(C=D)と書きます。各等号は強リンク（XORノード）です。少なくとも片側が真で、通常の領域内2位置ノードでは、側は相互排他的でもあります。ダッシュは弱推論（NAND）で、BとCが両方とも真にはなれないことを意味します。ノードの領域は行、列、ブロックの任意の組み合わせになれます。橋の絵ではなく、論理的関係がチェーンを定義します。
解説付きの実例
(A=B)-(C=D) と表記される2ノードXチェーンの実例：2つの強推論と1つの弱推論により、両端点の共通ピアから候補を消去します。
ステップ 1
行 4 と ブロック 7 の 2 について2ノードXチェーンを確認してください。
ステップ 2
チェーンを (G4=C4)-(C8=B7) と書きます。各等号は強リンク (XOR) です: 行 4 では G4 と C4 のちょうど一方が 2 を含み、ブロック 7 では C8 と B7 のちょうど一方が 2 を含みます。 ダッシュは弱推論 (NAND) です: C4 と C8 はこの列で互いに見えるため、両方が 2 を含むことはできません。 G4 が偽なら、C4 は真、C8 は偽、B7 は真です。したがって端点は G4 または B7 を満たします: 少なくとも一方が 2 を含み、両方の場合もあります。
ステップ 3
これはタイプ1同一数字の削除です: G4 または B7 が 2 について証明されたため、両方の端点を見るすべての候補から 2 を削除します。
シグネチャ (A=B)-(C=D) は2つの強リンク（XOR）と1つの弱推論（NAND）を与え、端点の包含的論理和 A OR D を証明します。この関係により、両端点から見える候補からその数字を消去できます（タイプ1の同一数字消去）。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
ある数字について、2つの根拠付けられた強推論ノードを見つけ、それぞれの片側を有効な弱推論で接続します。接続されていない側AとDが端点です。ターゲットは両方の端点と矛盾する場合にのみ有効です。スカイスクレイパーと2-ストリングカイトは、この一般的な2ノードXチェーンの名前付き領域シグネチャ制限です。
消せる理由
Aが偽なら、最初の強リンクがBを真にします。弱推論がCを偽にし、2番目の強リンクがDを真にします。よってAまたはDが真です。少なくとも1つの端点がその数字を含み、両方の可能性もあります。両方の端点を見る候補は、どちらの端点が真でも矛盾するため、取り除けます。これは同一数字のタイプ1消去です。