AICチェーン
オープンな交互推論チェーン（AIC）：強推論ノードとして接続された網羅的な選択肢で、連続するノードは弱推論で結ばれます。このグループは同一数字Xチェーンと二値マスXYチェーンを扱います。
スカイスクレイパー
平行な行または列の強推論を持つ2ノードXチェーン。
続きを読む
ツー・ストリング・カイト
ブロックを通じて結ばれた行と列の強推論を持つ2ノードXチェーン。
続きを読む
2ノードXチェーン（エンプティ・レクタングル — 最小）
一般的な同一数字シグネチャ(A=B)-(C=D)。
続きを読む
エンプティ・レクタングル
エンプティ・レクタングル（ERI）グループ化強リンクを持つ2ノードXチェーン。
続きを読む
3ノードXチェーン
一般的なL(1)-ウィングシグネチャ(A=B)-(C=D)-(E=F)。
続きを読む
グループ化3ノードXチェーン
1つ以上のグループ化された側を持つ一般的なL(1)-ウィング。
続きを読む
4+ノードXチェーン
4つ以上の強推論ノードを持つ、開いた単一数字交互推論チェーン（AIC）。
続きを読む
XYチェーン
二値セルを通る開いた交互推論チェーン。
続きを読む交互推論チェーンが消去を証明する方法
オープンAICを(A=B)-(C=D)-...-(Y=Z)と書きます。各等号は網羅的な選択肢間の強推論です。片方が偽なら、もう片方は真です。各ダッシュは弱推論です。その接続された側は両方とも真にはなれません。これらの関係を交互にすることで、包括的な端点の選言AまたはZが証明されます。一意の内部割り当ては選択しません。
ターゲットは、両方の端点が表すすべての候補と矛盾する場合にのみ取り除けます。グループ化された側は選言であり、各弱推論で普遍的な非両立性を要求します。スカイスクレイパーと2-ストリングカイトは2ノードXチェーンの領域シグネチャを制限します。長さ3の同一数字チェーンはシグネチャ(A=B)-(C=D)-(E=F)のL(1)-ウィングで、平行線、行列入れ替わり、グループ化された形を含みます。これらは1つの構造のバリアントであり、個別の名前付きテクニックではありません。デュアル・エンプティ・レクタングル、レクト・カイト、ブリッジド・エンプティ・レクタングルなどのERiベースのサブクラスは、それぞれ固有のリンクシグネチャを要求します。XYチェーンは二値マスノードを使用し、XY-ウィングの同等のAIC解釈はALS-XZウィンググループで教えられます。