Sous-ensembles verrouillés

Sous-ensembles verrouillés : N cellules partageant N candidats (nu) ou N chiffres partageant N positions (caché) dans une maison — paires, triplets et quadruples.

Un théorème, toutes les tailles

Un sous-ensemble verrouillé équilibre N objets avec N possibilités dans une maison. En vue cellulaire, N cellules ont une union de N chiffres candidats : un sous-ensemble nu retire ces chiffres des autres cellules de la maison. En vue positionnelle, N chiffres ont une union de N positions : un sous-ensemble caché retire tous les autres candidats de ces cellules.

Paires, triplets et quadruples sont le même théorème pour N = 2, 3 et 4 — un quadruple n'est pas une règle plus avancée, seulement une instance plus grande, plus rare et plus difficile à repérer. Les constructions de poissons apparentées (X-Wing, Swordfish, Jellyfish) appliquent la même comptabilité sur plusieurs maisons et ont leur propre groupe.