Platon Games
Français

Platon Sudoku · Apprendre le sudoku

XY-Chain · Exemple étape par étape

Chaque case de la chaîne comporte exactement deux chiffres candidats. Les cases voisines se voient et partagent le chiffre de liaison ; les deux extrémités partagent le chiffre cible. Supprimez le chiffre du point de terminaison partagé d’une case qui voit les deux extrémités.

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

Chaque case de la chaîne comporte exactement deux chiffres candidats. Les cases voisines se voient et partagent le chiffre de liaison ; les deux extrémités partagent le chiffre cible.

Comment le trouver

Tracez les cases bivaleurs connectées, en passant à l'autre chiffre candidat dans chaque case, jusqu'à ce que la fin porte le chiffre cible de départ.

Ce qu'il permet

Supprimez le chiffre du point de terminaison partagé d’une case qui voit les deux extrémités.

Évitez les confusions

Une case à deux chiffres candidats avec une marque de crayon supplémentaire n'est pas valide ; chaque maillon et les deux lignes de visibilité des points d'extrémité doivent être vérifiés.

Exemple étape par étape · Chaîne courte

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 · Établir la chaîne bivaleur

Chaque case de la chaîne a exactement deux candidats : R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R5C8=4, R6C5=4 ont le même candidat 4.

Chaque case de la chaîne a exactement deux candidats : R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R5C8=4, R6C5=4 ont le même candidat 4.
Chaque case de la chaîne a exactement deux candidats : R5C8={4, 7}, R5C4={3, 7}, R6C6={2, 3}, R6C5={2, 4}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R5C8=4, R6C5=4 ont le même candidat 4.
Étape 2 · Raisonnement

Branche 1 : supposons que R5C8=4 soit faux.

Branche 1 : supposons que R5C8=4 soit faux.
Branche 1 : supposons que R5C8=4 soit faux.
Étape 3 · Raisonnement

R5C8=4 est faux. Il ne reste plus que R5C8 à R5C8=7, cela doit donc être vrai.

R5C8=4 est faux. Il ne reste plus que R5C8 à R5C8=7, cela doit donc être vrai.
R5C8=4 est faux. Il ne reste plus que R5C8 à R5C8=7, cela doit donc être vrai.
Étape 4 · Raisonnement

Cas 1 : R5C8 est la case bivaleur R5C8=4, R5C8=7. Avec son autre chiffre candidat faux, R5C8=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R5C4=7, donc rayez ces conflits.

Cas 1 : R5C8 est la case bivaleur R5C8=4, R5C8=7. Avec son autre chiffre candidat faux, R5C8=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R5C4=7, donc rayez ces conflits.
Cas 1 : R5C8 est la case bivaleur R5C8=4, R5C8=7. Avec son autre chiffre candidat faux, R5C8=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R5C4=7, donc rayez ces conflits.
Étape 5 · Raisonnement

R5C4=7 est faux. Il ne reste plus que R5C4 à R5C4=3, cela doit donc être vrai.

R5C4=7 est faux. Il ne reste plus que R5C4 à R5C4=3, cela doit donc être vrai.
R5C4=7 est faux. Il ne reste plus que R5C4 à R5C4=3, cela doit donc être vrai.
Étape 6 · Raisonnement

R5C4 est la prochaine case bivaleur R5C4=3, R5C4=7. Avec son autre chiffre candidat faux, R5C4=3 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R6C6=3, donc rayez ces conflits.

R5C4 est la prochaine case bivaleur R5C4=3, R5C4=7. Avec son autre chiffre candidat faux, R5C4=3 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R6C6=3, donc rayez ces conflits.
R5C4 est la prochaine case bivaleur R5C4=3, R5C4=7. Avec son autre chiffre candidat faux, R5C4=3 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R6C6=3, donc rayez ces conflits.
Étape 7 · Raisonnement

R6C6=3 est faux. Il ne reste plus que R6C6 à R6C6=2, cela doit donc être vrai.

