3ノードXチェーン
3ノードXチェーン — 伝統的に3 Strong Linksとしてリストされ、strmckrのシグネチャシステムではL(1)-ウィングと呼ばれるもの — は一般的な長さ3の同一数字AICです。そのシグネチャは(A=B)-(C=D)-(E=F)：2つの弱推論で接続された3つの強推論ノードです。このチェーンは包括的な端点関係AまたはFを証明します。
3ノードXチェーンとは？
構造を(A=B)-(C=D)-(E=F)と書きます。各等号は網羅的な選択肢間の強リンク（XOR）で、各ダッシュは接続された側が両方とも真になれない弱推論（NAND）です。リンクタイプ0〜3の長さ3の同一数字チェーンはすべてL(1)-ウィングです。平行線、行列入れ替わり、グループ化された形は同じクラスに属します。デュアル・エンプティ・レクタングル、レクト・カイト、ブリッジド・エンプティ・レクタングルなどの名前付きサブクラスは特定のERiリンクシーケンスを要求します。領域の配置だけではこれらの名前を正当化しません。
解説付きの実例
(A=B)-(C=D)-(E=F) と表記され、端点の包含的論理和 A OR F を証明する3ノードXチェーンの実例。
ステップ 1
これら6つのセルを確認してください。
ステップ 2
3 の3ノードXチェーンを (G1=G4)-(I6=I8)-(A8=C7) と書きます。3つの等号は 列 7, 列 9 と ブロック 7 の強リンク (XORノード) です。2つのダッシュは ブロック 6 と 行 8 の弱推論 (NAND制約) G4-I6 と I8-A8 です。 G1 が偽なら、交互の推論により G4 が真、I6 が偽、I8 が真、A8 が偽、C7 が真になります。したがって端点は G1 または C7 を満たします: 少なくとも一方が 3 を含み、両方の場合もあります。
ステップ 3
これはタイプ1同一数字の削除です: G1 または C7 が 3 について証明されたため、両方の端点を見るすべての候補から 3 を削除します。
一般シグネチャ (A=B)-(C=D)-(E=F) は3つの強リンク（XOR）と2つの弱推論（NAND）を与え、内部の割り当てを1つに定めることなく A OR F を証明します。この端点関係から共通ピアの消去が導かれます（タイプ1の同一数字消去）。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
ある数字について、3つの根拠付けられた強推論ノードを特定し、弱推論B-CとD-Eを確認します。候補の命題と関係がチェーンを定義します。見慣れた絵ではありません。外側の側AとFが端点で、ターゲットは両方を見なければなりません。
消せる理由
Aが偽なら、交互推論がBを真、Cを偽、Dを真、Eを偽、Fを真にします。したがってAまたはFが真で、両方の可能性もあります。両方の端点を見る同一数字の候補はすべて取り除けます。これは同一数字のタイプ1消去です。この定理は、オープンチェーンの一意の内部割り当てを主張しません。