Français

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 Play

Reconnaî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.

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.
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.

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.
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

Ces chiffres candidats 4 forment un réseau connecté. Chaque ligne continue est un lien d'inférence solide pour 4.

Ces chiffres candidats 4 forment un réseau connecté. Chaque ligne continue est un lien d'inférence solide pour 4.
Ces chiffres candidats 4 forment un réseau connecté. Chaque ligne continue est un lien d'inférence solide pour 4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

É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.

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.
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.

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.
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é

Étant donné que chaque cible voit les deux états de vérité logiques possibles, supprimez R8C5=4.

Étant donné que chaque cible voit les deux états de vérité logiques possibles, supprimez R8C5=4.
Étant donné que chaque cible voit les deux états de vérité logiques possibles, supprimez R8C5=4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Ce qu'il permet

Étant donné que chaque cible voit les deux états de vérité logiques possibles, supprimez R8C5=4.

Coloriage simple (Simple Coloring) · 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).
Coloriage simple (Simple Coloring) · 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).

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.

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.
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.

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.
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.

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.
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.

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.
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.

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.
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

Supprimez les chiffres candidats de l'état de vérité logique B : R1C4=1, R4C4=1, R6C3=1.

Supprimez les chiffres candidats de l'état de vérité logique B : R1C4=1, R4C4=1, R6C3=1.
Supprimez 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

Ce qu'il permet

Supprimez les chiffres candidats de l'état de vérité logique B : R1C4=1, R4C4=1, R6C3=1.

Coloriage simple (Simple Coloring) · 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).
Coloriage simple (Simple Coloring) · 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).

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