Ailes ALS-XZ

Constructions d'ensembles presque verrouillés liées par des candidats communs restreints : de l'Aile XY à l'Aile TUVWXYZ, plus les formes en anneau doublement liées.

Ensembles presque verrouillés, reliés par des communs restreints

Un ensemble presque verrouillé (ALS) est un fragment de maison de N cellules avec N+1 candidats. Quand deux tels ensembles partagent un candidat commun restreint (RCC) — un chiffre qui ne peut pas apparaître dans les deux ensembles à la fois — chaque ensemble est forcé de se fixer sur ses autres chiffres là où le RCC est absent, de sorte qu'un chiffre commun aux deux peut être retiré des cellules qui voient chaque position possible. Les ailes nommées sont toutes des instances de cette unique règle ALS-XZ à des tailles d'ensembles croissantes — chaque aile nommée fixe exactement N cellules avec N chiffres distincts sur ses deux ALS.

Dans une paire doublement liée, les deux ensembles partagent deux RCC, ce qui produit des éliminations supplémentaires et des conséquences d'ensembles verrouillés ; l'anneau dans des noms comme Anneau WXYZ signifie exactement cela — deux RCC — et non un AIC fermé. La cellule visuellement centrale dans les guides n'est qu'une aide au repérage : les opérandes de la preuve sont les ensembles ALS, le RCC et la condition de visibilité universelle pour chaque cible.