Platon Games
Français

Platon Sudoku · Apprendre le sudoku

Nice Loop / AIC · Exemple étape par étape

Une chaîne d'inférence alternée relie les états de vérité logiques des chiffres candidats à des liens d'inférence forts et faibles vérifiés. Les chaînes ouvertes et fermées ont des conclusions distinctes. Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.

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

Une chaîne d'inférence alternée relie les états de vérité logiques des chiffres candidats à des liens d'inférence forts et faibles vérifiés. Les chaînes ouvertes et fermées ont des conclusions distinctes.

Comment le trouver

Tracez chaque implication à partir d'une extrémité, en enregistrant les transitions fortes et faibles et si la chaîne se ferme ou contredit un point final.

Ce qu'il permet

Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.

Évitez les confusions

Un lien fort signifie que si une extrémité est fausse, l’autre est vraie. Un lien faible signifie que si une extrémité est vraie, l’autre est fausse. Ne renversez pas ces implications ; vérifiez la relation entre les extrémités avant de conclure.

Exemple étape par étape · Discontinu · éliminer

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 · Lisez le AIC avant de le suivre

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C6=1 est vrai et inspectez R1C6=1. Dans colonne 6, rangée 2, colonne 9, rangée 7, bloc 5, rangée 5, colonne 1, rangée 9, colonne 8, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C6=1 est vrai et inspectez R1C6=1. Dans colonne 6, rangée 2, colonne 9, rangée 7, bloc 5, rangée 5, colonne 1, rangée 9, colonne 8, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C6=1 est vrai et inspectez R1C6=1. Dans colonne 6, rangée 2, colonne 9, rangée 7, bloc 5, rangée 5, colonne 1, rangée 9, colonne 8, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Étape 2 · Hypothèse : démarrer la chaîne alternée

Branche 1 : supposons que R1C6=1 soit vrai.

Branche 1 : supposons que R1C6=1 soit vrai.
Branche 1 : supposons que R1C6=1 soit vrai.
Étape 3 · Relation faible : conflit de chiffres candidats liés

R1C6=1 est vrai. Supprimez R1C6=8.

R1C6=1 est vrai. Supprimez R1C6=8.
R1C6=1 est vrai. Supprimez R1C6=8.
Étape 4 · Relation forte : l'autre point de terminaison est forcé

R1C6=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R2C6=8 doit être vrai.

R1C6=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R2C6=8 doit être vrai.
R1C6=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R2C6=8 doit être vrai.
Étape 5 · Relation faible : conflit de chiffres candidats liés

R2C6=8 est vrai. Supprimez R2C6=6.

R2C6=8 est vrai. Supprimez R2C6=6.
R2C6=8 est vrai. Supprimez R2C6=6.
Étape 6 · Relation forte : l'autre point de terminaison est forcé

R2C6=6 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 2. Par conséquent, R2C9=6 doit être vrai.

R2C6=6 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 2. Par conséquent, R2C9=6 doit être vrai.
R2C6=6 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 2. Par conséquent, R2C9=6 doit être vrai.
Étape 7 · Relation faible : conflit de chiffres candidats liés

R2C9=6 est vrai. Supprimez R2C9=3.

R2C9=6 est vrai. Supprimez R2C9=3.
R2C9=6 est vrai. Supprimez R2C9=3.
Étape 8 · Relation forte : l'autre point de terminaison est forcé

R2C9=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 9. Par conséquent, R7C9=3 doit être vrai.

R2C9=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 9. Par conséquent, R7C9=3 doit être vrai.
R2C9=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 9. Par conséquent, R7C9=3 doit être vrai.
Étape 9 · Relation faible : conflit de chiffres candidats liés

R7C9=3 est vrai. Supprimez R7C6=3.

R7C9=3 est vrai. Supprimez R7C6=3.
R7C9=3 est vrai. Supprimez R7C6=3.
Étape 10 · Relation forte : l'autre point de terminaison est forcé