R6C6=3 est faux. Il ne reste plus que R6C6 à R6C6=2, cela doit donc être vrai.
R6C6=3 est faux. Il ne reste plus que R6C6 à R6C6=2, cela doit donc être vrai.
Étape 8 · Raisonnement

R6C6 est la prochaine case bivaleur R6C6=2, R6C6=3. Avec son autre chiffre candidat faux, R6C6=2 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R6C5=2, donc rayez ces conflits.

R6C6 est la prochaine case bivaleur R6C6=2, R6C6=3. Avec son autre chiffre candidat faux, R6C6=2 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R6C5=2, donc rayez ces conflits.
R6C6 est la prochaine case bivaleur R6C6=2, R6C6=3. Avec son autre chiffre candidat faux, R6C6=2 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R6C5=2, donc rayez ces conflits.
Étape 9 · Raisonnement

Au niveau de la case bivaleur de point de terminaison R6C5 (R6C5=2, R6C5=4), R6C5=2 est faux, donc R6C5=4 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R6C8=4, R6C9=4.

Au niveau de la case bivaleur de point de terminaison R6C5 (R6C5=2, R6C5=4), R6C5=2 est faux, donc R6C5=4 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R6C8=4, R6C9=4.
Au niveau de la case bivaleur de point de terminaison R6C5 (R6C5=2, R6C5=4), R6C5=2 est faux, donc R6C5=4 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R6C8=4, R6C9=4.
Étape 10 · 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 11 · Raisonnement

Supposons que le premier point de terminaison R5C8=4 est vrai dans sa case bivaleur R5C8 (R5C8=4, R5C8=7). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R5C8=7, R6C8=4, R6C9=4.

Supposons que le premier point de terminaison R5C8=4 est vrai dans sa case bivaleur R5C8 (R5C8=4, R5C8=7). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R5C8=7, R6C8=4, R6C9=4.
Supposons que le premier point de terminaison R5C8=4 est vrai dans sa case bivaleur R5C8 (R5C8=4, R5C8=7). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R5C8=7, R6C8=4, R6C9=4.
Étape 12 · Conclusion

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R6C8=4, R6C9=4. Retirez les états de vérité logiques temporaires, puis supprimez-les.

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R6C8=4, R6C9=4. Retirez les états de vérité logiques temporaires, puis supprimez-les.
Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R6C8=4, R6C9=4. Retirez les états de vérité logiques temporaires, puis supprimez-les.

Ce qu'il permet

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R6C8=4, R6C9=4. Retirez les états de vérité logiques temporaires, puis supprimez-les.

XY-Chain · Supprimez le chiffre du point de terminaison partagé d’une case qui voit les deux extrémités.
XY-Chain · Supprimez le chiffre du point de terminaison partagé d’une case qui voit les deux extrémités.

Exemple étape par étape · Chaîne moyenne

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 · Établir la chaîne bivaleur

Chaque case de la chaîne a exactement deux candidats : R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R1C4=3, R7C5=3 ont le même candidat 3.

Chaque case de la chaîne a exactement deux candidats : R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R1C4=3, R7C5=3 ont le même candidat 3.
Chaque case de la chaîne a exactement deux candidats : R1C4={3, 8}, R1C8={6, 8}, R7C8={2, 6}, R7C6={2, 4}, R7C5={3, 4}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R1C4=3, R7C5=3 ont le même candidat 3.
Étape 2 · Raisonnement

Branche 1 : supposons que R1C4=3 soit faux.

Branche 1 : supposons que R1C4=3 soit faux.
Branche 1 : supposons que R1C4=3 soit faux.
Étape 3 · Raisonnement

R1C4=3 est faux. Il ne reste plus que R1C4 à R1C4=8, cela doit donc être vrai.

R1C4=3 est faux. Il ne reste plus que R1C4 à R1C4=8, cela doit donc être vrai.
R1C4=3 est faux. Il ne reste plus que R1C4 à R1C4=8, cela doit donc être vrai.
Étape 4 · Raisonnement

