ALS (Ensembles presque verrouillés)

Comment reconnaître le motif

ALS signifie Almost Locked Sets. Un ensemble verrouillé est n cases dans la même unité avec au total n candidats, tandis qu'un ensemble presque verrouillé a un candidat de trop, c'est-à-dire n cases avec n+1 candidats. Une seule case avec deux candidats est la plus petite variante. La technique relie deux tels ensembles via un nombre commun.

Le nombre de liaison X doit être limité : toutes les cases avec X dans un ensemble doivent voir toutes les cases avec X dans l'autre, de sorte qu'un seul des ensembles puisse finir par utiliser X. L'ensemble qui perd X devient verrouillé et doit utiliser tous ses nombres restants. Si les ensembles partagent en plus un autre nombre Z, Z est utilisé dans l'un des ensembles de toute façon, et Z peut être supprimé de toutes les cases qui voient tous les candidats Z dans les deux ensembles.

Procédure étape par étape

1. Cherchez deux groupes de cases où chaque groupe se trouve dans une unité et a un candidat de plus que le nombre de cases.
2. Trouvez un nombre commun X où tous les candidats X d'un groupe voient tous les candidats X de l'autre.
3. Trouvez un autre nombre commun Z qui se trouve dans les deux groupes.
4. Supprimez Z de toutes les cases en dehors des groupes qui voient tous les candidats Z dans les deux groupes.

Erreurs courantes

• Compter les candidats de façon erronée. Le nombre de candidats différents dans le groupe doit être exactement un de plus que le nombre de cases, sinon l'ensemble n'est pas presque verrouillé.
• Utiliser un nombre de liaison qui n'est pas limité. Si tous les candidats X d'un ensemble ne voient pas tous ceux de l'autre, les deux ensembles peuvent utiliser X, et la logique échoue.
• Supprimer Z des cases qui ne voient que certains des candidats Z. La suppression exige la vue sur chaque candidat Z dans les deux ensembles.

Quand avez-vous besoin de la technique ?

Les grilles les plus difficiles nécessitent des techniques qui suivent de longues chaînes logiques à travers tout le plateau. Ce sont en pratique des preuves : supposez quelque chose, suivez les conséquences et voyez ce qui ne peut pas être correct. Essayez les exemples ci-dessous, étape par étape, avec les mêmes outils que le solveur utilise sur votre propre plateau.