R7C6=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R6C6=3 doit être vrai.

R7C6=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R6C6=3 doit être vrai.
R7C6=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R6C6=3 doit être vrai.
Étape 11 · Relation faible : conflit de chiffres candidats liés

R6C6=3 est vrai. Supprimez R5C4=3.

R6C6=3 est vrai. Supprimez R5C4=3.
R6C6=3 est vrai. Supprimez R5C4=3.
Étape 12 · Relation forte : l'autre point de terminaison est forcé

R5C4=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 5. Par conséquent, R5C1=3 doit être vrai.

R5C4=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 5. Par conséquent, R5C1=3 doit être vrai.
R5C4=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 5. Par conséquent, R5C1=3 doit être vrai.
Étape 13 · Relation faible : conflit de chiffres candidats liés

R5C1=3 est vrai. Supprimez R9C1=3.

R5C1=3 est vrai. Supprimez R9C1=3.
R5C1=3 est vrai. Supprimez R9C1=3.
Étape 14 · Relation forte : l'autre point de terminaison est forcé

R9C1=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 9. Par conséquent, R9C8=3 doit être vrai.

R9C1=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 9. Par conséquent, R9C8=3 doit être vrai.
R9C1=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 9. Par conséquent, R9C8=3 doit être vrai.
Étape 15 · Relation faible : conflit de chiffres candidats liés

R9C8=3 est vrai. Supprimez R2C8=3.

R9C8=3 est vrai. Supprimez R2C8=3.
R9C8=3 est vrai. Supprimez R2C8=3.
Étape 16 · Même case : forcer l'autre chiffre candidat

R2C8=3 est faux. Dans la même case R2C8, l’autre chiffre candidat R2C8=8 est forcé à être vrai selon l’hypothèse actuelle.

R2C8=3 est faux. Dans la même case R2C8, l’autre chiffre candidat R2C8=8 est forcé à être vrai selon l’hypothèse actuelle.
R2C8=3 est faux. Dans la même case R2C8, l’autre chiffre candidat R2C8=8 est forcé à être vrai selon l’hypothèse actuelle.
Étape 17 · Relation faible : conflit de chiffres candidats liés

R2C8=8 est vrai. Supprimez R2C6=8.

R2C8=8 est vrai. Supprimez R2C6=8.
R2C8=8 est vrai. Supprimez R2C6=8.
Étape 18 · Relation forte : l'autre point de terminaison est forcé

R2C6=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R1C6=8 doit être vrai.

R2C6=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R1C6=8 doit être vrai.
R2C6=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 6. Par conséquent, R1C6=8 doit être vrai.
Étape 19 · La chaîne atteint une contradiction

La déduction contredit « R1C6=1 est vrai », donc R1C6=1 est faux.

La déduction contredit « R1C6=1 est vrai », donc R1C6=1 est faux.
La déduction contredit « R1C6=1 est vrai », donc R1C6=1 est faux.
Étape 20 · 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 21 · Résumé AIC

La chaîne alternée partait de « R1C6=1 est vrai » et suivait les relations fortes et faibles étiquetées, y compris les commutateurs de même case si nécessaire, jusqu'à une contradiction. Donc R1C6=1 est faux. Tous les états de vérité logiques temporaires sont retirés.

La chaîne alternée partait de « R1C6=1 est vrai » et suivait les relations fortes et faibles étiquetées, y compris les commutateurs de même case si nécessaire, jusqu'à une contradiction. Donc R1C6=1 est faux. Tous les états de vérité logiques temporaires sont retirés.
La chaîne alternée partait de « R1C6=1 est vrai » et suivait les relations fortes et faibles étiquetées, y compris les commutateurs de même case si nécessaire, jusqu'à une contradiction. Donc R1C6=1 est faux. Tous les états de vérité logiques temporaires sont retirés.

Ce qu'il permet

