AIC (Chaînes d'inférence alternées)
AIC signifie Alternating Inference Chains et ce sont des chaînes qui alternent entre les liens forts et faibles à travers le plateau.
Apprendre la techniqueChaînes forcées
Les chaînes forcées testent les deux candidats dans une case et suivent les conséquences de chacun.
Voir la technique en pratique
Parcourez les exemples étape par étape. Chaque étape explique ce que vous voyez sur la grille et pourquoi la déduction tient.
Exemple :
- La case en ligne 1, colonne 7 n'a que deux candidats, 1 et 2. Nous testons les deux et suivons les conséquences.
- Supposons d'abord que la case devient 1. Cette hypothèse force plusieurs autres cases à devenir certains nombres, marqués en bleu.
- Supposons maintenant que la case devient 2 à la place. Cette hypothèse force aussi d'autres cases à devenir certains nombres, marqués en orange.
- L'hypothèse selon laquelle la case est 1 mène à une case sans candidats restants, une contradiction. Par conséquent, 2 doit se trouver ici à la place.
Comment reconnaître le motif
Les chaînes forcées partent d'une case avec exactement deux candidats et testent les deux. Vous suivez les conséquences de chaque candidat à travers la grille, placement par placement, et voyez où les deux hypothèses aboutissent. La technique est la force brute mise en système, et elle est souvent utilisée lorsque toutes les techniques de motif se sont arrêtées.
Deux résultats donnent une déduction valide. Si les deux hypothèses aboutissent à la même conclusion, par exemple que la même case reçoit le même nombre, la conclusion est vraie de toute façon. Et si l'une des hypothèses aboutit à une contradiction, par exemple une case sans candidats, la case doit avoir l'autre candidat.
Procédure étape par étape
- Choisissez une case avec exactement deux candidats.
- Supposez d'abord l'un des candidats et suivez toutes les conséquences forcées, c'est-à-dire les nouveaux singles nus et cachés qui se produisent.
- Répétez avec l'autre candidat.
- Si les deux branches aboutissent au même placement ou à la même suppression, c'est valide de toute façon. Si une branche aboutit à une contradiction, placez l'autre candidat dans la case de départ.
Erreurs courantes
- Mélanger les branches. Les conséquences des deux hypothèses doivent être gardées strictement séparées, sinon vous ne prouvez rien.
- Ne suivre qu'une seule branche et placer le résultat. Sans contradiction dans l'autre branche, une seule branche n'est qu'une supposition.
- Suivre des conséquences qui ne sont pas forcées. Seuls les placements qui suivent par nécessité, comme les singles, peuvent être utilisés dans la chaîne.
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.
Essayez-le sur votre propre grille
Entrez votre grille dans le Solveur de Sudoku, et il trouve l'étape suivante et explique la technique derrière.
Ouvrir le Solveur de Sudoku