ツー・ストリング・カイト
2-ストリングカイトは、2ノードXチェーンの行＋列形です。ある数字について、行の強推論ノードと列の強推論ノードが(A=B)-(C=D)を形成します。ダッシュは共有ブロックを通る弱推論です。このチェーンはAまたはDを証明し、両方の端点を見る候補からの消去を可能にします。
ツー・ストリング・カイトとは？
カイトを(A=B)-(C=D)と書きます。A=Bは行の強リンク（XOR）で、C=Dは列の強リンク（XOR）です。各領域は表された側の少なくとも1つにその数字を配置しなければなりません。接続された側BとCはブロック内にあり、両方ともその数字を含めず、弱推論（NAND）B-Cが得られます。strmckrのシグネチャシステムでは、ノード側は単一または正しく根拠付けられたグループ化された選択肢になれます。
解説付きの実例
(A=B)-(C=D) と表記される2ストリングカイトの実例：行と列の強推論がブロック内の弱推論で結ばれています。
ステップ 1
行 1 と 列 2 の 1 について2ノードXチェーンを確認してください。
ステップ 2
チェーンを (E1=C1)-(B3=B8) と書きます。各等号は強リンク (XOR) です: 行 1 では E1 と C1 のちょうど一方が 1 を含み、列 2 では B3 と B8 のちょうど一方が 1 を含みます。 ダッシュは弱推論 (NAND) です: C1 と B3 はこのブロックで互いに見えるため、両方が 1 を含むことはできません。 E1 が偽なら、C1 は真、B3 は偽、B8 は真です。したがって端点は E1 または B8 を満たします: 少なくとも一方が 1 を含み、両方の場合もあります。
ステップ 3
これはタイプ1同一数字の削除です: E1 または B8 が 1 について証明されたため、両方の端点を見るすべての候補から 1 を削除します。
行と列のシグネチャ (A=B)-(C=D) は、ブロック内の弱推論（NAND）を介して2つの強リンク（XOR）を結び、A OR D を証明します。この端点関係により、両端から見える候補からその数字を消去できます（タイプ1の同一数字消去）。現在の候補状態を表示したまま練習するには、無料の数独パズルに挑戦することができます。
見つけ方
ある数字について、根拠付けられた行の強推論と列の強推論を見つけます。行ノードの片側と列ノードの片側がブロックを共有し、普遍的に矛盾するか確認します。それが弱推論です。接続されていない側AとDが端点です。両方の端点が表すすべての候補を見るターゲットからのみその数字を取り除きます。
消せる理由
Aが偽なら、行の強リンクがBを真にします。ブロックの弱推論B-CがCを偽にし、列の強リンクがDを真にします。したがってAまたはDが真で、両方の可能性もあります。両方の端点と矛盾する候補は取り除けます。これは同一数字のタイプ1消去です。スカイスクレイパーは同じ2ノード定理を持ちますが、代わりに2つの平行行ノードまたは2つの平行列ノードを使用します。