La chaîne alternée partait de « R1C6=1 est vrai » et suivait les relations fortes et faibles étiquetées, y compris les commutateurs de même case si nécessaire, jusqu'à une contradiction. Donc R1C6=1 est faux. Tous les états de vérité logiques temporaires sont retirés.

Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.
Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.

Exemple étape par étape · Discontinu · lieu

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 · Lisez le AIC avant de le suivre

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C1=4 est faux et inspectez R1C1=4. Dans rangée 1, colonne 2, bloc 4, colonne 3, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C1=4 est faux et inspectez R1C1=4. Dans rangée 1, colonne 2, bloc 4, colonne 3, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C1=4 est faux et inspectez R1C1=4. Dans rangée 1, colonne 2, bloc 4, colonne 3, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Étape 2 · Hypothèse : démarrer la chaîne alternée

Branche 1 : supposons que R1C1=4 soit faux.

Branche 1 : supposons que R1C1=4 soit faux.
Branche 1 : supposons que R1C1=4 soit faux.
Étape 3 · Relation forte : l'autre point de terminaison est forcé

R1C1=4 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C3=4 doit être vrai.

R1C1=4 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C3=4 doit être vrai.
R1C1=4 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C3=4 doit être vrai.
Étape 4 · Relation faible : conflit de chiffres candidats liés

R1C3=4 est vrai. Supprimez R1C3=5.

R1C3=4 est vrai. Supprimez R1C3=5.
R1C3=4 est vrai. Supprimez R1C3=5.
Étape 5 · Relation forte : l'autre point de terminaison est forcé

R1C3=5 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C2=5 doit être vrai.

R1C3=5 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C2=5 doit être vrai.
R1C3=5 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C2=5 doit être vrai.
Étape 6 · Relation faible : conflit de chiffres candidats liés

R1C2=5 est vrai. Supprimez R1C2=9.

R1C2=5 est vrai. Supprimez R1C2=9.
R1C2=5 est vrai. Supprimez R1C2=9.
Étape 7 · Relation forte : l'autre point de terminaison est forcé

R1C2=9 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 2. Par conséquent, R5C2=9 doit être vrai.

R1C2=9 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 2. Par conséquent, R5C2=9 doit être vrai.
R1C2=9 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 2. Par conséquent, R5C2=9 doit être vrai.
Étape 8 · Relation faible : conflit de chiffres candidats liés

R5C2=9 est vrai. Supprimez R4C3=9.

R5C2=9 est vrai. Supprimez R4C3=9.
R5C2=9 est vrai. Supprimez R4C3=9.
Étape 9 · Même case : forcer l'autre chiffre candidat

R4C3=9 est faux. Dans la même case R4C3, l’autre chiffre candidat R4C3=4 est forcé à être vrai selon l’hypothèse actuelle.

R4C3=9 est faux. Dans la même case R4C3, l’autre chiffre candidat R4C3=4 est forcé à être vrai selon l’hypothèse actuelle.
R4C3=9 est faux. Dans la même case R4C3, l’autre chiffre candidat R4C3=4 est forcé à être vrai selon l’hypothèse actuelle.
Étape 10 · Relation faible : conflit de chiffres candidats liés

R4C3=4 est vrai. Supprimez R1C3=4.

R4C3=4 est vrai. Supprimez R1C3=4.
R4C3=4 est vrai. Supprimez R1C3=4.
Étape 11 · La chaîne atteint une contradiction

La déduction contredit « R1C1=4 est faux », donc R1C1=4 est vrai.

La déduction contredit « R1C1=4 est faux », donc R1C1=4 est vrai.
La déduction contredit « R1C1=4 est faux », donc R1C1=4 est vrai.
É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 · Résumé AIC

La chaîne alternée partait de « R1C1=4 est faux » et suivait les relations fortes et faibles étiquetées, y compris les commutateurs de même case si nécessaire, jusqu'à une contradiction. Donc R1C1=4 est vrai. Tous les états de vérité logiques temporaires sont retirés.

