Platon Games
Français

Platon Sudoku · Apprendre le sudoku

Réseau de forçage (Forcing Net) · Exemple étape par étape

Un Réseau de forçage (Forcing Net) branche et fusionne les implications des chiffres candidats. Cela peut réfuter une hypothèse ou prouver un résultat commun à plusieurs alternatives. Supprimez un chiffre candidat réfuté ou appliquez le résultat partagé par toutes les branches exhaustives.

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 de forçage (Forcing Net) branche et fusionne les implications des chiffres candidats. Cela peut réfuter une hypothèse ou prouver un résultat commun à plusieurs alternatives.

Comment le trouver

Suivez chaque site via le réseau de branchement, vérifiez chaque lien et comparez les contradictions ou les points finaux communs.

Ce qu'il permet

Supprimez un chiffre candidat réfuté ou appliquez le résultat partagé par toutes les branches exhaustives.

Évitez les confusions

Ne sautez pas de branche et ne confondez pas un effet partagé avec un effet provenant d'un seul chemin.

Exemple étape par étape · Contradiction

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

R1C3=7 est vrai ou faux. Le graphe teste R1C3=7 est vrai ; une contradiction exclut cet état de vérité logique et force R1C3=7 est faux, de sorte que les deux états de vérité logique possibles sont entièrement couverts. Il s'agit d'un Réseau de forçage (Forcing Net), pas d’une Chaîne de forçage (Forcing Chain), car le graphe de dépendance vérifié se déploie ou fusionne au lieu de rester un seul chemin d'implication linéaire. La branche explorée contient des nœuds vérifiés 49.

R1C3=7 est vrai ou faux. Le graphe teste R1C3=7 est vrai ; une contradiction exclut cet état de vérité logique et force R1C3=7 est faux, de sorte que les deux états de vérité logique possibles sont entièrement couverts. Il s'agit d'un Réseau de forçage (Forcing Net), pas d’une Chaîne de forçage (Forcing Chain), car le graphe de dépendance vérifié se déploie ou fusionne au lieu de rester un seul chemin d'implication linéaire. La branche explorée contient des nœuds vérifiés 49.
R1C3=7 est vrai ou faux. Le graphe teste R1C3=7 est vrai ; une contradiction exclut cet état de vérité logique et force R1C3=7 est faux, de sorte que les deux états de vérité logique possibles sont entièrement couverts. Il s'agit d'un Réseau de forçage (Forcing Net), pas d’une Chaîne de forçage (Forcing Chain), car le graphe de dépendance vérifié se déploie ou fusionne au lieu de rester un seul chemin d'implication linéaire. La branche explorée contient des nœuds vérifiés 49.
Étape 2 · Raisonnement

Branche 1 : supposons que R1C3=7 soit vrai.

Branche 1 : supposons que R1C3=7 soit vrai.
Branche 1 : supposons que R1C3=7 soit vrai.
Étape 3 · Raisonnement

