Anneau TUVWXYZ
Un Anneau TUVWXYZ est une construction ALS-XZ doublement liée avec exactement sept cellules distinctes et sept chiffres candidats distincts sur deux ensembles presque verrouillés. Pour des ensembles non chevauchants, la partition de cellules est 6+1, 5+2 ou 4+3. 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 TUVWXYZ ?
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 sept cellules distinctes et sept chiffres candidats distincts. Pour des ensembles non chevauchants, les partitions de cellules possibles sont 6+1, 5+2 ou 4+3. 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 TUVWXYZ-Ring : deux ensembles presque verrouillés (ALS) reliés par deux candidats communs restreints qui verrouillent les deux ensembles.
Étape 1
Considérez ces 7 cases.
Étape 2
Les 7 cases E4, D5, E5, F5, E6, F6, I5 forment un Aile TUVWXYZ doublement lié (ALS-XZ avec 2 RCC). Les 6 cases E4, D5, E5, F5, E6, F6 forment ALS A (détenant les candidats 1, 2, 3, 5, 6, 7 et 9), et la case bivalente I5 est ALS B. Les chiffres 3 et 5 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 3 : - Si 3 est dans ALS A, ALS B (I5) ne peut pas le contenir et devient un ensemble verrouillé contenant 5. - Si 3 est dans ALS B (I5 est 3), ALS A ne peut pas le contenir et devient un ensemble verrouillé contenant 1, 2, 5, 6, 7 et 9 — 5 parmi eux. Il n'y a pas de troisième cas : 3 doit être dans l'un des deux ensembles, donc les deux ALS se résolvent simultanément en ensembles verrouillés et les 7 cases de l'anneau contiennent chaque valeur 1, 2, 3, 5, 6, 7 et 9 exactement une fois.
Étape 3
Selon la règle ALS-XZ Double Link ({2 RCC}) : - Chaque RCC (3 et 5) 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.
Cet exemple illustre la forme 6+1 d’un TUVWXYZ-Ring : un ALS à six 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 jouer au Sudoku en ligne pour vous entraîner avec l’état actuel des candidats visible.
Comment le repérer
Listez l'ALS A et l'ALS B — sept cellules et sept 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.