La chaîne alternée partait de « R1C1=4 est faux » et suivait les relations fortes et faibles étiquetées, y compris les commutateurs de même case si nécessaire, jusqu'à une contradiction. Donc R1C1=4 est vrai. Tous les états de vérité logiques temporaires sont retirés.
La chaîne alternée partait de « R1C1=4 est faux » et suivait les relations fortes et faibles étiquetées, y compris les commutateurs de même case si nécessaire, jusqu'à une contradiction. Donc R1C1=4 est vrai. Tous les états de vérité logiques temporaires sont retirés.

Ce qu'il permet

La chaîne alternée partait de « R1C1=4 est faux » et suivait les relations fortes et faibles étiquetées, y compris les commutateurs de même case si nécessaire, jusqu'à une contradiction. Donc R1C1=4 est vrai. Tous les états de vérité logiques temporaires sont retirés.

Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.
Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.

Exemple étape par étape · Tapez 1

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 · Lisez le AIC avant de le suivre

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C6=2 est faux et inspectez R1C8=2, R1C9=2, R2C4=2. Dans colonne 6, rangée 2, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C6=2 est faux et inspectez R1C8=2, R1C9=2, R2C4=2. Dans colonne 6, rangée 2, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C6=2 est faux et inspectez R1C8=2, R1C9=2, R2C4=2. Dans colonne 6, rangée 2, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Étape 2 · Hypothèse : démarrer la chaîne alternée

Branche 1 : supposons que R1C6=2 soit faux.

Branche 1 : supposons que R1C6=2 soit faux.
Branche 1 : supposons que R1C6=2 soit faux.
Étape 3 · Même case : forcer l'autre chiffre candidat

R1C6=2 est faux. Dans la même case R1C6, l’autre chiffre candidat R1C6=1 est forcé à être vrai selon l’hypothèse actuelle.

R1C6=2 est faux. Dans la même case R1C6, l’autre chiffre candidat R1C6=1 est forcé à être vrai selon l’hypothèse actuelle.
R1C6=2 est faux. Dans la même case R1C6, l’autre chiffre candidat R1C6=1 est forcé à être vrai selon l’hypothèse actuelle.
Étape 4 · Relation faible : conflit de chiffres candidats liés

R1C6=1 est vrai. Supprimez R6C6=1.

R1C6=1 est vrai. Supprimez R6C6=1.
R1C6=1 est vrai. Supprimez R6C6=1.
Étape 5 · Même case : forcer l'autre chiffre candidat

R6C6=1 est faux. Dans la même case R6C6, l’autre chiffre candidat R6C6=6 est forcé à être vrai selon l’hypothèse actuelle.

R6C6=1 est faux. Dans la même case R6C6, l’autre chiffre candidat R6C6=6 est forcé à être vrai selon l’hypothèse actuelle.
R6C6=1 est faux. Dans la même case R6C6, l’autre chiffre candidat R6C6=6 est forcé à être vrai selon l’hypothèse actuelle.
Étape 6 · Relation faible : conflit de chiffres candidats liés

R6C6=6 est vrai. Supprimez R2C6=6.

R6C6=6 est vrai. Supprimez R2C6=6.
R6C6=6 est vrai. Supprimez R2C6=6.
Étape 7 · Même case : forcer l'autre chiffre candidat

R2C6=6 est faux. Dans la même case R2C6, l’autre chiffre candidat R2C6=7 est forcé à être vrai selon l’hypothèse actuelle.

R2C6=6 est faux. Dans la même case R2C6, l’autre chiffre candidat R2C6=7 est forcé à être vrai selon l’hypothèse actuelle.
R2C6=6 est faux. Dans la même case R2C6, l’autre chiffre candidat R2C6=7 est forcé à être vrai selon l’hypothèse actuelle.
Étape 8 · Relation faible : conflit de chiffres candidats liés

