Platon Sudoku · Apprendre le sudoku

AIC groupée à un chiffre (Single-Digit Grouped AIC) · Exemple étape par étape

Un nœud groupé signifie qu'au moins un des plusieurs chiffres candidats est vrai ; il peut participer à une chaîne d'inférence alternée. Éliminez une cible vue par les points finaux de forçage de la chaîne.

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 nœud groupé signifie qu'au moins un des plusieurs chiffres candidats est vrai ; il peut participer à une chaîne d'inférence alternée.

Comment le trouver

Vérifiez que les cases groupées partagent la région requise, puis tracez les liens d'inférence forts et faibles via un ou plusieurs nœuds de groupe.

Ce qu'il permet

Éliminez une cible vue par les points finaux de forçage de la chaîne.

Évitez les confusions

Un vrai groupe ne signifie pas que chaque membre est vrai. Conservez la signification OR du groupe lorsque vous suivez la chaîne.

Exemple étape par étape · Un groupe

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 · Où chercher

Dans bloc 6, 2 ne peut aller que dans R4C7, R4C8, R5C8. Le chiffre doit apparaître une fois dans cette région.

Dans bloc 6, 2 ne peut aller que dans R4C7, R4C8, R5C8. Le chiffre doit apparaître une fois dans cette région. — Dans bloc 6, 2 ne peut aller que dans R4C7, R4C8, R5C8. Le chiffre doit apparaître une fois dans cette région.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 2 · Raisonnement

Dans colonne 5, 2 ne peut aller que dans R1C5, R4C5. Le chiffre doit apparaître une fois dans cette région.

Dans colonne 5, 2 ne peut aller que dans R1C5, R4C5. Le chiffre doit apparaître une fois dans cette région. — Dans colonne 5, 2 ne peut aller que dans R1C5, R4C5. Le chiffre doit apparaître une fois dans cette région.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 3 · Raisonnement

Dans colonne 9, 2 ne peut aller que dans R1C9, R8C9. Le chiffre doit apparaître une fois dans cette région.

Dans colonne 9, 2 ne peut aller que dans R1C9, R8C9. Le chiffre doit apparaître une fois dans cette région. — Dans colonne 9, 2 ne peut aller que dans R1C9, R8C9. Le chiffre doit apparaître une fois dans cette région.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 4 · Nommer les groupes de chiffres candidats OR

Les accolades numérotées et la légende définissent ces groupes nommés : Groupe de chiffres candidats OR A = R4C8=2, R5C8=2. Chaque groupe est un état de vérité logique OR : au moins un chiffre candidat est vrai, mais la chaîne ne prétend pas que chaque membre est vrai.

Les accolades numérotées et la légende définissent ces groupes nommés : Groupe de chiffres candidats OR A = R4C8=2, R5C8=2. Chaque groupe est un état de vérité logique OR : au moins un chiffre candidat est vrai, mais la chaîne ne prétend pas que chaque membre est vrai. — Les accolades numérotées et la légende définissent ces groupes nommés : Groupe de chiffres candidats OR A = R4C8=2, R5C8=2. Chaque groupe est un état de vérité logique OR : au moins un chiffre candidat est vrai, mais la chaîne ne prétend pas que chaque membre est vrai.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 5 · Raisonnement

Branche 1 : supposons que Groupe de chiffres candidats OR A soit faux.

Branche 1 : supposons que Groupe de chiffres candidats OR A soit faux. — Branche 1 : supposons que Groupe de chiffres candidats OR A soit faux.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 6 · Lien d'inférence fort de groupe : forcer l'autre côté

Cas 1 : Groupe de chiffres candidats OR A est faux, donc le lien d'inférence fort du groupe force R4C7=2. S'il s'agit d'un groupe OR, au moins un de ses chiffres candidats est vrai.

Cas 1 : Groupe de chiffres candidats OR A est faux, donc le lien d'inférence fort du groupe force R4C7=2. S'il s'agit d'un groupe OR, au moins un de ses chiffres candidats est vrai. — Cas 1 : Groupe de chiffres candidats OR A est faux, donc le lien d'inférence fort du groupe force R4C7=2. S'il s'agit d'un groupe OR, au moins un de ses chiffres candidats est vrai.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 7 · Lien d'inférence faible de groupe : exclure le côté conflictuel

R4C7=2 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R4C5=2 est faux.

R4C7=2 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R4C5=2 est faux. — R4C7=2 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R4C5=2 est faux.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 8 · Lien d'inférence fort de groupe : un côté doit rester

R4C5=2 est faux, donc le lien d'inférence fort du groupe force R1C5=2.

R4C5=2 est faux, donc le lien d'inférence fort du groupe force R1C5=2. — R4C5=2 est faux, donc le lien d'inférence fort du groupe force R1C5=2.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 9 · Lien d'inférence faible de groupe : exclure le côté conflictuel