Cas 1 : R1C4 est la case bivaleur R1C4=3, R1C4=8. Avec son autre chiffre candidat faux, R1C4=8 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R1C8=8, donc rayez ces conflits.

Cas 1 : R1C4 est la case bivaleur R1C4=3, R1C4=8. Avec son autre chiffre candidat faux, R1C4=8 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R1C8=8, donc rayez ces conflits.
Cas 1 : R1C4 est la case bivaleur R1C4=3, R1C4=8. Avec son autre chiffre candidat faux, R1C4=8 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R1C8=8, donc rayez ces conflits.
Étape 5 · Raisonnement

R1C8=8 est faux. Il ne reste plus que R1C8 à R1C8=6, cela doit donc être vrai.

R1C8=8 est faux. Il ne reste plus que R1C8 à R1C8=6, cela doit donc être vrai.
R1C8=8 est faux. Il ne reste plus que R1C8 à R1C8=6, cela doit donc être vrai.
Étape 6 · Raisonnement

R1C8 est la prochaine case bivaleur R1C8=6, R1C8=8. Avec son autre chiffre candidat faux, R1C8=6 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C8=6, donc rayez ces conflits.

R1C8 est la prochaine case bivaleur R1C8=6, R1C8=8. Avec son autre chiffre candidat faux, R1C8=6 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C8=6, donc rayez ces conflits.
R1C8 est la prochaine case bivaleur R1C8=6, R1C8=8. Avec son autre chiffre candidat faux, R1C8=6 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C8=6, donc rayez ces conflits.
Étape 7 · Raisonnement

R7C8=6 est faux. Il ne reste plus que R7C8 à R7C8=2, cela doit donc être vrai.

R7C8=6 est faux. Il ne reste plus que R7C8 à R7C8=2, cela doit donc être vrai.
R7C8=6 est faux. Il ne reste plus que R7C8 à R7C8=2, cela doit donc être vrai.
Étape 8 · Raisonnement

R7C8 est la prochaine case bivaleur R7C8=2, R7C8=6. Avec son autre chiffre candidat faux, R7C8=2 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C6=2, donc rayez ces conflits.

R7C8 est la prochaine case bivaleur R7C8=2, R7C8=6. Avec son autre chiffre candidat faux, R7C8=2 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C6=2, donc rayez ces conflits.
R7C8 est la prochaine case bivaleur R7C8=2, R7C8=6. Avec son autre chiffre candidat faux, R7C8=2 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C6=2, donc rayez ces conflits.
Étape 9 · Raisonnement

R7C6=2 est faux. Il ne reste plus que R7C6 à R7C6=4, cela doit donc être vrai.

R7C6=2 est faux. Il ne reste plus que R7C6 à R7C6=4, cela doit donc être vrai.
R7C6=2 est faux. Il ne reste plus que R7C6 à R7C6=4, cela doit donc être vrai.
Étape 10 · Raisonnement

R7C6 est la prochaine case bivaleur R7C6=2, R7C6=4. Avec son autre chiffre candidat faux, R7C6=4 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C5=4, donc rayez ces conflits.

R7C6 est la prochaine case bivaleur R7C6=2, R7C6=4. Avec son autre chiffre candidat faux, R7C6=4 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C5=4, donc rayez ces conflits.
R7C6 est la prochaine case bivaleur R7C6=2, R7C6=4. Avec son autre chiffre candidat faux, R7C6=4 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R7C5=4, donc rayez ces conflits.
Étape 11 · Raisonnement

Au niveau de la case bivaleur de point de terminaison R7C5 (R7C5=3, R7C5=4), R7C5=4 est faux, donc R7C5=3 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R1C5=3, R8C4=3.