R2C6=7 est vrai. Supprimez R2C8=7.

R2C6=7 est vrai. Supprimez R2C8=7.
R2C6=7 est vrai. Supprimez R2C8=7.
Étape 9 · Même case : forcer l'autre chiffre candidat

R2C8=7 est faux. Dans la même case R2C8, l’autre chiffre candidat R2C8=2 est forcé à être vrai selon l’hypothèse actuelle.

R2C8=7 est faux. Dans la même case R2C8, l’autre chiffre candidat R2C8=2 est forcé à être vrai selon l’hypothèse actuelle.
R2C8=7 est faux. Dans la même case R2C8, l’autre chiffre candidat R2C8=2 est forcé à être vrai selon l’hypothèse actuelle.
Étape 10 · Résumé AIC

Au moins une des deux extrémités R1C6=2 et R2C8=2, portant le même chiffre, doit être vraie. Chaque cible R1C8=2, R1C9=2, R2C4=2 voit les deux extrémités et ne peut donc pas être vraie.

Au moins une des deux extrémités R1C6=2 et R2C8=2, portant le même chiffre, doit être vraie. Chaque cible R1C8=2, R1C9=2, R2C4=2 voit les deux extrémités et ne peut donc pas être vraie.
Au moins une des deux extrémités R1C6=2 et R2C8=2, portant le même chiffre, doit être vraie. Chaque cible R1C8=2, R1C9=2, R2C4=2 voit les deux extrémités et ne peut donc pas être vraie.
É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 · Résumé AIC

Retirez le cas de point de terminaison temporaire. Le type 1 AIC supprime définitivement R1C8=2, R1C9=2, R2C4=2, car chaque cible voit à la fois R1C6=2 et R2C8=2.

Retirez le cas de point de terminaison temporaire. Le type 1 AIC supprime définitivement R1C8=2, R1C9=2, R2C4=2, car chaque cible voit à la fois R1C6=2 et R2C8=2.
Retirez le cas de point de terminaison temporaire. Le type 1 AIC supprime définitivement R1C8=2, R1C9=2, R2C4=2, car chaque cible voit à la fois R1C6=2 et R2C8=2.

Ce qu'il permet

Retirez le cas de point de terminaison temporaire. Le type 1 AIC supprime définitivement R1C8=2, R1C9=2, R2C4=2, car chaque cible voit à la fois R1C6=2 et R2C8=2.

Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.
Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.

Exemple étape par étape · Tapez 2

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 · Lisez le AIC avant de le suivre

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C8=9 est faux et inspectez R4C8=9. Dans rangée 1, colonne 7, bloc 6, colonne 8, rangée 3, colonne 6, rangée 5, colonne 4, rangée 6, colonne 9, rangée 4, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C8=9 est faux et inspectez R4C8=9. Dans rangée 1, colonne 7, bloc 6, colonne 8, rangée 3, colonne 6, rangée 5, colonne 4, rangée 6, colonne 9, rangée 4, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R1C8=9 est faux et inspectez R4C8=9. Dans rangée 1, colonne 7, bloc 6, colonne 8, rangée 3, colonne 6, rangée 5, colonne 4, rangée 6, colonne 9, rangée 4, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Étape 2 · Hypothèse : démarrer la chaîne alternée

Branche 1 : supposons que R1C8=9 soit faux.

Branche 1 : supposons que R1C8=9 soit faux.
Branche 1 : supposons que R1C8=9 soit faux.
Étape 3 · Relation forte : l'autre point de terminaison est forcé

R1C8=9 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C7=9 doit être vrai.

R1C8=9 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C7=9 doit être vrai.
R1C8=9 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 1. Par conséquent, R1C7=9 doit être vrai.
Étape 4 · Relation faible : conflit de chiffres candidats liés

R1C7=9 est vrai. Supprimez R5C7=9.

