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.
Aile XY
Trois cellules bivale utilisant trois chiffres distincts, formant une construction ALS-XZ avec une preuve AIC équivalente.
Continuer la lecture
Aile XYZ
Une cellule trivale et deux cellules bivale formant une construction ALS-XZ, le chiffre d'élimination étant présent comme candidat dans les trois.
Continuer la lecture
Aile WXYZ
Deux ALS couvrant quatre cellules distinctes et quatre chiffres candidats distincts, reliés par un RCC.
Continuer la lecture
Anneau WXYZ
Deux ALS couvrant quatre cellules distinctes et quatre chiffres candidats distincts, reliés par deux RCC.
Continuer la lecture
Aile VWXYZ
Deux ALS couvrant cinq cellules distinctes et cinq chiffres candidats distincts, reliés par un RCC.
Continuer la lecture
Anneau VWXYZ
Deux ALS couvrant cinq cellules distinctes et cinq chiffres candidats distincts, reliés par deux RCC.
Continuer la lecture
Aile UVWXYZ
Deux ALS couvrant six cellules distinctes et six chiffres candidats distincts, reliés par un RCC.
Continuer la lecture
Anneau UVWXYZ
Deux ALS couvrant six cellules distinctes et six chiffres candidats distincts, reliés par deux RCC.
Continuer la lecture
Aile TUVWXYZ
Deux ALS couvrant sept cellules distinctes et sept chiffres candidats distincts, reliés par un RCC.
Continuer la lecture
Anneau TUVWXYZ
Deux ALS couvrant sept cellules distinctes et sept chiffres candidats distincts, reliés par deux RCC.
Continuer la lectureEnsembles 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.