AIC (Chaînes d'inférence alternées)

Comment reconnaître le motif

AIC signifie Alternating Inference Chains, des chaînes qui alternent entre les liens forts et faibles. Un lien fort signifie qu'au moins l'un des deux candidats doit être correct, par exemple les deux seuls placements d'un nombre dans une unité, ou les deux candidats dans une case bivalente. Un lien faible signifie qu'au maximum l'un peut être correct, comme deux candidats identiques dans la même unité.

Lorsque la chaîne alterne fort, faible, fort, faible tout du long, les extrémités se comportent comme une paire forte ordinaire : au moins l'une d'elles doit être correcte. Si la chaîne commence et se termine par le même nombre, le nombre peut être supprimé de toutes les cases qui voient les deux extrémités. AIC est le cadre général derrière de nombreuses techniques nommées, et le coloriage comme XY-Wing peuvent s'écrire sous forme de courtes chaînes AIC.

Procédure étape par étape

1. Trouvez un lien fort pour un nombre et laissez l'une des extrémités être le point de départ de la chaîne.
2. Continuez à construire en alternant : après un lien fort suit un faible, et après un faible doit venir un nouveau fort.
3. Continuez jusqu'à ce que vous atteigniez un candidat avec le même nombre que le début, avec un lien fort aux deux extrémités.
4. Supprimez le nombre de toutes les cases qui voient les deux extrémités de la chaîne.

Erreurs courantes

• Utiliser deux liens faibles l'un après l'autre. La logique se casse alors, et la déduction à l'extrémité de la chaîne est sans valeur.
• Croire que les extrémités sont la solution. La chaîne ne prouve que qu'au moins l'une des extrémités est correcte, pas laquelle d'elles.
• Traiter un lien fort comme unidirectionnel. Un lien fort peut toujours être utilisé comme faible, mais un faible ne peut jamais être utilisé comme fort.

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.