R1C7=9 est vrai. Supprimez R5C7=9.
R1C7=9 est vrai. Supprimez R5C7=9.
Étape 5 · Même case : forcer l'autre chiffre candidat

R5C7=9 est faux. Dans la même case R5C7, l’autre chiffre candidat R5C7=2 est forcé à être vrai selon l’hypothèse actuelle.

R5C7=9 est faux. Dans la même case R5C7, l’autre chiffre candidat R5C7=2 est forcé à être vrai selon l’hypothèse actuelle.
R5C7=9 est faux. Dans la même case R5C7, l’autre chiffre candidat R5C7=2 est forcé à être vrai selon l’hypothèse actuelle.
Étape 6 · Relation faible : conflit de chiffres candidats liés

R5C7=2 est vrai. Supprimez R6C8=2.

R5C7=2 est vrai. Supprimez R6C8=2.
R5C7=2 est vrai. Supprimez R6C8=2.
Étape 7 · Même case : forcer l'autre chiffre candidat

R6C8=2 est faux. Dans la même case R6C8, l’autre chiffre candidat R6C8=1 est forcé à être vrai selon l’hypothèse actuelle.

R6C8=2 est faux. Dans la même case R6C8, l’autre chiffre candidat R6C8=1 est forcé à être vrai selon l’hypothèse actuelle.
R6C8=2 est faux. Dans la même case R6C8, l’autre chiffre candidat R6C8=1 est forcé à être vrai selon l’hypothèse actuelle.
Étape 8 · Relation faible : conflit de chiffres candidats liés

R6C8=1 est vrai. Supprimez R3C8=1.

R6C8=1 est vrai. Supprimez R3C8=1.
R6C8=1 est vrai. Supprimez R3C8=1.
Étape 9 · Même case : forcer l'autre chiffre candidat

R3C8=1 est faux. Dans la même case R3C8, l’autre chiffre candidat R3C8=6 est forcé à être vrai selon l’hypothèse actuelle.

R3C8=1 est faux. Dans la même case R3C8, l’autre chiffre candidat R3C8=6 est forcé à être vrai selon l’hypothèse actuelle.
R3C8=1 est faux. Dans la même case R3C8, l’autre chiffre candidat R3C8=6 est forcé à être vrai selon l’hypothèse actuelle.
Étape 10 · Relation faible : conflit de chiffres candidats liés

R3C8=6 est vrai. Supprimez R3C6=6.

R3C8=6 est vrai. Supprimez R3C6=6.
R3C8=6 est vrai. Supprimez R3C6=6.
Étape 11 · Même case : forcer l'autre chiffre candidat

R3C6=6 est faux. Dans la même case R3C6, l’autre chiffre candidat R3C6=4 est forcé à être vrai selon l’hypothèse actuelle.

R3C6=6 est faux. Dans la même case R3C6, l’autre chiffre candidat R3C6=4 est forcé à être vrai selon l’hypothèse actuelle.
R3C6=6 est faux. Dans la même case R3C6, l’autre chiffre candidat R3C6=4 est forcé à être vrai selon l’hypothèse actuelle.
Étape 12 · Relation faible : conflit de chiffres candidats liés

R3C6=4 est vrai. Supprimez R5C6=4.

R3C6=4 est vrai. Supprimez R5C6=4.
R3C6=4 est vrai. Supprimez R5C6=4.
Étape 13 · Relation forte : l'autre point de terminaison est forcé

R5C6=4 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 5. Par conséquent, R5C4=4 doit être vrai.

R5C6=4 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 5. Par conséquent, R5C4=4 doit être vrai.
R5C6=4 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 5. Par conséquent, R5C4=4 doit être vrai.
Étape 14 · Relation faible : conflit de chiffres candidats liés

R5C4=4 est vrai. Supprimez R5C4=3.

R5C4=4 est vrai. Supprimez R5C4=3.
R5C4=4 est vrai. Supprimez R5C4=3.
Étape 15 · Relation forte : l'autre point de terminaison est forcé

