Anneau VWXYZ

Un Anneau VWXYZ est une construction ALS-XZ doublement liée avec exactement cinq cellules distinctes et cinq chiffres candidats distincts sur deux ensembles presque verrouillés. Pour des ensembles non chevauchants, la partition de cellules est 4+1 ou 3+2. Les ensembles partagent deux candidats communs restreints distincts, X et Y. Ces restrictions résolvent les deux ALS en ensembles verrouillés. Ici, « Anneau » désigne la paire d'ALS doublement liée, pas un anneau AIC.

Qu'est-ce qu'un Anneau VWXYZ ?

Chaque ALS consiste en k cellules non résolues dans une maison avec exactement k+1 chiffres candidats distincts. Ensemble, les deux ALS contiennent exactement cinq cellules distinctes et cinq chiffres candidats distincts. Pour des ensembles non chevauchants, les partitions de cellules possibles sont 4+1 ou 3+2. Ils partagent deux candidats communs restreints distincts : pour chacun de ces chiffres, chaque occurrence dans un ALS doit voir chaque occurrence dans l'autre. Un candidat commun restreint peut n'apparaître qu'une fois dans un ALS ; plusieurs occurrences ne sont pas requises.

Exemple détaillé

Un exemple détaillé d’un VWXYZ-Ring : deux ensembles presque verrouillés (ALS) reliés par deux candidats communs restreints qui verrouillent les deux ensembles.

Étape 1

Considérez ces 5 cases.

Grille de Sudoku montrant l’étape 1 de l’exemple (Anneau VWXYZ), avec les candidats et cases pertinents mis en évidence.

Étape 2

Les 5 cases D2, G2, H2, I2, G1 forment un Aile VWXYZ doublement lié (ALS-XZ avec 2 RCC). Les 4 cases D2, G2, H2, I2 forment ALS A (détenant les candidats 2, 6, 7, 8 et 9), et la case bivalente G1 est ALS B. Les chiffres 6 et 9 sont deux candidats communs restreints (RCC) : chaque occurrence dans ALS A voit son occurrence dans ALS B. Chaque ALS a 1 degré de liberté et ne peut supporter qu'au plus un RCC, donc les deux RCC se répartissent entre les ensembles — un par ALS. Suivez 6 : - Si 6 est dans ALS A, ALS B (G1) ne peut pas le contenir et devient un ensemble verrouillé contenant 9. - Si 6 est dans ALS B (G1 est 6), ALS A ne peut pas le contenir et devient un ensemble verrouillé contenant 2, 7, 8 et 9 — 9 parmi eux. Il n'y a pas de troisième cas : 6 doit être dans l'un des deux ensembles, donc les deux ALS se résolvent simultanément en ensembles verrouillés et les 5 cases de l'anneau contiennent chaque valeur 2, 6, 7, 8 et 9 exactement une fois.

Grille de Sudoku montrant l’étape 2 de l’exemple (Anneau VWXYZ), avec les candidats et cases pertinents mis en évidence.

Étape 3

Selon la règle ALS-XZ Double Link ({2 RCC}) : - Chaque RCC (6 et 9) peut être éliminé de toute case voyant toutes ses occurrences dans ALS A et ALS B. - Tout chiffre non-RCC confiné à un ALS peut être éliminé des cases voyant toutes ses occurrences dans cet ALS. Par conséquent, supprimez tous les candidats marqués.

Grille de Sudoku après la déduction (Anneau VWXYZ), avec le placement ou les éliminations justifiés mis en évidence.

Cet exemple illustre la forme 4+1 d’un VWXYZ-Ring : un ALS à quatre cases et un ALS bivalent partageant deux candidats communs restreints. Les deux liens verrouillent les deux ensembles, de sorte que chaque chiffre de la construction est utilisé exactement une fois — cette saturation justifie le retrait de chaque chiffre marqué de tout candidat qui voit toutes ses occurrences dans les cases de l’anneau. Vous pouvez essayer nos grilles de Sudoku gratuites pour vous entraîner avec l’état actuel des candidats visible.

Comment le repérer

Listez l'ALS A et l'ALS B — cinq cellules et cinq chiffres distincts au total — et vérifiez deux communs restreints séparés. Pour une élimination RCC, vérifiez la visibilité de toutes les occurrences pertinentes dans les deux ensembles. Pour un autre chiffre verrouillé dans un ALS, vérifiez la visibilité de chaque occurrence de ce chiffre dans cet ALS particulier. Ne remplacez pas ces tests d'occurrences par une règle consistant à voir chaque cellule de l'anneau.

La logique

Quel que soit le commun restreint utilisé par un ALS, l'autre attribution est forcée de sorte que les deux ALS deviennent verrouillés. Les candidats communs restreints peuvent être retirés des cellules qui voient toutes leurs occurrences pertinentes dans les ensembles. Un chiffre non-RCC peut être retiré d'une cellule qui voit toutes ses occurrences dans l'ALS individuel qui doit le contenir.