R1C5=2 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R1C9=2 est faux.

R1C5=2 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R1C9=2 est faux. — R1C5=2 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R1C9=2 est faux.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 10 · Le critère d’évaluation indirect exclut les cibles

R8C9=2 est vrai en tant qu’état de vérité logique du point de terminaison, il exclut donc les cibles.

R8C9=2 est vrai en tant qu’état de vérité logique du point de terminaison, il exclut donc les cibles. — R8C9=2 est vrai en tant qu’état de vérité logique du point de terminaison, il exclut donc les cibles.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 11 · Retirer le remplissage du rectangle précédent

Retirez cette hypothèse et ses conséquences. Revenez à l’instantané du chiffre candidat inchangé avant d’examiner la possibilité suivante.

Retirez cette hypothèse et ses conséquences. Revenez à l’instantané du chiffre candidat inchangé avant d’examiner la possibilité suivante. — Retirez cette hypothèse et ses conséquences. Revenez à l’instantané du chiffre candidat inchangé avant d’examiner la possibilité suivante.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 12 · Cas 2 : le premier point final est vrai

Le premier point de terminaison Groupe de chiffres candidats OR A est vrai en tant qu’état de vérité logique OR ; il exclut donc les cibles.

Le premier point de terminaison Groupe de chiffres candidats OR A est vrai en tant qu’état de vérité logique OR ; il exclut donc les cibles. — Le premier point de terminaison Groupe de chiffres candidats OR A est vrai en tant qu’état de vérité logique OR ; il exclut donc les cibles.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Étape 13 · Les deux cas d’évaluation concordent

Les deux cas extrêmes épuisent les alternatives et excluent tous deux R7C8=2, R8C8=2. Supprimez-les après avoir retiré les états de vérité logiques temporaires.

Les deux cas extrêmes épuisent les alternatives et excluent tous deux R7C8=2, R8C8=2. Supprimez-les après avoir retiré les états de vérité logiques temporaires. — Les deux cas extrêmes épuisent les alternatives et excluent tous deux R7C8=2, R8C8=2. Supprimez-les après avoir retiré les états de vérité logiques temporaires.
G1: R4C8=2, R5C8=2

1: Groupe OR A : au moins un chiffre candidat est vrai

Ce qu'il permet

Les deux cas extrêmes épuisent les alternatives et excluent tous deux R7C8=2, R8C8=2. Supprimez-les après avoir retiré les états de vérité logiques temporaires.

AIC groupée à un chiffre (Single-Digit Grouped AIC) · Éliminez une cible vue par les points finaux de forçage de la chaîne.

Exemple étape par étape · Plusieurs groupes

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 · Où chercher

Dans bloc 1, 8 ne peut aller que dans R2C2, R3C1. Le chiffre doit apparaître une fois dans cette région.

Dans bloc 1, 8 ne peut aller que dans R2C2, R3C1. Le chiffre doit apparaître une fois dans cette région. — Dans bloc 1, 8 ne peut aller que dans R2C2, R3C1. Le chiffre doit apparaître une fois dans cette région.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 2 · Raisonnement

Dans bloc 2, 8 ne peut aller que dans R1C6, R2C4, R2C5. Le chiffre doit apparaître une fois dans cette région.

Dans bloc 2, 8 ne peut aller que dans R1C6, R2C4, R2C5. Le chiffre doit apparaître une fois dans cette région. — Dans bloc 2, 8 ne peut aller que dans R1C6, R2C4, R2C5. Le chiffre doit apparaître une fois dans cette région.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 3 · Raisonnement

Dans rangée 8, 8 ne peut aller que dans R8C1, R8C2, R8C3, R8C6. Le chiffre doit apparaître une fois dans cette région.

Dans rangée 8, 8 ne peut aller que dans R8C1, R8C2, R8C3, R8C6. Le chiffre doit apparaître une fois dans cette région. — Dans rangée 8, 8 ne peut aller que dans R8C1, R8C2, R8C3, R8C6. Le chiffre doit apparaître une fois dans cette région.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 4 · Nommer les groupes de chiffres candidats OR

Les accolades numérotées et la légende définissent ces groupes nommés : Groupe de chiffres candidats OR A = R2C4=8, R2C5=8, Groupe de chiffres candidats OR B = R8C1=8, R8C2=8, R8C3=8. Chaque groupe est un état de vérité logique OR : au moins un chiffre candidat est vrai, mais la chaîne ne prétend pas que chaque membre est vrai.