R5C4=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 4. Par conséquent, R6C4=3 doit être vrai.

R5C4=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 4. Par conséquent, R6C4=3 doit être vrai.
R5C4=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 4. Par conséquent, R6C4=3 doit être vrai.
Étape 16 · Relation faible : conflit de chiffres candidats liés

R6C4=3 est vrai. Supprimez R6C9=3.

R6C4=3 est vrai. Supprimez R6C9=3.
R6C4=3 est vrai. Supprimez R6C9=3.
Étape 17 · Relation forte : l'autre point de terminaison est forcé

R6C9=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 9. Par conséquent, R4C9=3 doit être vrai.

R6C9=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 9. Par conséquent, R4C9=3 doit être vrai.
R6C9=3 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 9. Par conséquent, R4C9=3 doit être vrai.
Étape 18 · Relation faible : conflit de chiffres candidats liés

R4C9=3 est vrai. Supprimez R4C9=7.

R4C9=3 est vrai. Supprimez R4C9=7.
R4C9=3 est vrai. Supprimez R4C9=7.
Étape 19 · Relation forte : l'autre point de terminaison est forcé

R4C9=7 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 4. Par conséquent, R4C8=7 doit être vrai.

R4C9=7 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 4. Par conséquent, R4C8=7 doit être vrai.
R4C9=7 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 4. Par conséquent, R4C8=7 doit être vrai.
Étape 20 · Résumé AIC

Les points de terminaison homologues R1C8=9 et R4C8=7 portent des chiffres différents. Chaque chiffre de candidat croisé marqué R4C8=9 rendrait les deux points de terminaison faux, alors supprimez-le.

Les points de terminaison homologues R1C8=9 et R4C8=7 portent des chiffres différents. Chaque chiffre de candidat croisé marqué R4C8=9 rendrait les deux points de terminaison faux, alors supprimez-le.
Les points de terminaison homologues R1C8=9 et R4C8=7 portent des chiffres différents. Chaque chiffre de candidat croisé marqué R4C8=9 rendrait les deux points de terminaison faux, alors supprimez-le.
Étape 21 · 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 22 · Résumé AIC

Retirez le cas de point de terminaison temporaire. Le type 2 AIC supprime définitivement les chiffres croisés R4C8=9 entre R1C8=9 et R4C8=7.

Retirez le cas de point de terminaison temporaire. Le type 2 AIC supprime définitivement les chiffres croisés R4C8=9 entre R1C8=9 et R4C8=7.
Retirez le cas de point de terminaison temporaire. Le type 2 AIC supprime définitivement les chiffres croisés R4C8=9 entre R1C8=9 et R4C8=7.

Ce qu'il permet

Retirez le cas de point de terminaison temporaire. Le type 2 AIC supprime définitivement les chiffres croisés R4C8=9 entre R1C8=9 et R4C8=7.

Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.
Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.

Exemple étape par étape · Boucle continue

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 · Lisez le AIC avant de le suivre

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R9C3=6 est faux et inspectez R9C3=5. Dans colonne 3, rangée 5, colonne 8, rangée 9, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.

Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R9C3=6 est faux et inspectez R9C3=5. Dans colonne 3, rangée 5, colonne 8, rangée 9, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Cette leçon Nice Loop / AIC utilise la famille de nœuds-chiffres candidats ordinaires de HoDoKu : éliminations et placements discontinus, chaînes ouvertes de type 1 et de type 2 et boucles continues. Commencez par R9C3=6 est faux et inspectez R9C3=5. Dans colonne 3, rangée 5, colonne 8, rangée 9, un lien en ligne continue signifie qu'au moins une extrémité est vraie ; un lien en pointillés signifie que les deux points de terminaison ne peuvent pas être vrais en même temps. Suivez une relation mise en évidence à la fois.
Étape 2 · Hypothèse : démarrer la chaîne alternée

