スカイスクレイパー
スカイスクレイパーは、2ノードXチェーンの平行領域形です。ある数字について、2つの行ノードまたは2つの列ノードが(A=B)-(C=D)を形成します。等号は強推論で、ダッシュは垂直領域を通る弱推論です。このチェーンはAまたはDを証明し、両方の端点を見る候補からの消去を可能にします。
スカイスクレイパーとは？
スカイスクレイパーは、平行な行または平行な列で2つの同一数字バイローカルノードを使用します。(A=B)-(C=D)と書きます。各ベース領域にはその数字の位置がちょうど2つあり、2つの強リンク（XOR）A=BとC=Dが得られます。接続された候補BとCは垂直領域を共有し、両方とも真にはなれず、弱推論（NAND）B-Cが得られます。これは、2つのシャム・サシミX-ウィングのAIC表現でもあります。
解説付きの実例
(A=B)-(C=D) と表記されるスカイスクレイパーの実例：平行な2つの領域内の強推論が、直交する領域内の1つの弱推論で結ばれています。
ステップ 1
行 1 と 行 6 の 8 について2ノードXチェーンを確認してください。
ステップ 2
チェーンを (D1=B1)-(B6=F6) と書きます。各等号は強リンク (XOR) です: 行 1 では D1 と B1 のちょうど一方が 8 を含み、行 6 では B6 と F6 のちょうど一方が 8 を含みます。 ダッシュは弱推論 (NAND) です: B1 と B6 はこの列で互いに見えるため、両方が 8 を含むことはできません。 D1 が偽なら、B1 は真、B6 は偽、F6 は真です。したがって端点は D1 または F6 を満たします: 少なくとも一方が 8 を含み、両方の場合もあります。
ステップ 3
これはタイプ1同一数字の削除です: D1 または F6 が 8 について証明されたため、両方の端点を見るすべての候補から 8 を削除します。
平行領域のシグネチャ (A=B)-(C=D) は、2つの強リンク（XOR）と1つの弱推論（NAND）によって端点の包含的論理和 A OR D を証明します。視覚的な屋根の形ではなくこのAIC関係こそが、両端点から見える候補からその数字を消去できる根拠です（タイプ1の同一数字消去）。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
ある数字について、それぞれちょうど2つの候補位置を持つ2行を見つけるか、転置した列形を使用します。各強推論ノードの片側が同じ垂直領域を共有することを確認します。このペアが弱推論を提供します。他の側が端点AとDです。両方の端点を見るターゲットからのみその数字を取り除きます。
消せる理由
Aが偽なら、A=Bが強リンクなのでBは真です。B-Cが弱推論なのでCは偽で、C=DでDが真になります。したがってAまたはDが真で、両方の可能性もあります。両方の端点を見る同一数字の候補はすべて取り除けます。これは同一数字のタイプ1消去です。行と列を交換しても証明は変わりません。