TUVWXYZ-リング

TUVWXYZ-リングは、2つのほぼロックセットにわたってちょうど7つの異なるマスと7つの異なる候補数字を持つ、二重リンクのALS-XZ構造です。重ならないセットでは、マス数の分割は6+1、5+2、または4+3です。セットは2つの異なる制限共通候補XとYを共有します。これらの制限により、両方のALSがロックされたセットに解決します。ここでの「リング」は、AICリングではなく、二重にリンクされたALSペアを指します。

TUVWXYZ-リングとは?

各ALSは、1つの領域内のk個の未解決マスで、ちょうどk+1個の異なる候補数字を持ちます。合わせて、2つのALSはちょうど7つの異なるマスと7つの異なる候補数字を含みます。重ならないセットでは、可能なマス数の分割は6+1、5+2、または4+3です。それらは2つの異なる制限共通候補を共有します。これらの数字のそれぞれについて、一方のALSのすべての出現が他方のALSのすべての出現を見なければなりません。制限共通候補はALSで1回しか現れられません。複数の出現は必要ありません。

解説付きの実例

TUVWXYZ-Ringの実例:両方の集合をロックする2つの制限付き共通候補(RCC)で結ばれた2つのAlmost Locked Set(ALS)。

ステップ 1

これら7つのセルを確認してください。

TUVWXYZ-リングの実例ステップ1を示す数独盤面。関連する候補とマスがハイライトされている。

ステップ 2

7つのセル E4, D5, E5, F5, E6, F6, I5 は二重リンクの TUVWXYZ-ウィング (2つのRCCを持つ ALS-XZ) を形成します。 6つのセル E4, D5, E5, F5, E6, F6 は ALS A (候補 1, 2, 3, 5, 6, 7 と 9 を保持) を形成し、二値セル I5 は ALS B です。数字 3 と 5 は2つの制限共通候補 (RCC) です: ALS A でのすべての出現は ALS B でのその出現を見ています。 各 ALS は1の自由度を持ち、高々1つの RCC しか支えられないため、2つの RCC はセット間に分かれます — ALS ごとに1つです。3 を追います: - 3 が ALS A にあれば、ALS B (I5) はそれを含めず、5 を含むロックセットになります。 - 3 が ALS B にあれば (I5 が 3)、ALS A はそれを含めず、1, 2, 5, 6, 7 と 9 を含むロックセットになります — その中に 5 があります。 第3の場合はありません: 3 は2つのセットの一方になければならず、したがって両方の ALS が同時にロックセットに解決し、7個のリングセルは各値 1, 2, 3, 5, 6, 7 と 9 をちょうど1回ずつ含みます。

TUVWXYZ-リングの実例ステップ2を示す数独盤面。関連する候補とマスがハイライトされている。

ステップ 3

ALS-XZ ダブルリンクルール ({2 RCC}) の下で: - 各 RCC (3 と 5) は、ALS A と ALS B の両方にわたるそのすべての出現を見る任意のセルから削除できます。 - 1つの ALS に限定された非RCC数字は、その ALS 内のそのすべての出現を見るセルから削除できます。 したがって、マークされたすべての候補を削除します。

TUVWXYZ-リングの推論後の数独盤面。正当化された配置または消去がハイライトされている。

この実例はTUVWXYZ-Ringの6+1形(6マスALSと2値ALSが2つの制限付き共通候補を共有する構造)を示しています。2つのリンクが両集合をロックするため、構造内の各数字はちょうど1回ずつ使われます。この飽和により、リング内のすべての出現から見える候補から対象数字を消去できます。現在の候補状態を表示したまま練習するには、数独を無料でプレイことができます。

見つけ方

ALS AとALS B — 合計7マスと7つの異なる数字 — を列挙し、2つの別々の制限共通を確認します。RCC消去では、両方のセットにわたるすべての関連出現への可視性を確認します。1つのALSにロックされた別の数字では、その特定のALS内のその数字のすべての出現への可視性を確認します。これらの出現テストを、リング内のすべてのマスを見るルールに置き換えないでください。

論理

一方のALSがどちらの制限共通を使用しても、もう一方の割り当てが強制され、両方のALSがロックされます。制限共通候補は、セットにわたるすべての関連出現を見るマスから取り除けます。非RCC数字は、それを含まなければならない個々のALS内のすべての出現を見るマスから取り除けます。