Choisissez R9C3=6 uniquement comme début de lecture de cette boucle fermée. Il ne s’agit pas d’une hypothèse d’essai ; la boucle alternée reviendra ici.

Choisissez R9C3=6 uniquement comme début de lecture de cette boucle fermée. Il ne s’agit pas d’une hypothèse d’essai ; la boucle alternée reviendra ici.
Choisissez R9C3=6 uniquement comme début de lecture de cette boucle fermée. Il ne s’agit pas d’une hypothèse d’essai ; la boucle alternée reviendra ici.
Étape 3 · Relation forte : l'autre point de terminaison est forcé

R9C3=6 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 3. Par conséquent, R5C3=6 doit être vrai.

R9C3=6 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 3. Par conséquent, R5C3=6 doit être vrai.
R9C3=6 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du colonne 3. Par conséquent, R5C3=6 doit être vrai.
Étape 4 · Relation faible : conflit de chiffres candidats liés

R5C3=6 est vrai. Supprimez R5C8=6.

R5C3=6 est vrai. Supprimez R5C8=6.
R5C3=6 est vrai. Supprimez R5C8=6.
Étape 5 · Même case : forcer l'autre chiffre candidat

R5C8=6 est faux. Dans la même case R5C8, l’autre chiffre candidat R5C8=8 est forcé à être vrai selon l’hypothèse actuelle.

R5C8=6 est faux. Dans la même case R5C8, l’autre chiffre candidat R5C8=8 est forcé à être vrai selon l’hypothèse actuelle.
R5C8=6 est faux. Dans la même case R5C8, l’autre chiffre candidat R5C8=8 est forcé à être vrai selon l’hypothèse actuelle.
Étape 6 · Relation faible : conflit de chiffres candidats liés

R5C8=8 est vrai. Supprimez R9C8=8.

R5C8=8 est vrai. Supprimez R9C8=8.
R5C8=8 est vrai. Supprimez R9C8=8.
Étape 7 · Relation forte : l'autre point de terminaison est forcé

R9C8=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 9. Par conséquent, R9C3=8 doit être vrai.

R9C8=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 9. Par conséquent, R9C3=8 doit être vrai.
R9C8=8 est faux. Ensemble, ces deux côtés contiennent toutes les options restantes du rangée 9. Par conséquent, R9C3=8 doit être vrai.
Étape 8 · Relation faible : conflit de chiffres candidats liés

R9C3=8 est vrai. Supprimez R9C3=6.

R9C3=8 est vrai. Supprimez R9C3=6.
R9C3=8 est vrai. Supprimez R9C3=6.
Étape 9 · Résumé AIC

La chaîne se ferme comme une boucle alternative continue. Chaque relation faible sur la boucle est donc forte, ce qui supprime R9C3=5 de la case ou de l'unité Sudoku affectée.

La chaîne se ferme comme une boucle alternative continue. Chaque relation faible sur la boucle est donc forte, ce qui supprime R9C3=5 de la case ou de l'unité Sudoku affectée.
La chaîne se ferme comme une boucle alternative continue. Chaque relation faible sur la boucle est donc forte, ce qui supprime R9C3=5 de la case ou de l'unité Sudoku affectée.
É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 · Résumé AIC

Le parcours de la boucle est terminé ; retirer ses états de vérité logiques temporaires et supprimer définitivement R9C3=5.

Le parcours de la boucle est terminé ; retirer ses états de vérité logiques temporaires et supprimer définitivement R9C3=5.
Le parcours de la boucle est terminé ; retirer ses états de vérité logiques temporaires et supprimer définitivement R9C3=5.

Ce qu'il permet

Le parcours de la boucle est terminé ; retirer ses états de vérité logiques temporaires et supprimer définitivement R9C3=5.

Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.
Nice Loop / AIC · Utilisez le résultat vérifié : supprimez un chiffre candidat ou placez un chiffre lorsque son état de vérité logique opposé est impossible.

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