Au niveau de la case bivaleur de point de terminaison R7C5 (R7C5=3, R7C5=4), R7C5=4 est faux, donc R7C5=3 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R1C5=3, R8C4=3.
Au niveau de la case bivaleur de point de terminaison R7C5 (R7C5=3, R7C5=4), R7C5=4 est faux, donc R7C5=3 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R1C5=3, R8C4=3.
Étape 12 · 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 13 · Raisonnement

Supposons que le premier point de terminaison R1C4=3 est vrai dans sa case bivaleur R1C4 (R1C4=3, R1C4=8). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R1C4=8, R1C5=3, R8C4=3.

Supposons que le premier point de terminaison R1C4=3 est vrai dans sa case bivaleur R1C4 (R1C4=3, R1C4=8). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R1C4=8, R1C5=3, R8C4=3.
Supposons que le premier point de terminaison R1C4=3 est vrai dans sa case bivaleur R1C4 (R1C4=3, R1C4=8). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R1C4=8, R1C5=3, R8C4=3.
Étape 14 · Conclusion

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R1C5=3, R8C4=3. Retirez les états de vérité logiques temporaires, puis supprimez-les.

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R1C5=3, R8C4=3. Retirez les états de vérité logiques temporaires, puis supprimez-les.
Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R1C5=3, R8C4=3. Retirez les états de vérité logiques temporaires, puis supprimez-les.

Ce qu'il permet

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R1C5=3, R8C4=3. Retirez les états de vérité logiques temporaires, puis supprimez-les.

XY-Chain · Supprimez le chiffre du point de terminaison partagé d’une case qui voit les deux extrémités.
XY-Chain · Supprimez le chiffre du point de terminaison partagé d’une case qui voit les deux extrémités.

Exemple étape par étape · Longue chaîne

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 · Établir la chaîne bivaleur

Chaque case de la chaîne a exactement deux candidats : R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R1C3=1, R3C9=1 ont le même candidat 1.

Chaque case de la chaîne a exactement deux candidats : R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R1C3=1, R3C9=1 ont le même candidat 1.
Chaque case de la chaîne a exactement deux candidats : R1C3={1, 9}, R1C4={7, 9}, R2C4={7, 9}, R2C8={5, 9}, R2C5={5, 6}, R2C6={1, 6}, R2C9={1, 7}, R3C9={1, 7}. Dans chaque case, ils ont une relation forte : si l’un est faux, l’autre est nécessairement vrai. Entre des cases différentes, les candidats reliés du même chiffre s’excluent mutuellement. Les deux extrémités R1C3=1, R3C9=1 ont le même candidat 1.
Étape 2 · Raisonnement

Branche 1 : supposons que R1C3=1 soit faux.

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

R1C3=1 est faux. Il ne reste plus que R1C3 à R1C3=9, cela doit donc être vrai.

R1C3=1 est faux. Il ne reste plus que R1C3 à R1C3=9, cela doit donc être vrai.
R1C3=1 est faux. Il ne reste plus que R1C3 à R1C3=9, cela doit donc être vrai.
Étape 4 · Raisonnement

Cas 1 : R1C3 est la case bivaleur R1C3=1, R1C3=9. Avec son autre chiffre candidat faux, R1C3=9 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R1C4=9, donc rayez ces conflits.

Cas 1 : R1C3 est la case bivaleur R1C3=1, R1C3=9. Avec son autre chiffre candidat faux, R1C3=9 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R1C4=9, donc rayez ces conflits.
Cas 1 : R1C3 est la case bivaleur R1C3=1, R1C3=9. Avec son autre chiffre candidat faux, R1C3=9 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R1C4=9, donc rayez ces conflits.
Étape 5 · Raisonnement

R1C4=9 est faux. Il ne reste plus que R1C4 à R1C4=7, cela doit donc être vrai.

R1C4=9 est faux. Il ne reste plus que R1C4 à R1C4=7, cela doit donc être vrai.
R1C4=9 est faux. Il ne reste plus que R1C4 à R1C4=7, cela doit donc être vrai.
Étape 6 · Raisonnement

