Gesperrte Teilmengen

Gesperrte Teilmengen: N Zellen, die N Kandidaten teilen (naked), oder N Ziffern, die N Positionen teilen (hidden) innerhalb einer Einheit — Paare, Drillinge und Quadrupel.

Ein Theorem, alle Größen

Eine gesperrte Teilmenge balanciert N Objekte mit N Möglichkeiten innerhalb einer Einheit. In der Zellensicht haben N Zellen eine Vereinigung von N Kandidatenziffern: eine naked Teilmenge entfernt diese Ziffern aus den anderen Zellen der Einheit. In der Positionssicht haben N Ziffern eine Vereinigung von N Positionen: eine hidden Teilmenge entfernt alle anderen Kandidaten aus diesen Zellen.

Paare, Drillinge und Quadrupel sind dasselbe Theorem bei N = 2, 3 und 4 — ein Quad ist keine fortgeschrittenere Regel, nur eine größere Instanz, die seltener ist und schwerer zu erkennen. Die verwandten Fish-Konstruktionen (X-Wing, Swordfish, Jellyfish) wenden dieselbe Buchhaltung über mehrere Einheiten an und haben ihre eigene Gruppe.