Les accolades numérotées et la légende définissent ces groupes nommés : Groupe de chiffres candidats OR A = R2C4=8, R2C5=8, Groupe de chiffres candidats OR B = R8C1=8, R8C2=8, R8C3=8. Chaque groupe est un état de vérité logique OR : au moins un chiffre candidat est vrai, mais la chaîne ne prétend pas que chaque membre est vrai. — Les accolades numérotées et la légende définissent ces groupes nommés : Groupe de chiffres candidats OR A = R2C4=8, R2C5=8, Groupe de chiffres candidats OR B = R8C1=8, R8C2=8, R8C3=8. Chaque groupe est un état de vérité logique OR : au moins un chiffre candidat est vrai, mais la chaîne ne prétend pas que chaque membre est vrai.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 5 · Raisonnement

Branche 1 : supposons que R3C1=8 soit faux.

Branche 1 : supposons que R3C1=8 soit faux. — Branche 1 : supposons que R3C1=8 soit faux.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 6 · Lien d'inférence fort de groupe : forcer l'autre côté

Cas 1 : R3C1=8 est faux, donc le lien d'inférence fort du groupe force R2C2=8. S'il s'agit d'un groupe OR, au moins un de ses chiffres candidats est vrai.

Cas 1 : R3C1=8 est faux, donc le lien d'inférence fort du groupe force R2C2=8. S'il s'agit d'un groupe OR, au moins un de ses chiffres candidats est vrai. — Cas 1 : R3C1=8 est faux, donc le lien d'inférence fort du groupe force R2C2=8. S'il s'agit d'un groupe OR, au moins un de ses chiffres candidats est vrai.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 7 · Lien d'inférence faible de groupe : exclure le côté conflictuel

R2C2=8 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R2C4=8, R2C5=8 est faux.

R2C2=8 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R2C4=8, R2C5=8 est faux. — R2C2=8 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R2C4=8, R2C5=8 est faux.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 8 · Lien d'inférence fort de groupe : un côté doit rester

Groupe de chiffres candidats OR A est faux, donc le lien d'inférence fort du groupe force R1C6=8.

Groupe de chiffres candidats OR A est faux, donc le lien d'inférence fort du groupe force R1C6=8. — Groupe de chiffres candidats OR A est faux, donc le lien d'inférence fort du groupe force R1C6=8.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 9 · Lien d'inférence faible de groupe : exclure le côté conflictuel

R1C6=8 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R8C6=8 est faux.

R1C6=8 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R8C6=8 est faux. — R1C6=8 est vrai en tant qu'état de vérité logique en chaîne, donc le côté mutuellement exclusif R8C6=8 est faux.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 10 · Le critère d’évaluation indirect exclut les cibles

Groupe de chiffres candidats OR B est vrai en tant qu’état de vérité logique du point de terminaison, il exclut donc les cibles.

Groupe de chiffres candidats OR B est vrai en tant qu’état de vérité logique du point de terminaison, il exclut donc les cibles. — Groupe de chiffres candidats OR B est vrai en tant qu’état de vérité logique du point de terminaison, il exclut donc les cibles.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 11 · Retirer le remplissage du rectangle précédent

Retirez cette hypothèse et ses conséquences. Revenez à l’instantané du chiffre candidat inchangé avant d’examiner la possibilité suivante.

Retirez cette hypothèse et ses conséquences. Revenez à l’instantané du chiffre candidat inchangé avant d’examiner la possibilité suivante. — Retirez cette hypothèse et ses conséquences. Revenez à l’instantané du chiffre candidat inchangé avant d’examiner la possibilité suivante.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 12 · Cas 2 : le premier point final est vrai

Le premier point de terminaison R3C1=8 est vrai en tant qu’état de vérité logique OR ; il exclut donc les cibles.

Le premier point de terminaison R3C1=8 est vrai en tant qu’état de vérité logique OR ; il exclut donc les cibles. — Le premier point de terminaison R3C1=8 est vrai en tant qu’état de vérité logique OR ; il exclut donc les cibles.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Étape 13 · Les deux cas d’évaluation concordent

Les deux cas extrêmes épuisent les alternatives et excluent tous deux R9C1=8. Supprimez-les après avoir retiré les états de vérité logiques temporaires.

Les deux cas extrêmes épuisent les alternatives et excluent tous deux R9C1=8. Supprimez-les après avoir retiré les états de vérité logiques temporaires. — Les deux cas extrêmes épuisent les alternatives et excluent tous deux R9C1=8. Supprimez-les après avoir retiré les états de vérité logiques temporaires.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: Groupe OR A : au moins un chiffre candidat est vrai · 2: Groupe OR B : au moins un chiffre candidat est vrai

Ce qu'il permet

Les deux cas extrêmes épuisent les alternatives et excluent tous deux R9C1=8. Supprimez-les après avoir retiré les états de vérité logiques temporaires.

AIC groupée à un chiffre (Single-Digit Grouped AIC) · Éliminez une cible vue par les points finaux de forçage de la chaîne.

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