R1C4 est la prochaine case bivaleur R1C4=7, R1C4=9. Avec son autre chiffre candidat faux, R1C4=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C4=7, donc rayez ces conflits.

R1C4 est la prochaine case bivaleur R1C4=7, R1C4=9. Avec son autre chiffre candidat faux, R1C4=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C4=7, donc rayez ces conflits.
R1C4 est la prochaine case bivaleur R1C4=7, R1C4=9. Avec son autre chiffre candidat faux, R1C4=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C4=7, donc rayez ces conflits.
Étape 7 · Raisonnement

R2C4=7 est faux. Il ne reste plus que R2C4 à R2C4=9, cela doit donc être vrai.

R2C4=7 est faux. Il ne reste plus que R2C4 à R2C4=9, cela doit donc être vrai.
R2C4=7 est faux. Il ne reste plus que R2C4 à R2C4=9, cela doit donc être vrai.
Étape 8 · Raisonnement

R2C4 est la prochaine case bivaleur R2C4=7, R2C4=9. Avec son autre chiffre candidat faux, R2C4=9 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C8=9, donc rayez ces conflits.

R2C4 est la prochaine case bivaleur R2C4=7, R2C4=9. Avec son autre chiffre candidat faux, R2C4=9 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C8=9, donc rayez ces conflits.
R2C4 est la prochaine case bivaleur R2C4=7, R2C4=9. Avec son autre chiffre candidat faux, R2C4=9 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C8=9, donc rayez ces conflits.
Étape 9 · Raisonnement

R2C8=9 est faux. Il ne reste plus que R2C8 à R2C8=5, cela doit donc être vrai.

R2C8=9 est faux. Il ne reste plus que R2C8 à R2C8=5, cela doit donc être vrai.
R2C8=9 est faux. Il ne reste plus que R2C8 à R2C8=5, cela doit donc être vrai.
Étape 10 · Raisonnement

R2C8 est la prochaine case bivaleur R2C8=5, R2C8=9. Avec son autre chiffre candidat faux, R2C8=5 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C5=5, donc rayez ces conflits.

R2C8 est la prochaine case bivaleur R2C8=5, R2C8=9. Avec son autre chiffre candidat faux, R2C8=5 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C5=5, donc rayez ces conflits.
R2C8 est la prochaine case bivaleur R2C8=5, R2C8=9. Avec son autre chiffre candidat faux, R2C8=5 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C5=5, donc rayez ces conflits.
Étape 11 · Raisonnement

R2C5=5 est faux. Il ne reste plus que R2C5 à R2C5=6, cela doit donc être vrai.

R2C5=5 est faux. Il ne reste plus que R2C5 à R2C5=6, cela doit donc être vrai.
R2C5=5 est faux. Il ne reste plus que R2C5 à R2C5=6, cela doit donc être vrai.
Étape 12 · Raisonnement

R2C5 est la prochaine case bivaleur R2C5=5, R2C5=6. Avec son autre chiffre candidat faux, R2C5=6 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C6=6, donc rayez ces conflits.

R2C5 est la prochaine case bivaleur R2C5=5, R2C5=6. Avec son autre chiffre candidat faux, R2C5=6 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C6=6, donc rayez ces conflits.
R2C5 est la prochaine case bivaleur R2C5=5, R2C5=6. Avec son autre chiffre candidat faux, R2C5=6 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C6=6, donc rayez ces conflits.
Étape 13 · Raisonnement

R2C6=6 est faux. Il ne reste plus que R2C6 à R2C6=1, cela doit donc être vrai.

R2C6=6 est faux. Il ne reste plus que R2C6 à R2C6=1, cela doit donc être vrai.
R2C6=6 est faux. Il ne reste plus que R2C6 à R2C6=1, cela doit donc être vrai.
Étape 14 · Raisonnement

R2C6 est la prochaine case bivaleur R2C6=1, R2C6=6. Avec son autre chiffre candidat faux, R2C6=1 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C9=1, donc rayez ces conflits.

