ALS-XZウィング

制限共通で接続されたほぼロックセット

ほぼロックセット（ALS）は、N+1個の候補を持つNマスの領域フラグメントです。2つのこのようなセットが制限共通候補（RCC）— 両方のセットに同時に現れられない数字 — を共有すると、RCCが欠けているところでは各セットが他の数字に確定するよう強制され、両方に共通する数字を、すべての可能な位置を見るマスから取り除けます。名前付きウィングはすべて、この1つのALS-XZルールの、セットサイズが大きくなるインスタンスです — 各名前付きウィングは、その2つのALSにわたって正確にN個の異なる数字を持つNマスを固定します。

二重にリンクされたペアでは、2つのセットが2つのRCCを共有し、追加の消去とロックセットの帰結を生みます。WXYZ-リングのような名前のリングは、まさにそれ — 2つのRCC — を意味し、閉じたAICではありません。ガイドで視覚的に中心的なマスは、見つけやすくするための補助にすぎません。証明のオペランドはALSセット、RCC、および各ターゲットの普遍的な可視性条件です。