Aile UVWXYZ
Une Aile UVWXYZ est une construction ALS-XZ avec exactement six cellules distinctes et six chiffres candidats distincts sur deux ensembles presque verrouillés. Pour des ensembles non chevauchants, la partition de cellules est 5+1, 4+2 ou 3+3. Les ensembles partagent un candidat commun restreint X : chaque occurrence de X dans un ensemble voit chaque occurrence de X dans l'autre, donc X ne peut pas apparaître dans les deux ensembles. Tout autre chiffre partagé Z peut être éliminé d'une cellule extérieure qui voit chaque occurrence de Z dans les deux ensembles.
Qu'est-ce qu'une Aile UVWXYZ ?
Un ensemble presque verrouillé (ALS) consiste en k cellules non résolues dans une seule maison — une ligne, une colonne ou un bloc — dont les candidats combinés contiennent exactement k+1 chiffres distincts. Une Aile UVWXYZ est la spécialisation à six cellules et six chiffres de la règle ALS-XZ : ensemble, ses deux ALS contiennent exactement six cellules distinctes et six chiffres candidats distincts. Pour des ALS non chevauchants, les partitions de cellules possibles sont 5+1 — un ALS à cinq cellules et une cellule bivale ; 4+2 — un ALS à quatre cellules et un ALS à deux cellules ; ou 3+3 — deux ALS à trois cellules. Ce tutoriel utilise la forme 5+1. D'autres constructions à deux ALS peuvent encore satisfaire la règle ALS-XZ, mais ce ne sont pas des Ailes UVWXYZ sauf si elles contiennent exactement six cellules distinctes et six chiffres candidats distincts.
Exemple détaillé
Un exemple détaillé d’un UVWXYZ-Wing : deux ensembles presque verrouillés (ALS) reliés par un candidat commun restreint, prouvant la présence d’un chiffre partagé dans au moins un ensemble.
Étape 1
Considérez ces 6 cases.
Étape 2
Les six cases I2, I3, I5, I7, I8, C8 forment un Aile UVWXYZ. Les cinq cases I2, I3, I5, I7, I8 forment ALS A : cinq cases avec 6 valeurs candidates distinctes. La case bivalente C8 est l'ALS B d'une seule case. Chaque occurrence de 9 dans ALS A voit son occurrence dans ALS B, donc 9 est leur candidat commun restreint (RCC) (I2, I3, I5, I7 ne contiennent pas 9, donc elles ne sont pas directement ciblées ci-dessous, mais elles comptent toujours comme faisant partie de l'ensemble presque verrouillé). - Si 9 est dans ALS A, ALS B perd son degré de liberté et devient un ensemble verrouillé contenant 4. - Si 9 est dans ALS B, ALS A perd son degré de liberté et devient un ensemble verrouillé contenant 4. - Si 9 n'est dans aucun des deux ensembles, les deux ALS deviennent des ensembles verrouillés contenant 4. Dans tous les cas, 4 est garanti présent dans ALS A ou ALS B.
Étape 3
Par conséquent au moins une occurrence du Wing de 4 doit être vraie. Un candidat externe 4 peut être supprimé s'il voit chaque occurrence du Wing de 4 ; quelle que soit l'occurrence vraie, elle entrerait sinon en conflit avec lui.
Cet exemple illustre la forme 5+1 d’un UVWXYZ-Wing : un ALS à cinq cases et un ALS bivalent partageant un candidat commun restreint X et un autre chiffre Z. X ne peut pas figurer dans les deux ensembles, donc Z doit apparaître dans au moins l’un d’eux — ce confinement justifie le retrait de Z de tout candidat qui voit chaque occurrence de Z dans les deux ensembles. Vous pouvez essayer nos grilles de Sudoku gratuites pour vous entraîner avec l’état actuel des candidats visible.
Comment la repérer
Identifiez l'ALS A et l'ALS B, dont les cellules totalisent exactement six et dont l'union contient exactement six chiffres distincts. Listez les candidats de chaque ensemble et trouvez un chiffre partagé X pour lequel toutes les occurrences de X dans A voient toutes les occurrences de X dans B. Trouvez ensuite un autre chiffre partagé Z. Une cible proposée n'est valide que si elle voit chaque occurrence de Z dans les deux ensembles. N'exigez pas que chaque cellule d'un ALS voie chaque cellule de l'autre.
La logique
X ne peut pas apparaître dans les deux ALS, donc au moins un ALS n'utilise pas X. Sans X, cet ALS a exactement autant de chiffres candidats restants que de cellules et doit utiliser chacun d'eux, y compris Z. Donc Z apparaît dans au moins l'un des deux ALS. Toute cellule extérieure qui voit chaque occurrence de Z dans les deux ensembles ne peut pas contenir Z.