Platon Sudoku · Apprendre le sudoku
Coloriage simple (Simple Coloring) · Exemple étape par étape
Un réseau connecté de liens d'inférence forts pour un chiffre possède deux états de vérité logiques opposés, A et B. Soit A est vrai, soit B est vrai. Supprimez un chiffre candidat vu par les deux états de vérité logique (piège de couleur), ou supprimez chaque chiffre candidat dans un état de vérité logique dont les deux membres se voient (conflit de couleur).
Ce cours est adapté des leçons de l’application Platon Sudoku. Lisez ici l’exemple complet, puis poursuivez l’apprentissage et la pratique dans l’application.
Voir sur Google PlayReconnaître le modèle
Un réseau connecté de liens d'inférence forts pour un chiffre possède deux états de vérité logiques opposés, A et B. Soit A est vrai, soit B est vrai.
Comment le trouver
Commencez par une région contenant exactement deux chiffres candidats pour un chiffre, puis alternez A et B sur chaque lien d'inférence fort connecté.
Ce qu'il permet
Supprimez un chiffre candidat vu par les deux états de vérité logique (piège de couleur), ou supprimez chaque chiffre candidat dans un état de vérité logique dont les deux membres se voient (conflit de couleur).
Évitez les confusions
Colorez uniquement les chiffres candidats joints par des liens d’inférence forts vérifiés. Une couleur partagée est un état de vérité logique hypothétique, et non une réponse placée.
Exemple étape par étape · Piège à couleurs
Cet exemple part d’une position intermédiaire enregistrée. Les candidats intègrent des éliminations logiques antérieures et ne sont pas des notes automatiques nouvellement générées.
Bleu : indices. Vert : conclusion. Chiffres barrés : candidats éliminés. R1C1 signifie ligne 1, colonne 1.
Étape 1 · Trouver le premier lien d'inférence fort
Dans bloc 1, 4 ne peut aller que dans R1C3 ou R3C2. Ces chiffres candidats appartiennent au même composant colorant et sont marqués d'un cercle A et d'un carré B ; A et B sont des états de vérité logiques opposés.
● 1A: R1C3=4
■ 1B: R3C2=4
Étape 2 · Suivez les liens d'inférence forts
Continuez à travers chaque lien d’inférence fort connecté pour 4. Au sein de ce composant, chaque lien rejoint A marqué en cercle et B marqué en carré, les deux états de vérité logiques opposés.
● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
Étape 3 · Complétez le réseau de couleurs
Étape 4 · Comprendre les deux états de vérité logiques
Soit tous les A sont vrais et tous les B faux, soit tous les B sont vrais et tous les A faux. Il n’est pas nécessaire de savoir lequel de ces états est le bon.
● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
Étape 5 · Trouver une cible qui voit A et B
R8C5=4 voit A à R3C5=4 et B à R8C3=4. Quel que soit l’état de vérité logique qui soit vrai, l’un de ces deux chiffres candidats exclut la cible.
● 1A: R1C3=4, R3C5=4
■ 1B: R3C2=4, R8C3=4
Étape 6 · Supprimer le chiffre candidat piégé
Ce qu'il permet
Étant donné que chaque cible voit les deux états de vérité logiques possibles, supprimez R8C5=4.
Exemple étape par étape · Conflit de même couleur
Cet exemple part d’une position intermédiaire enregistrée. Les candidats intègrent des éliminations logiques antérieures et ne sont pas des notes automatiques nouvellement générées.
Bleu : indices. Vert : conclusion. Chiffres barrés : candidats éliminés. R1C1 signifie ligne 1, colonne 1.
Étape 1 · Trouver le premier lien d'inférence fort
Dans rangée 1, 1 ne peut aller que dans R1C3 ou R1C4. Ces chiffres candidats appartiennent au même composant colorant et sont marqués d'un cercle A et d'un carré B ; A et B sont des états de vérité logiques opposés.
● 1A: R1C3=1
■ 1B: R1C4=1
Étape 2 · Suivez les liens d'inférence forts
Continuez à travers chaque lien d’inférence fort connecté pour 1. Au sein de ce composant, chaque lien rejoint A marqué en cercle et B marqué en carré, les deux états de vérité logiques opposés.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Étape 3 · Complétez le réseau de couleurs
Ces chiffres candidats 5 forment un réseau connecté. Chaque lien d'inférence fort relie A à B, de sorte que tous les chiffres candidats A partagent un état de vérité logique et tous les chiffres candidats B partagent l'autre.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Étape 4 · Trouver le conflit d'état de vérité de même logique
R1C4=1 et R4C4=1 sont tous deux dans l'état de vérité logique B et se voient. Ils ne peuvent pas tous les deux être 1, donc l’état de vérité logique B est impossible.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Étape 5 · l'état de vérité logique B est impossible
Le conflit exclut tout l’état de vérité logique B. Rayez ensemble tous les chiffres candidats de l’état de vérité logique-B : R1C4=1, R4C4=1, R6C3=1.
● 1A: R1C3=1, R4C2=1
■ 1B: R1C4=1, R4C4=1, R6C3=1
Étape 6 · Supprimer l'état de vérité logique conflictuel
Ce qu'il permet
Supprimez les chiffres candidats de l'état de vérité logique B : R1C4=1, R4C4=1, R6C3=1.
Entraînement
Ce cours est adapté des leçons de l’application Platon Sudoku. Lisez ici l’exemple complet, puis poursuivez l’apprentissage et la pratique dans l’application.
Voir sur Google Play