R1C3=7 est vrai. Supprimez {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 est vrai. Supprimez {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 est vrai. Supprimez {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Étape 4 · Raisonnement

Après les exclusions précédentes, R8C3=3 est la seule option restante dans R8C3. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R8C3=3 est la seule option restante dans R8C3. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R8C3=3 est la seule option restante dans R8C3. Il est forcé sous cette hypothèse.
Étape 5 · Raisonnement

R8C3=3 est vrai. Supprimez R7C3=3.

R8C3=3 est vrai. Supprimez R7C3=3.
R8C3=3 est vrai. Supprimez R7C3=3.
Étape 6 · Raisonnement

Après les exclusions précédentes, R7C4=3 est la seule option restante dans rangée 7. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R7C4=3 est la seule option restante dans rangée 7. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R7C4=3 est la seule option restante dans rangée 7. Il est forcé sous cette hypothèse.
Étape 7 · Raisonnement

Après les exclusions précédentes, R8C2=7 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R8C2=7 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R8C2=7 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.
Étape 8 · Raisonnement

R8C2=7 est vrai. Supprimez R8C2=8.

R8C2=7 est vrai. Supprimez R8C2=8.
R8C2=7 est vrai. Supprimez R8C2=8.
Étape 9 · Raisonnement

Après les exclusions précédentes, R8C8=8 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R8C8=8 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R8C8=8 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.
Étape 10 · Raisonnement

R8C8=8 est vrai. Supprimez R8C8=4.

R8C8=8 est vrai. Supprimez R8C8=4.
R8C8=8 est vrai. Supprimez R8C8=4.
Étape 11 · Raisonnement

Après les exclusions précédentes, R6C1=7 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R6C1=7 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R6C1=7 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.
Étape 12 · Raisonnement

R6C1=7 est vrai. Supprimez R6C1=5.

R6C1=7 est vrai. Supprimez R6C1=5.
R6C1=7 est vrai. Supprimez R6C1=5.
Étape 13 · Raisonnement

Après les exclusions précédentes, R3C8=4 est la seule option restante dans colonne 8. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R3C8=4 est la seule option restante dans colonne 8. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R3C8=4 est la seule option restante dans colonne 8. Il est forcé sous cette hypothèse.
Étape 14 · Raisonnement

R3C8=4 est vrai. Supprimez {R3C8=1, R3C8=6}.

R3C8=4 est vrai. Supprimez {R3C8=1, R3C8=6}.
R3C8=4 est vrai. Supprimez {R3C8=1, R3C8=6}.
Étape 15 · Raisonnement

Après les exclusions précédentes, R3C1=2 est la seule option restante dans bloc 1. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R3C1=2 est la seule option restante dans bloc 1. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R3C1=2 est la seule option restante dans bloc 1. Il est forcé sous cette hypothèse.
Étape 16 · Raisonnement

R3C1=2 est vrai. Supprimez R3C1=5.

R3C1=2 est vrai. Supprimez R3C1=5.
R3C1=2 est vrai. Supprimez R3C1=5.
Étape 17 · Raisonnement

Après les exclusions précédentes, R9C7=4 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R9C7=4 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R9C7=4 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.
Étape 18 · Raisonnement

R9C7=4 est vrai. Supprimez R9C7=9.

R9C7=4 est vrai. Supprimez R9C7=9.
R9C7=4 est vrai. Supprimez R9C7=9.
Étape 19 · Raisonnement

Après les exclusions précédentes, R7C9=9 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R7C9=9 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R7C9=9 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.
Étape 20 · Raisonnement

R3C8=4 est vrai. Supprimez R2C7=4.

R3C8=4 est vrai. Supprimez R2C7=4.
R3C8=4 est vrai. Supprimez R2C7=4.
Étape 21 · Raisonnement

R6C1=7 est vrai. Supprimez R6C7=7.

R6C1=7 est vrai. Supprimez R6C7=7.
R6C1=7 est vrai. Supprimez R6C7=7.
Étape 22 · Raisonnement

Après les exclusions précédentes, R6C7=6 est la seule option restante dans R6C7. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R6C7=6 est la seule option restante dans R6C7. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R6C7=6 est la seule option restante dans R6C7. Il est forcé sous cette hypothèse.
Étape 23 · Raisonnement

R6C7=6 est vrai. Supprimez R3C7=6.

R6C7=6 est vrai. Supprimez R3C7=6.
R6C7=6 est vrai. Supprimez R3C7=6.
Étape 24 · Raisonnement

R7C4=3 est vrai. Supprimez R2C4=3.

R7C4=3 est vrai. Supprimez R2C4=3.
R7C4=3 est vrai. Supprimez R2C4=3.
Étape 25 · Raisonnement

R7C9=9 est vrai. Supprimez {R1C9=9, R7C3=9}.

R7C9=9 est vrai. Supprimez {R1C9=9, R7C3=9}.
R7C9=9 est vrai. Supprimez {R1C9=9, R7C3=9}.
Étape 26 · Raisonnement

R8C8=8 est vrai. Supprimez R1C8=8.

R8C8=8 est vrai. Supprimez R1C8=8.
R8C8=8 est vrai. Supprimez R1C8=8.
Étape 27 · Raisonnement

Après les exclusions précédentes, R3C9=6 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R3C9=6 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R3C9=6 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.
Étape 28 · Raisonnement

R3C9=6 est vrai. Supprimez R3C9=1.

R3C9=6 est vrai. Supprimez R3C9=1.
R3C9=6 est vrai. Supprimez R3C9=1.
Étape 29 · Raisonnement

Après les exclusions précédentes, R9C1=9 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R9C1=9 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R9C1=9 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.
Étape 30 · Raisonnement

R9C1=9 est vrai. Supprimez R9C1=5.

R9C1=9 est vrai. Supprimez R9C1=5.
R9C1=9 est vrai. Supprimez R9C1=5.
Étape 31 · Raisonnement

Après les exclusions précédentes, R2C1=5 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R2C1=5 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R2C1=5 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.
Étape 32 · Raisonnement

Après les exclusions précédentes, R2C3=9 est la seule option restante dans colonne 3. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R2C3=9 est la seule option restante dans colonne 3. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R2C3=9 est la seule option restante dans colonne 3. Il est forcé sous cette hypothèse.
Étape 33 · Raisonnement

Après les exclusions précédentes, R2C9=1 est la seule option restante dans bloc 3. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R2C9=1 est la seule option restante dans bloc 3. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R2C9=1 est la seule option restante dans bloc 3. Il est forcé sous cette hypothèse.
Étape 34 · Raisonnement

Après les exclusions précédentes, R1C8=5 est la seule option restante dans R1C8. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R1C8=5 est la seule option restante dans R1C8. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R1C8=5 est la seule option restante dans R1C8. Il est forcé sous cette hypothèse.
Étape 35 · Raisonnement

R1C8=5 est vrai. Supprimez R1C9=5.

R1C8=5 est vrai. Supprimez R1C9=5.
R1C8=5 est vrai. Supprimez R1C9=5.
Étape 36 · Raisonnement

Après les exclusions précédentes, R1C9=8 est la seule option restante dans R1C9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R1C9=8 est la seule option restante dans R1C9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R1C9=8 est la seule option restante dans R1C9. Il est forcé sous cette hypothèse.
Étape 37 · Raisonnement

R1C9=8 est vrai. Supprimez R2C7=8.

R1C9=8 est vrai. Supprimez R2C7=8.
R1C9=8 est vrai. Supprimez R2C7=8.
Étape 38 · Raisonnement

R2C1=5 est vrai. Supprimez R2C4=5.

R2C1=5 est vrai. Supprimez R2C4=5.
R2C1=5 est vrai. Supprimez R2C4=5.
Étape 39 · Raisonnement

R2C3=9 est vrai. Supprimez R2C7=9.

R2C3=9 est vrai. Supprimez R2C7=9.
R2C3=9 est vrai. Supprimez R2C7=9.
Étape 40 · Raisonnement

Après les exclusions précédentes, R2C7=7 est la seule option restante dans R2C7. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R2C7=7 est la seule option restante dans R2C7. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R2C7=7 est la seule option restante dans R2C7. Il est forcé sous cette hypothèse.
Étape 41 · Raisonnement

R2C7=7 est vrai. Supprimez R2C4=7.

R2C7=7 est vrai. Supprimez R2C4=7.
R2C7=7 est vrai. Supprimez R2C4=7.
Étape 42 · Raisonnement

R2C9=1 est vrai. Supprimez R2C4=1.

R2C9=1 est vrai. Supprimez R2C4=1.
R2C9=1 est vrai. Supprimez R2C4=1.
Étape 43 · Raisonnement

Cette hypothèse ne laisse aucune valeur ou position possible dans R2C4 : {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Une case Sudoku et chaque chiffre manquant dans une région doivent avoir une option. L'hypothèse est impossible.

Cette hypothèse ne laisse aucune valeur ou position possible dans R2C4 : {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Une case Sudoku et chaque chiffre manquant dans une région doivent avoir une option. L'hypothèse est impossible.
Cette hypothèse ne laisse aucune valeur ou position possible dans R2C4 : {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Une case Sudoku et chaque chiffre manquant dans une région doivent avoir une option. L'hypothèse est impossible.
Étape 44 · 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.
Étape 45 · Conclusion

R1C3=7 peut être supprimé car cela ne peut pas être vrai dans ce modèle.

R1C3=7 peut être supprimé car cela ne peut pas être vrai dans ce modèle.
R1C3=7 peut être supprimé car cela ne peut pas être vrai dans ce modèle.

Ce qu'il permet

R1C3=7 peut être supprimé car cela ne peut pas être vrai dans ce modèle.

Réseau de forçage (Forcing Net) · Supprimez un chiffre candidat réfuté ou appliquez le résultat partagé par toutes les branches exhaustives.
Réseau de forçage (Forcing Net) · Supprimez un chiffre candidat réfuté ou appliquez le résultat partagé par toutes les branches exhaustives.

Exemple étape par étape · Résultat commun

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

L'ensemble racine R7C5=2, R7C5=4, R7C5=9 contient tous les débuts possibles dans R7C5, les branches racine sont donc exhaustives. Il s'agit d'un Réseau de forçage (Forcing Net), pas d'un Chaîne de forçage (Forcing Chain), car le graphe de dépendance vérifié se déploie ou fusionne au lieu de rester un seul chemin d'implication linéaire. Le graphique de dépendances contient les nœuds vérifiés 58 dans les branches racine 3. Le résultat courant à vérifier est R3C6=2 est vrai.

L'ensemble racine R7C5=2, R7C5=4, R7C5=9 contient tous les débuts possibles dans R7C5, les branches racine sont donc exhaustives. Il s'agit d'un Réseau de forçage (Forcing Net), pas d'un Chaîne de forçage (Forcing Chain), car le graphe de dépendance vérifié se déploie ou fusionne au lieu de rester un seul chemin d'implication linéaire. Le graphique de dépendances contient les nœuds vérifiés 58 dans les branches racine 3. Le résultat courant à vérifier est R3C6=2 est vrai.
L'ensemble racine R7C5=2, R7C5=4, R7C5=9 contient tous les débuts possibles dans R7C5, les branches racine sont donc exhaustives. Il s'agit d'un Réseau de forçage (Forcing Net), pas d'un Chaîne de forçage (Forcing Chain), car le graphe de dépendance vérifié se déploie ou fusionne au lieu de rester un seul chemin d'implication linéaire. Le graphique de dépendances contient les nœuds vérifiés 58 dans les branches racine 3. Le résultat courant à vérifier est R3C6=2 est vrai.
Étape 2 · Raisonnement

Branche 1 : supposons que R7C5=2 soit vrai.

Branche 1 : supposons que R7C5=2 soit vrai.
Branche 1 : supposons que R7C5=2 soit vrai.
Étape 3 · Raisonnement

R7C5=2 est vrai. Supprimez R3C5=2.

R7C5=2 est vrai. Supprimez R3C5=2.
R7C5=2 est vrai. Supprimez R3C5=2.
Étape 4 · Raisonnement

Après les exclusions précédentes, R3C6=2 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R3C6=2 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R3C6=2 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.
Étape 5 · 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.
Étape 6 · Raisonnement

Branche 2 : supposons que R7C5=4 soit vrai.

Branche 2 : supposons que R7C5=4 soit vrai.
Branche 2 : supposons que R7C5=4 soit vrai.
Étape 7 · Raisonnement

R7C5=4 est vrai. Supprimez R8C5=4.

R7C5=4 est vrai. Supprimez R8C5=4.
R7C5=4 est vrai. Supprimez R8C5=4.
Étape 8 · Raisonnement

Après les exclusions précédentes, R8C5=2 est la seule option restante dans R8C5. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R8C5=2 est la seule option restante dans R8C5. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R8C5=2 est la seule option restante dans R8C5. Il est forcé sous cette hypothèse.
Étape 9 · Raisonnement

R8C5=2 est vrai. Supprimez R3C5=2.

R8C5=2 est vrai. Supprimez R3C5=2.
R8C5=2 est vrai. Supprimez R3C5=2.
Étape 10 · Raisonnement

Après les exclusions précédentes, R3C6=2 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R3C6=2 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R3C6=2 est la seule option restante dans rangée 3. Il est forcé sous cette hypothèse.
É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.
Étape 12 · Raisonnement

Branche 3 : supposons que R7C5=9 soit vrai.

Branche 3 : supposons que R7C5=9 soit vrai.
Branche 3 : supposons que R7C5=9 soit vrai.
Étape 13 · Raisonnement

R7C5=9 est vrai. Supprimez {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 est vrai. Supprimez {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 est vrai. Supprimez {R7C7=9, R7C8=9, R7C9=9}.
Étape 14 · Raisonnement

Après les exclusions précédentes, R7C8=7 est la seule option restante dans R7C8. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R7C8=7 est la seule option restante dans R7C8. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R7C8=7 est la seule option restante dans R7C8. Il est forcé sous cette hypothèse.
Étape 15 · Raisonnement

R7C8=7 est vrai. Supprimez {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 est vrai. Supprimez {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 est vrai. Supprimez {R7C9=7, R9C7=7, R9C8=7}.
Étape 16 · Raisonnement

Après les exclusions précédentes, R7C9=8 est la seule option restante dans R7C9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R7C9=8 est la seule option restante dans R7C9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R7C9=8 est la seule option restante dans R7C9. Il est forcé sous cette hypothèse.
Étape 17 · Raisonnement

R7C9=8 est vrai. Supprimez {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 est vrai. Supprimez {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 est vrai. Supprimez {R7C7=8, R8C7=8, R9C7=8}.
Étape 18 · Raisonnement

Après les exclusions précédentes, R9C1=7 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R9C1=7 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R9C1=7 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.
Étape 19 · Raisonnement

Après les exclusions précédentes, R4C7=8 est la seule option restante dans colonne 7. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R4C7=8 est la seule option restante dans colonne 7. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R4C7=8 est la seule option restante dans colonne 7. Il est forcé sous cette hypothèse.
Étape 20 · Raisonnement

R4C7=8 est vrai. Supprimez R4C7=5.

R4C7=8 est vrai. Supprimez R4C7=5.
R4C7=8 est vrai. Supprimez R4C7=5.
Étape 21 · Raisonnement

Après les exclusions précédentes, R4C9=7 est la seule option restante dans colonne 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R4C9=7 est la seule option restante dans colonne 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R4C9=7 est la seule option restante dans colonne 9. Il est forcé sous cette hypothèse.
Étape 22 · Raisonnement

R4C9=7 est vrai. Supprimez R4C9=9.

R4C9=7 est vrai. Supprimez R4C9=9.
R4C9=7 est vrai. Supprimez R4C9=9.
Étape 23 · Raisonnement

Après les exclusions précédentes, R6C9=9 est la seule option restante dans colonne 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R6C9=9 est la seule option restante dans colonne 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R6C9=9 est la seule option restante dans colonne 9. Il est forcé sous cette hypothèse.
Étape 24 · Raisonnement

R6C9=9 est vrai. Supprimez R6C9=1.

R6C9=9 est vrai. Supprimez R6C9=1.
R6C9=9 est vrai. Supprimez R6C9=1.
Étape 25 · Raisonnement

Après les exclusions précédentes, R5C7=1 est la seule option restante dans bloc 6. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R5C7=1 est la seule option restante dans bloc 6. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R5C7=1 est la seule option restante dans bloc 6. Il est forcé sous cette hypothèse.
Étape 26 · Raisonnement

R5C7=1 est vrai. Supprimez {R5C7=5, R5C7=7}.

R5C7=1 est vrai. Supprimez {R5C7=5, R5C7=7}.
R5C7=1 est vrai. Supprimez {R5C7=5, R5C7=7}.
Étape 27 · Raisonnement

Après les exclusions précédentes, R4C8=5 est la seule option restante dans bloc 6. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R4C8=5 est la seule option restante dans bloc 6. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R4C8=5 est la seule option restante dans bloc 6. Il est forcé sous cette hypothèse.
Étape 28 · Raisonnement

R4C8=5 est vrai. Supprimez {R4C5=5, R8C8=5}.

R4C8=5 est vrai. Supprimez {R4C5=5, R8C8=5}.
R4C8=5 est vrai. Supprimez {R4C5=5, R8C8=5}.
Étape 29 · Raisonnement

R5C7=1 est vrai. Supprimez {R2C7=1, R5C1=1}.

R5C7=1 est vrai. Supprimez {R2C7=1, R5C1=1}.
R5C7=1 est vrai. Supprimez {R2C7=1, R5C1=1}.
Étape 30 · Raisonnement

R9C1=7 est vrai. Supprimez R5C1=7.

R9C1=7 est vrai. Supprimez R5C1=7.
R9C1=7 est vrai. Supprimez R5C1=7.
Étape 31 · Raisonnement

Après les exclusions précédentes, R5C2=7 est la seule option restante dans rangée 5. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R5C2=7 est la seule option restante dans rangée 5. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R5C2=7 est la seule option restante dans rangée 5. Il est forcé sous cette hypothèse.
Étape 32 · Raisonnement

R5C2=7 est vrai. Supprimez R5C2=3.

R5C2=7 est vrai. Supprimez R5C2=3.
R5C2=7 est vrai. Supprimez R5C2=3.
Étape 33 · Raisonnement

Après les exclusions précédentes, R8C7=5 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R8C7=5 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R8C7=5 est la seule option restante dans rangée 8. Il est forcé sous cette hypothèse.
Étape 34 · Raisonnement

R8C7=5 est vrai. Supprimez {R8C7=2, R8C7=6}.

R8C7=5 est vrai. Supprimez {R8C7=2, R8C7=6}.
R8C7=5 est vrai. Supprimez {R8C7=2, R8C7=6}.
Étape 35 · Raisonnement

Après les exclusions précédentes, R1C1=1 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R1C1=1 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R1C1=1 est la seule option restante dans colonne 1. Il est forcé sous cette hypothèse.
Étape 36 · Raisonnement

Après les exclusions précédentes, R7C7=6 est la seule option restante dans colonne 7. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R7C7=6 est la seule option restante dans colonne 7. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R7C7=6 est la seule option restante dans colonne 7. Il est forcé sous cette hypothèse.
Étape 37 · Raisonnement

R7C7=6 est vrai. Supprimez R7C7=2.

R7C7=6 est vrai. Supprimez R7C7=2.
R7C7=6 est vrai. Supprimez R7C7=2.
Étape 38 · Raisonnement

Après les exclusions précédentes, R9C7=2 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R9C7=2 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R9C7=2 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.
Étape 39 · Raisonnement

R9C7=2 est vrai. Supprimez R9C7=9.

R9C7=2 est vrai. Supprimez R9C7=9.
R9C7=2 est vrai. Supprimez R9C7=9.
Étape 40 · Raisonnement

Après les exclusions précédentes, R9C8=9 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R9C8=9 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R9C8=9 est la seule option restante dans bloc 9. Il est forcé sous cette hypothèse.
Étape 41 · Raisonnement

R9C8=9 est vrai. Supprimez R9C8=3.

R9C8=9 est vrai. Supprimez R9C8=3.
R9C8=9 est vrai. Supprimez R9C8=3.
Étape 42 · Raisonnement

R1C1=1 est vrai. Supprimez R2C3=1.

R1C1=1 est vrai. Supprimez R2C3=1.
R1C1=1 est vrai. Supprimez R2C3=1.
Étape 43 · Raisonnement

Après les exclusions précédentes, R2C5=1 est la seule option restante dans rangée 2. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R2C5=1 est la seule option restante dans rangée 2. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R2C5=1 est la seule option restante dans rangée 2. Il est forcé sous cette hypothèse.
Étape 44 · Raisonnement

R2C5=1 est vrai. Supprimez R2C5=5.

R2C5=1 est vrai. Supprimez R2C5=5.
R2C5=1 est vrai. Supprimez R2C5=5.
Étape 45 · Raisonnement

Après les exclusions précédentes, R9C3=3 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R9C3=3 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R9C3=3 est la seule option restante dans rangée 9. Il est forcé sous cette hypothèse.
Étape 46 · Raisonnement

Après les exclusions précédentes, R5C5=5 est la seule option restante dans colonne 5. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R5C5=5 est la seule option restante dans colonne 5. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R5C5=5 est la seule option restante dans colonne 5. Il est forcé sous cette hypothèse.
Étape 47 · Raisonnement

R5C5=5 est vrai. Supprimez R5C5=3.

R5C5=5 est vrai. Supprimez R5C5=3.
R5C5=5 est vrai. Supprimez R5C5=3.
Étape 48 · Raisonnement

R9C3=3 est vrai. Supprimez R5C3=3.

R9C3=3 est vrai. Supprimez R5C3=3.
R9C3=3 est vrai. Supprimez R5C3=3.
Étape 49 · Raisonnement

Après les exclusions précédentes, R5C6=3 est la seule option restante dans rangée 5. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R5C6=3 est la seule option restante dans rangée 5. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R5C6=3 est la seule option restante dans rangée 5. Il est forcé sous cette hypothèse.
Étape 50 · Raisonnement

R5C6=3 est vrai. Supprimez R3C6=3.

R5C6=3 est vrai. Supprimez R3C6=3.
R5C6=3 est vrai. Supprimez R3C6=3.
Étape 51 · Raisonnement

Après les exclusions précédentes, R3C6=2 est la seule option restante dans R3C6. Il est forcé sous cette hypothèse.

Après les exclusions précédentes, R3C6=2 est la seule option restante dans R3C6. Il est forcé sous cette hypothèse.
Après les exclusions précédentes, R3C6=2 est la seule option restante dans R3C6. Il est forcé sous cette hypothèse.
Étape 52 · Raisonnement

Chaque branchement possible atteint le même fait : R3C6=2 est vrai. Après avoir retiré toutes les hypothèses, ce fait reste certain.

Chaque branchement possible atteint le même fait : R3C6=2 est vrai. Après avoir retiré toutes les hypothèses, ce fait reste certain.
Chaque branchement possible atteint le même fait : R3C6=2 est vrai. Après avoir retiré toutes les hypothèses, ce fait reste certain.
Étape 53 · Conclusion

R3C6=2 est forcé par ce modèle.

R3C6=2 est forcé par ce modèle.
R3C6=2 est forcé par ce modèle.

Ce qu'il permet

R3C6=2 est forcé par ce modèle.

Réseau de forçage (Forcing Net) · Supprimez un chiffre candidat réfuté ou appliquez le résultat partagé par toutes les branches exhaustives.
Réseau de forçage (Forcing Net) · Supprimez un chiffre candidat réfuté ou appliquez le résultat partagé par toutes les branches exhaustives.

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