R2C6 est la prochaine case bivaleur R2C6=1, R2C6=6. Avec son autre chiffre candidat faux, R2C6=1 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C9=1, donc rayez ces conflits.
R2C6 est la prochaine case bivaleur R2C6=1, R2C6=6. Avec son autre chiffre candidat faux, R2C6=1 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R2C9=1, donc rayez ces conflits.
Étape 15 · Raisonnement

R2C9=1 est faux. Il ne reste plus que R2C9 à R2C9=7, cela doit donc être vrai.

R2C9=1 est faux. Il ne reste plus que R2C9 à R2C9=7, cela doit donc être vrai.
R2C9=1 est faux. Il ne reste plus que R2C9 à R2C9=7, cela doit donc être vrai.
Étape 16 · Raisonnement

R2C9 est la prochaine case bivaleur R2C9=1, R2C9=7. Avec son autre chiffre candidat faux, R2C9=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R3C9=7, donc rayez ces conflits.

R2C9 est la prochaine case bivaleur R2C9=1, R2C9=7. Avec son autre chiffre candidat faux, R2C9=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R3C9=7, donc rayez ces conflits.
R2C9 est la prochaine case bivaleur R2C9=1, R2C9=7. Avec son autre chiffre candidat faux, R2C9=7 est forcé à être vrai selon l'hypothèse actuelle. Dans les cases, il s’exclut mutuellement avec R3C9=7, donc rayez ces conflits.
Étape 17 · Raisonnement

Au niveau de la case bivaleur de point de terminaison R3C9 (R3C9=1, R3C9=7), R3C9=7 est faux, donc R3C9=1 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R3C1=1, R3C2=1, R3C3=1.

Au niveau de la case bivaleur de point de terminaison R3C9 (R3C9=1, R3C9=7), R3C9=7 est faux, donc R3C9=1 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R3C1=1, R3C2=1, R3C3=1.
Au niveau de la case bivaleur de point de terminaison R3C9 (R3C9=1, R3C9=7), R3C9=7 est faux, donc R3C9=1 est forcé à être vrai selon l'hypothèse actuelle. Ce point de terminaison exclut les cibles R3C1=1, R3C2=1, R3C3=1.
Étape 18 · 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 19 · Raisonnement

Supposons que le premier point de terminaison R1C3=1 est vrai dans sa case bivaleur R1C3 (R1C3=1, R1C3=9). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R1C3=9, R3C1=1, R3C2=1, R3C3=1.

Supposons que le premier point de terminaison R1C3=1 est vrai dans sa case bivaleur R1C3 (R1C3=1, R1C3=9). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R1C3=9, R3C1=1, R3C2=1, R3C3=1.
Supposons que le premier point de terminaison R1C3=1 est vrai dans sa case bivaleur R1C3 (R1C3=1, R1C3=9). Dans la case, l'autre chiffre candidat est exclu ; entre les cases, il exclut les chiffres candidats visibles en conflit R1C3=9, R3C1=1, R3C2=1, R3C3=1.
Étape 20 · Conclusion

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R3C1=1, R3C2=1, R3C3=1. Retirez les états de vérité logiques temporaires, puis supprimez-les.

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R3C1=1, R3C2=1, R3C3=1. Retirez les états de vérité logiques temporaires, puis supprimez-les.
Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R3C1=1, R3C2=1, R3C3=1. Retirez les états de vérité logiques temporaires, puis supprimez-les.

Ce qu'il permet

Les deux cas extrêmes épuisent toutes les possibilités et tous deux rayent R3C1=1, R3C2=1, R3C3=1. Retirez les états de vérité logiques temporaires, puis supprimez-les.

XY-Chain · Supprimez le chiffre du point de terminaison partagé d’une case qui voit les deux extrémités.
XY-Chain · Supprimez le chiffre du point de terminaison partagé d’une case qui voit les deux extrémités.

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