Le Grand LivreDES JEUX
← Les 40 défis

SOLO-010 · Sudoku Killer

EXTRÊME

Les totaux intraitables

Compléter entièrement la grille. Une seule solution respecte toutes les contraintes.

Corrigé — cette page contient la réponse.

La réponse exacte

637412598 / 981375624 / 245896731 / 528961473 / 174238965 / 396754182 / 712589346 / 463127859 / 859643217

Coordonnées : lignes du haut vers le bas, colonnes de gauche à droite.
L / C123456789
19631474121352298
216918812737195624
32458189672031
4517289614783
513171041823218965
639675411982
7197191825278934156
84631122711859
985596432177

Trait épais : région. Pointillés à l’intérieur des cases : cage et son total. Une teinte sur une diagonale rappelle la contrainte diagonale, si elle s’applique.

Liste exacte des cages (coordonnées et totaux)

Le raisonnement

  1. Noter les candidats de chaque case en croisant ligne, colonne et région et sommes de cages.
  2. Dans le certificat ci-dessous, les unités 1 à 9 sont les lignes, 10 à 18 les colonnes, 19 à 27 les régions. Les unités 28 et 29, si présentes, sont les diagonales.
  3. Un sous-ensemble nu de deux ou trois cases réserve autant de chiffres : ces chiffres sont exclus des autres cases de l’unité. Une interaction confine un chiffre dans l’intersection de deux unités et l’exclut du reste de la seconde.
  4. Chaque hypothèse ouvre une branche séparée. Ne jamais conserver dans la branche voisine une valeur trouvée sous une hypothèse abandonnée. Les contradictions et tous les chiffres déduits figurent dans l’arbre de preuve.
  5. La recherche trouve exactement une grille complète. Elle parcourt 127 états ; les 63 branches contradictoires sont refermées. Vérifier enfin chaque unité et chaque indice de départ.

Fausses pistes et erreurs

Déplier le certificat détaillé de recherche

Chaque branche est indépendante. L’arbre montre les déductions et contradictions du protocole utilisé ; ce n’est pas l’unique méthode possible.

  1. L8C9 : candidat unique → 9
  2. L9C2 : candidat unique → 5
  3. L9C9 : candidat unique → 7
  4. Sous-ensemble nu dans l’unité 18 : L4C9, L5C9 réservent [3, 5] ; retirer ces chiffres de L1C9, L2C9, L3C9, L6C9.
  5. L1C8 : candidat unique → 9
  6. L6C9 : seule place du 2 dans l’unité 18 → 2
  7. Sous-ensemble nu dans l’unité 21 : L1C9, L2C9, L3C9 réservent [1, 4, 8] ; retirer ces chiffres de L1C7, L2C7, L2C8, L3C7, L3C8.
  8. L2C8 : candidat unique → 2
  9. Sous-ensemble nu dans l’unité 16 : L1C7, L2C7 réservent [5, 6] ; retirer ces chiffres de L3C7, L4C7, L5C7, L6C7, L7C7, L8C7.
  10. Sous-ensemble nu dans l’unité 21 : L1C7, L2C7 réservent [5, 6] ; retirer ces chiffres de L3C8.
  11. Sous-ensemble nu dans l’unité 3 : L3C7, L3C8 réservent [3, 7] ; retirer ces chiffres de L3C1, L3C2, L3C3, L3C4, L3C5, L3C6.
  12. Sous-ensemble nu dans l’unité 24 : L4C9, L5C9 réservent [3, 5] ; retirer ces chiffres de L4C7, L4C8, L5C7, L5C8, L6C7, L6C8.
  13. Sous-ensemble nu dans l’unité 27 : L8C7, L9C8 réservent [1, 8] ; retirer ces chiffres de L7C7, L7C8, L8C8.
  14. L6C8 : candidat unique → 8
  15. L3C8 : candidat unique → 3
  16. L3C7 : candidat unique → 7
  17. L8C7 : candidat unique → 8
  18. L9C8 : candidat unique → 1
  19. L4C7 : candidat unique → 4
  20. L5C6 : candidat unique → 8
  21. L7C7 : candidat unique → 3
L1C7 = 5

Hypothèse : L1C7 = 5

  1. L2C7 : candidat unique → 6
L4C8 = 6

Hypothèse : L4C8 = 6

  1. L5C8 : candidat unique → 7
L4C9 = 3

Hypothèse : L4C9 = 3

  1. L5C9 : candidat unique → 5
L5C7 = 1

Hypothèse : L5C7 = 1

  1. L6C7 : candidat unique → 9
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  9. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  10. L3C6 : candidat unique → 6
  11. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
L3C4 = 8

Hypothèse : L3C4 = 8

  1. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1.
  2. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L6C6.
  3. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
L3C9 = 1

Hypothèse : L3C9 = 1

  1. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1.
  2. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L6C6.
  3. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
L1C9 = 4

Hypothèse : L1C9 = 4

  1. L1C3 : candidat unique → 8
  2. L2C9 : candidat unique → 8
  3. L9C3 : candidat unique → 9
  4. L7C1 : candidat unique → 7
  5. L7C6 : candidat unique → 9
  6. L8C1 : candidat unique → 4
  7. L8C6 : candidat unique → 7
  8. L9C1 : candidat unique → 8
  9. L9C6 : candidat unique → 3
  10. L1C2 : seule place du 7 dans l’unité 1 → 7
  11. L1C1 : candidat unique → 2

contradiction : une case n’a plus aucun candidat

L1C9 = 8

Hypothèse : L1C9 = 8

  1. L2C9 : candidat unique → 4
  2. L6C1 : seule place du 1 dans l’unité 10 → 1
  3. L5C1 : candidat unique → 9
  4. L6C2 : candidat unique → 3
  5. L7C1 : candidat unique → 7
  6. L2C1 : candidat unique → 3

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L3C9 = 4

Hypothèse : L3C9 = 4

  1. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1.
  2. Sous-ensemble nu dans l’unité 14 : L5C5, L9C5 réservent [4, 6] ; retirer ces chiffres de L1C5, L6C5.
  3. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L6C6.
  4. Interaction des unités 3 et 19 : le 1 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C3, L2C3.
  5. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
  6. Sous-ensemble nu dans l’unité 1 : L1C1, L1C2 réservent [3, 6] ; retirer ces chiffres de L1C3, L1C4, L1C5.
  7. L1C9 : seule place du 8 dans l’unité 1 → 8
  8. L2C9 : candidat unique → 1
  9. Sous-ensemble nu dans l’unité 19 : L1C1, L1C2 réservent [3, 6] ; retirer ces chiffres de L2C1, L2C2, L2C3.
  10. L3C2 : candidat unique → 2
  11. Sous-ensemble nu dans l’unité 12 : L3C3, L4C3 réservent [1, 5] ; retirer ces chiffres de L6C3.
  12. L9C3 : seule place du 9 dans l’unité 12 → 9
  13. L7C1 : candidat unique → 7
  14. L4C1 : candidat unique → 2
  15. L2C6 : candidat unique → 5
  16. L2C1 : candidat unique → 9
  17. L3C1 : candidat unique → 5
  18. L3C3 : candidat unique → 1
  19. L3C5 : candidat unique → 9
  20. L4C3 : candidat unique → 5

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L3C4 = 9

Hypothèse : L3C4 = 9

  1. L2C4 : candidat unique → 8
  2. L2C5 : candidat unique → 3
  3. L4C4 : candidat unique → 7
  4. L2C1 : seule place du 9 dans l’unité 2 → 9
  5. L7C1 : candidat unique → 7
  6. L7C6 : candidat unique → 9
  7. L8C1 : candidat unique → 4
  8. L8C6 : candidat unique → 7
  9. L9C1 : candidat unique → 8
  10. L9C3 : candidat unique → 9
  11. L4C3 : candidat unique → 5
  12. L2C2 : candidat unique → 7
  13. L1C5 : candidat unique → 7
  14. L2C3 : candidat unique → 1
  15. L1C3 : candidat unique → 4
  16. L1C4 : candidat unique → 2
  17. L1C6 : candidat unique → 1
  18. L1C9 : candidat unique → 8
  19. L2C6 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  6. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  7. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  8. L3C6 : candidat unique → 6
  9. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
L3C4 = 8

Hypothèse : L3C4 = 8

  1. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3.
  2. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L6C6.
  3. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
L3C9 = 1

Hypothèse : L3C9 = 1

  1. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3.
  2. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L6C6.
  3. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
L1C9 = 4

Hypothèse : L1C9 = 4

  1. L1C3 : candidat unique → 8
  2. L2C9 : candidat unique → 8
  3. L7C2 : candidat unique → 9
  4. L3C2 : candidat unique → 2
  5. L4C2 : candidat unique → 8
  6. L4C3 : candidat unique → 5
  7. L3C5 : candidat unique → 5
  8. L2C6 : candidat unique → 4
  9. L2C2 : candidat unique → 3

contradiction : une case n’a plus aucun candidat

L1C9 = 8

Hypothèse : L1C9 = 8

  1. L2C9 : candidat unique → 4
  2. L6C1 : seule place du 1 dans l’unité 10 → 1
  3. L5C1 : candidat unique → 9
  4. L6C2 : candidat unique → 3
  5. L7C1 : candidat unique → 4
  6. L2C1 : candidat unique → 3

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L3C9 = 4

Hypothèse : L3C9 = 4

  1. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3.
  2. Sous-ensemble nu dans l’unité 14 : L5C5, L9C5 réservent [4, 6] ; retirer ces chiffres de L1C5, L6C5.
  3. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L6C6.
  4. Interaction des unités 3 et 19 : le 1 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2, L1C3, L2C2, L2C3.
  5. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
  6. Sous-ensemble nu dans l’unité 1 : L1C1, L1C2 réservent [3, 6] ; retirer ces chiffres de L1C3, L1C4, L1C5.
  7. L1C9 : seule place du 8 dans l’unité 1 → 8
  8. L2C9 : candidat unique → 1
  9. Sous-ensemble nu dans l’unité 19 : L1C1, L1C2 réservent [3, 6] ; retirer ces chiffres de L2C1, L2C2, L2C3.
  10. Sous-ensemble nu dans l’unité 19 : L1C3, L2C2, L2C3 réservent [4, 7, 8] ; retirer ces chiffres de L2C1.
  11. L6C1 : seule place du 1 dans l’unité 10 → 1
  12. L5C1 : candidat unique → 9

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L3C4 = 9

Hypothèse : L3C4 = 9

  1. L2C4 : candidat unique → 8
  2. L2C5 : candidat unique → 3
  3. L4C4 : candidat unique → 7
  4. L2C1 : seule place du 9 dans l’unité 2 → 9
  5. L7C1 : candidat unique → 4
  6. L8C1 : candidat unique → 7
  7. L7C2 : candidat unique → 9
  8. L7C6 : candidat unique → 7
  9. L8C6 : candidat unique → 3
  10. L9C1 : candidat unique → 8
  11. L9C3 : candidat unique → 3
  12. L9C6 : candidat unique → 9
  13. L4C6 : seule place du 1 dans l’unité 4 → 1
  14. L2C6 : candidat unique → 5
  15. L3C5 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L5C7 = 9

Hypothèse : L5C7 = 9

  1. L6C7 : candidat unique → 1
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. L1C5 : seule place du 1 dans l’unité 14 → 1
  9. L4C6 : seule place du 1 dans l’unité 15 → 1
  10. L5C4 : seule place du 2 dans l’unité 23 → 2
  11. Sous-ensemble nu dans l’unité 4 : L4C3, L4C4, L4C5 réservent [5, 7, 9] ; retirer ces chiffres de L4C1, L4C2.
  12. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  13. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L6C6.
  14. L2C6 : candidat unique → 5
  15. L3C6 : candidat unique → 6
  16. L3C5 : candidat unique → 9
  17. L3C4 : candidat unique → 8
  18. L4C4 : candidat unique → 9
  19. L4C2 : candidat unique → 8
  20. L2C1 : candidat unique → 9
  21. L3C1 : candidat unique → 5
  22. L2C2 : candidat unique → 7

contradiction : une case n’a plus aucun candidat

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. L1C5 : seule place du 1 dans l’unité 14 → 1
  6. L4C6 : seule place du 1 dans l’unité 15 → 1
  7. L5C4 : seule place du 2 dans l’unité 23 → 2
  8. Sous-ensemble nu dans l’unité 4 : L4C3, L4C4, L4C5 réservent [5, 7, 9] ; retirer ces chiffres de L4C1, L4C2.
  9. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  10. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  11. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L6C6.
  12. L2C6 : candidat unique → 5
  13. L3C6 : candidat unique → 6
  14. L3C5 : candidat unique → 9
  15. L3C4 : candidat unique → 8
  16. L4C4 : candidat unique → 9
  17. L4C2 : candidat unique → 8
  18. L2C1 : candidat unique → 9
  19. L3C1 : candidat unique → 5
  20. L2C2 : candidat unique → 7

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L4C9 = 5

Hypothèse : L4C9 = 5

  1. L5C9 : candidat unique → 3
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
L5C7 = 1

Hypothèse : L5C7 = 1

  1. L6C7 : candidat unique → 9
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  9. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  10. L3C6 : candidat unique → 6
  11. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
  12. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
  13. L3C2 : seule place du 2 dans l’unité 3 → 2
  14. L4C6 : seule place du 2 dans l’unité 4 → 2
  15. L2C6 : candidat unique → 4
  16. L1C4 : candidat unique → 2
  17. L1C6 : candidat unique → 1
  18. L6C6 : candidat unique → 5
  19. L1C5 : seule place du 7 dans l’unité 1 → 7
  20. L1C3 : candidat unique → 4
  21. L1C9 : candidat unique → 8
  22. L2C9 : candidat unique → 1
  23. L3C9 : candidat unique → 4
  24. L4C4 : candidat unique → 7
  25. L2C1 : candidat unique → 7

contradiction : une case n’a plus aucun candidat

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  6. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  7. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  8. L3C6 : candidat unique → 6
  9. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
  10. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
  11. L3C2 : seule place du 2 dans l’unité 3 → 2
  12. L4C6 : seule place du 2 dans l’unité 4 → 2
  13. L2C6 : candidat unique → 4
  14. L1C4 : candidat unique → 2
  15. L1C6 : candidat unique → 1
  16. L6C6 : candidat unique → 5
  17. L1C5 : seule place du 7 dans l’unité 1 → 7
  18. L1C3 : candidat unique → 4
  19. L1C9 : candidat unique → 8
  20. L2C9 : candidat unique → 1
  21. L3C9 : candidat unique → 4
  22. L4C4 : candidat unique → 7
  23. L2C1 : candidat unique → 7
  24. L5C2 : candidat unique → 6
  25. L1C1 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L5C7 = 9

Hypothèse : L5C7 = 9

  1. L6C7 : candidat unique → 1
  2. L6C1 : seule place du 5 dans l’unité 22 → 5
  3. Interaction des unités 6 et 23 : le 3 de l’unité 6 est confiné dans leur intersection ; l’enlever de L4C4, L4C5, L4C6.
  4. Sous-ensemble nu dans l’unité 4 : L4C4, L4C5 réservent [7, 9] ; retirer ces chiffres de L4C1, L4C2, L4C3, L4C6.
  5. L5C2 : candidat unique → 6
  6. L5C1 : candidat unique → 1

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L4C8 = 7

Hypothèse : L4C8 = 7

  1. L5C8 : candidat unique → 6
L4C9 = 3

Hypothèse : L4C9 = 3

  1. L5C9 : candidat unique → 5
L5C7 = 1

Hypothèse : L5C7 = 1

  1. L6C7 : candidat unique → 9
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  9. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
L4C4 = 6

Hypothèse : L4C4 = 6

  1. L9C4 : candidat unique → 4
  2. L9C5 : candidat unique → 6
  3. L1C5 : seule place du 3 dans l’unité 14 → 3
  4. L1C9 : seule place du 4 dans l’unité 1 → 4

contradiction : le chiffre 6 ne peut plus figurer dans l’unité 1

L4C4 = 9

Hypothèse : L4C4 = 9

  1. L3C5 : seule place du 9 dans l’unité 14 → 9
  2. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  3. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L6C6.
L3C4 = 6

Hypothèse : L3C4 = 6

  1. L9C4 : candidat unique → 4
  2. L5C4 : candidat unique → 2
  3. L9C5 : candidat unique → 6
  4. L4C5 : candidat unique → 5
  5. L2C4 : candidat unique → 8
  6. L2C5 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

L3C4 = 8

Hypothèse : L3C4 = 8

  1. Sous-ensemble nu dans l’unité 2 : L2C4, L2C5 réservent [3, 7] ; retirer ces chiffres de L2C1, L2C2, L2C3, L2C6.
  2. Sous-ensemble nu dans l’unité 2 : L2C1, L2C2 réservent [8, 9] ; retirer ces chiffres de L2C9.
  3. L1C9 : candidat unique → 8
  4. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  5. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L6C6.
  6. Sous-ensemble nu dans l’unité 20 : L2C4, L2C5 réservent [3, 7] ; retirer ces chiffres de L1C4, L1C5.
  7. L3C2 : seule place du 4 dans l’unité 19 → 4
  8. L2C2 : candidat unique → 8
  9. L2C1 : candidat unique → 9
  10. L2C9 : candidat unique → 4
  11. L3C9 : candidat unique → 1
  12. L2C3 : candidat unique → 1
  13. L2C6 : candidat unique → 5
  14. L3C3 : candidat unique → 5
  15. L3C6 : candidat unique → 6
  16. L1C3 : candidat unique → 7
  17. L3C1 : candidat unique → 2
  18. L4C1 : candidat unique → 5
  19. L4C5 : candidat unique → 6
  20. L4C2 : candidat unique → 2
  21. L4C3 : candidat unique → 8
  22. L4C6 : candidat unique → 1
  23. L1C5 : candidat unique → 1
  24. L5C2 : candidat unique → 7
  25. L5C3 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  6. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  7. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
L4C4 = 6

Hypothèse : L4C4 = 6

  1. L9C4 : candidat unique → 4
  2. L9C5 : candidat unique → 6
  3. L1C5 : seule place du 3 dans l’unité 14 → 3
  4. L1C9 : seule place du 4 dans l’unité 1 → 4

contradiction : le chiffre 6 ne peut plus figurer dans l’unité 1

L4C4 = 9

Hypothèse : L4C4 = 9

  1. L3C5 : seule place du 9 dans l’unité 14 → 9
  2. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  3. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  4. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L6C6.
L3C4 = 6

Hypothèse : L3C4 = 6

  1. L9C4 : candidat unique → 4
  2. L5C4 : candidat unique → 2
  3. L9C5 : candidat unique → 6
  4. L4C5 : candidat unique → 5
  5. L2C4 : candidat unique → 8
  6. L2C5 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

L3C4 = 8

Hypothèse : L3C4 = 8

  1. Sous-ensemble nu dans l’unité 2 : L2C4, L2C5 réservent [3, 7] ; retirer ces chiffres de L2C1, L2C2, L2C3, L2C6.
  2. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  3. Sous-ensemble nu dans l’unité 20 : L2C4, L2C5 réservent [3, 7] ; retirer ces chiffres de L1C4, L1C5, L1C6.
  4. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  5. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L6C6.
  6. Interaction des unités 14 et 23 : le 5 de l’unité 14 est confiné dans leur intersection ; l’enlever de L4C6, L6C6.
L1C3 = 3

Hypothèse : L1C3 = 3

  1. L2C3 : seule place du 7 dans l’unité 12 → 7

contradiction : une case n’a plus aucun candidat

L1C3 = 7

Hypothèse : L1C3 = 7

  1. L3C6 : seule place du 6 dans l’unité 20 → 6
  2. L4C6 : seule place du 1 dans l’unité 4 → 1
  3. L1C5 : candidat unique → 1
  4. L2C6 : candidat unique → 5
  5. L1C9 : seule place du 8 dans l’unité 1 → 8
  6. L1C6 : seule place du 2 dans l’unité 15 → 2
  7. L1C4 : candidat unique → 4
  8. L9C4 : candidat unique → 6
  9. L5C4 : candidat unique → 2
  10. L9C5 : candidat unique → 4
  11. L4C5 : candidat unique → 6
  12. L5C5 : candidat unique → 3
  13. L2C4 : candidat unique → 3
  14. L2C1 : candidat unique → 9
  15. L2C5 : candidat unique → 7
  16. L3C3 : candidat unique → 5
  17. L3C1 : candidat unique → 2
  18. L4C1 : candidat unique → 5
  19. L4C2 : candidat unique → 2
  20. L4C3 : candidat unique → 8
  21. L2C2 : candidat unique → 8
  22. L5C1 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L5C7 = 9

Hypothèse : L5C7 = 9

  1. L6C7 : candidat unique → 1
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. L1C5 : seule place du 1 dans l’unité 14 → 1
  9. L4C6 : seule place du 1 dans l’unité 15 → 1
  10. L5C4 : seule place du 2 dans l’unité 23 → 2
  11. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  12. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L6C6.
  13. L2C6 : candidat unique → 5
  14. L3C6 : candidat unique → 6
  15. L3C5 : candidat unique → 9
  16. L3C4 : candidat unique → 8
  17. L4C4 : candidat unique → 9
  18. L6C4 : candidat unique → 7
  19. L2C4 : candidat unique → 3
  20. L1C3 : candidat unique → 7
  21. L1C4 : candidat unique → 4
  22. L1C6 : candidat unique → 2
  23. L1C9 : candidat unique → 8
  24. L2C2 : candidat unique → 8
  25. L2C1 : candidat unique → 9
  26. L2C3 : candidat unique → 1
  27. L2C5 : candidat unique → 7
  28. L2C9 : candidat unique → 4
  29. L3C2 : candidat unique → 4
  30. L3C3 : candidat unique → 5
  31. L3C1 : candidat unique → 2
  32. L3C9 : candidat unique → 1
  33. L4C1 : candidat unique → 5
  34. L4C3 : candidat unique → 8
  35. L4C5 : candidat unique → 6
  36. L4C2 : candidat unique → 2
  37. L5C2 : candidat unique → 7
  38. L5C3 : candidat unique → 4
  39. L5C1 : candidat unique → 1
  40. L5C5 : candidat unique → 3
  41. L6C1 : candidat unique → 3
  42. L1C1 : candidat unique → 6
  43. L1C2 : candidat unique → 3
  44. L6C2 : candidat unique → 9
  45. L6C3 : candidat unique → 6
  46. L6C5 : candidat unique → 5
  47. L6C6 : candidat unique → 4
  48. L7C1 : candidat unique → 7
  49. L7C6 : candidat unique → 9
  50. L8C1 : candidat unique → 4
  51. L8C2 : candidat unique → 6
  52. L8C3 : candidat unique → 3
  53. L8C6 : candidat unique → 7
  54. L9C1 : candidat unique → 8
  55. L9C3 : candidat unique → 9
  56. L9C4 : candidat unique → 6
  57. L9C5 : candidat unique → 4
  58. L9C6 : candidat unique → 3

solution complète valide

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. L1C5 : seule place du 1 dans l’unité 14 → 1
  6. L4C6 : seule place du 1 dans l’unité 15 → 1
  7. L5C4 : seule place du 2 dans l’unité 23 → 2
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  9. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  10. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L6C6.
  11. L2C6 : candidat unique → 5
  12. L3C6 : candidat unique → 6
  13. L3C5 : candidat unique → 9
  14. L3C4 : candidat unique → 8
  15. L4C4 : candidat unique → 9
  16. L6C4 : candidat unique → 7
  17. L2C4 : candidat unique → 3
  18. L1C3 : candidat unique → 7
  19. L1C4 : candidat unique → 4
  20. L1C6 : candidat unique → 2
  21. L1C9 : candidat unique → 8
  22. L2C5 : candidat unique → 7
  23. L3C3 : candidat unique → 5
  24. L6C5 : candidat unique → 5
  25. L4C5 : candidat unique → 6
  26. L2C1 : candidat unique → 9
  27. L3C1 : candidat unique → 2
  28. L4C1 : candidat unique → 5
  29. L4C2 : candidat unique → 2
  30. L4C3 : candidat unique → 8
  31. L2C2 : candidat unique → 8
  32. L5C2 : candidat unique → 7
  33. L5C5 : candidat unique → 3
  34. L6C6 : candidat unique → 4
  35. L7C1 : candidat unique → 4
  36. L5C1 : candidat unique → 1
  37. L5C3 : candidat unique → 4
  38. L2C3 : candidat unique → 1
  39. L2C9 : candidat unique → 4
  40. L3C2 : candidat unique → 4
  41. L3C9 : candidat unique → 1
  42. L6C1 : candidat unique → 3
  43. L1C1 : candidat unique → 6
  44. L1C2 : candidat unique → 3
  45. L6C2 : candidat unique → 9

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L4C9 = 5

Hypothèse : L4C9 = 5

  1. L5C9 : candidat unique → 3
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
L5C7 = 1

Hypothèse : L5C7 = 1

  1. L6C7 : candidat unique → 9
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  9. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  10. Interaction des unités 11 et 19 : le 8 de l’unité 11 est confiné dans leur intersection ; l’enlever de L1C3, L2C1, L2C3, L3C1, L3C3.
  11. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
L7C1 = 7

Hypothèse : L7C1 = 7

  1. L7C6 : candidat unique → 9
  2. L8C6 : seule place du 7 dans l’unité 8 → 7
  3. L9C6 : candidat unique → 3
  4. Interaction des unités 11 et 19 : le 8 de l’unité 11 est confiné dans leur intersection ; l’enlever de L1C3, L2C1, L2C3, L3C1, L3C3.
  5. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
  6. L4C3 : seule place du 8 dans l’unité 4 → 8
  7. L4C2 : candidat unique → 2
  8. L5C2 : candidat unique → 7
  9. L9C3 : candidat unique → 9
  10. L5C3 : candidat unique → 4
  11. L5C1 : candidat unique → 9

contradiction : une case n’a plus aucun candidat

L7C1 = 9

Hypothèse : L7C1 = 9

  1. L7C6 : candidat unique → 7
  2. L8C6 : candidat unique → 3
  3. L9C3 : candidat unique → 8
  4. L9C6 : candidat unique → 9
  5. L4C1 : seule place du 8 dans l’unité 4 → 8
  6. L8C1 : seule place du 7 dans l’unité 8 → 7
  7. L2C1 : candidat unique → 3

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  6. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  7. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  8. Interaction des unités 11 et 19 : le 8 de l’unité 11 est confiné dans leur intersection ; l’enlever de L1C1, L1C3, L2C1, L2C3, L3C1, L3C3.
  9. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
L7C6 = 7

Hypothèse : L7C6 = 7

  1. L8C6 : candidat unique → 3
  2. L9C6 : candidat unique → 9
  3. L8C1 : seule place du 7 dans l’unité 8 → 7
  4. Interaction des unités 11 et 19 : le 8 de l’unité 11 est confiné dans leur intersection ; l’enlever de L1C1, L1C3, L2C1, L2C3, L3C1, L3C3.
  5. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L2C1, L3C1.
  6. L4C3 : seule place du 8 dans l’unité 4 → 8
  7. L4C2 : candidat unique → 2
  8. L5C2 : candidat unique → 7
  9. L7C2 : candidat unique → 9
  10. L7C1 : candidat unique → 4
  11. L5C1 : candidat unique → 9

contradiction : une case n’a plus aucun candidat

L7C6 = 9

Hypothèse : L7C6 = 9

  1. L9C3 : candidat unique → 8
  2. L9C1 : candidat unique → 9
  3. L4C1 : seule place du 8 dans l’unité 4 → 8
  4. L8C6 : seule place du 7 dans l’unité 8 → 7
  5. L9C6 : candidat unique → 3
  6. Interaction des unités 4 et 23 : le 3 de l’unité 4 est confiné dans leur intersection ; l’enlever de L6C4, L6C5.
  7. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L3C1.
  8. L2C1 : candidat unique → 7
  9. L3C1 : candidat unique → 1
  10. L7C1 : candidat unique → 4
  11. L5C1 : candidat unique → 2
  12. L5C2 : candidat unique → 7

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L5C7 = 9

Hypothèse : L5C7 = 9

  1. L6C7 : candidat unique → 1
  2. L6C1 : seule place du 5 dans l’unité 22 → 5
  3. L5C3 : seule place du 4 dans l’unité 22 → 4
  4. L6C3 : candidat unique → 6
  5. L5C1 : candidat unique → 1
  6. L5C2 : candidat unique → 7

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L1C7 = 6

Hypothèse : L1C7 = 6

  1. L2C7 : candidat unique → 5
L4C8 = 6

Hypothèse : L4C8 = 6

  1. L5C8 : candidat unique → 7
L4C9 = 3

Hypothèse : L4C9 = 3

  1. L5C9 : candidat unique → 5
L5C7 = 1

Hypothèse : L5C7 = 1

  1. L6C7 : candidat unique → 9
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  9. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  10. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
L1C1 = 1

Hypothèse : L1C1 = 1

  1. L1C2 : candidat unique → 8
  2. L1C9 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

L1C1 = 5

Hypothèse : L1C1 = 5

  1. L1C2 : candidat unique → 4

contradiction : le chiffre 7 ne peut plus figurer dans l’unité 1

toutes les possibilités de cette bifurcation ont été examinées

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  6. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  7. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  8. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
L4C4 = 7

Hypothèse : L4C4 = 7

  1. L5C1 : seule place du 2 dans l’unité 5 → 2
  2. L4C3 : candidat unique → 5
  3. L4C5 : candidat unique → 9
  4. L2C5 : candidat unique → 3
  5. L3C5 : candidat unique → 5
  6. L4C2 : candidat unique → 8
  7. L4C1 : candidat unique → 1
  8. L4C6 : candidat unique → 2
  9. L1C4 : candidat unique → 2
  10. L5C2 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

L4C4 = 9

Hypothèse : L4C4 = 9

  1. L3C5 : seule place du 9 dans l’unité 14 → 9
  2. L4C5 : candidat unique → 5
  3. L5C5 : candidat unique → 4
  4. L5C4 : candidat unique → 2
  5. L1C6 : candidat unique → 2
  6. L2C6 : candidat unique → 6
  7. L3C4 : candidat unique → 8
  8. L3C6 : candidat unique → 5
  9. L4C6 : candidat unique → 1

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L5C7 = 9

Hypothèse : L5C7 = 9

  1. L6C7 : candidat unique → 1
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. L1C5 : seule place du 1 dans l’unité 14 → 1
  9. L1C1 : seule place du 5 dans l’unité 1 → 5
  10. L1C2 : candidat unique → 4
  11. L1C9 : candidat unique → 8

contradiction : une case n’a plus aucun candidat

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. L1C5 : seule place du 1 dans l’unité 14 → 1
  6. L1C1 : seule place du 5 dans l’unité 1 → 5
  7. L1C2 : candidat unique → 4
  8. L1C9 : candidat unique → 8

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L4C9 = 5

Hypothèse : L4C9 = 5

  1. L5C9 : candidat unique → 3
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L5C7 = 1

Hypothèse : L5C7 = 1

  1. L6C7 : candidat unique → 9
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  9. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  10. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
  11. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
  12. L1C1 : candidat unique → 1
  13. L1C2 : candidat unique → 8
  14. L1C9 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  6. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  7. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  8. Interaction des unités 3 et 19 : le 2 de l’unité 3 est confiné dans leur intersection ; l’enlever de L1C1, L1C2.
  9. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
  10. Sous-ensemble nu dans l’unité 1 : L1C1, L1C2 réservent [1, 8] ; retirer ces chiffres de L1C3, L1C4, L1C5, L1C6, L1C9.
  11. L1C9 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L5C7 = 9

Hypothèse : L5C7 = 9

  1. L6C7 : candidat unique → 1
  2. L6C1 : seule place du 5 dans l’unité 22 → 5
  3. Interaction des unités 6 et 23 : le 3 de l’unité 6 est confiné dans leur intersection ; l’enlever de L4C4, L4C5, L4C6.
  4. Sous-ensemble nu dans l’unité 4 : L4C4, L4C5 réservent [7, 9] ; retirer ces chiffres de L4C1, L4C2, L4C3, L4C6.
  5. L5C2 : candidat unique → 6
  6. L5C1 : candidat unique → 1

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L4C8 = 7

Hypothèse : L4C8 = 7

  1. L5C8 : candidat unique → 6
L4C9 = 3

Hypothèse : L4C9 = 3

  1. L5C9 : candidat unique → 5
L5C7 = 1

Hypothèse : L5C7 = 1

  1. L6C7 : candidat unique → 9
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  9. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
L4C4 = 6

Hypothèse : L4C4 = 6

  1. L9C4 : candidat unique → 4
  2. L2C5 : candidat unique → 4
  3. L3C5 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L4C4 = 9

Hypothèse : L4C4 = 9

  1. L3C5 : seule place du 9 dans l’unité 14 → 9
  2. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  3. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L6C6.
L4C5 = 5

Hypothèse : L4C5 = 5

  1. L5C5 : candidat unique → 4
  2. L5C4 : candidat unique → 2
  3. L1C6 : candidat unique → 2
  4. L3C6 : candidat unique → 5
  5. L9C4 : candidat unique → 4
  6. L3C4 : candidat unique → 8
  7. L1C5 : candidat unique → 1
  8. L1C1 : candidat unique → 5
  9. L1C2 : candidat unique → 4
  10. L1C3 : candidat unique → 8

contradiction : une case n’a plus aucun candidat

L4C5 = 6

Hypothèse : L4C5 = 6

  1. L5C4 : candidat unique → 2
  2. L1C6 : candidat unique → 2
  3. L5C5 : candidat unique → 3
  4. L9C4 : candidat unique → 6
  5. L2C4 : candidat unique → 3
  6. L2C5 : candidat unique → 7
  7. L3C4 : candidat unique → 8
  8. L1C4 : candidat unique → 4
  9. L1C1 : candidat unique → 1

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  6. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  7. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
L4C4 = 6

Hypothèse : L4C4 = 6

  1. L9C4 : candidat unique → 4
  2. L2C5 : candidat unique → 4
  3. L3C5 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L4C4 = 9

Hypothèse : L4C4 = 9

  1. L3C5 : seule place du 9 dans l’unité 14 → 9
  2. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  3. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  4. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L6C6.
L4C5 = 5

Hypothèse : L4C5 = 5

  1. L5C5 : candidat unique → 4
  2. L5C4 : candidat unique → 2
  3. L1C6 : candidat unique → 2
  4. L3C6 : candidat unique → 5
  5. L9C4 : candidat unique → 4
  6. L3C4 : candidat unique → 8
  7. L1C5 : candidat unique → 1
  8. L1C1 : candidat unique → 5
  9. L1C2 : candidat unique → 4
  10. L1C3 : candidat unique → 8

contradiction : une case n’a plus aucun candidat

L4C5 = 6

Hypothèse : L4C5 = 6

  1. L5C4 : candidat unique → 2
  2. L1C6 : candidat unique → 2
  3. L5C5 : candidat unique → 3
  4. L9C4 : candidat unique → 6
  5. L2C4 : candidat unique → 3
  6. L2C5 : candidat unique → 7
  7. L3C4 : candidat unique → 8
  8. L1C4 : candidat unique → 4
  9. L6C4 : candidat unique → 7
  10. L9C5 : candidat unique → 4
  11. L6C5 : candidat unique → 5
  12. L1C3 : candidat unique → 7
  13. L1C5 : candidat unique → 1

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L5C7 = 9

Hypothèse : L5C7 = 9

  1. L6C7 : candidat unique → 1
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. L1C5 : seule place du 1 dans l’unité 14 → 1
  9. L1C1 : seule place du 5 dans l’unité 1 → 5
  10. L1C2 : candidat unique → 4
  11. L1C9 : candidat unique → 8

contradiction : une case n’a plus aucun candidat

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. L1C5 : seule place du 1 dans l’unité 14 → 1
  6. L1C1 : seule place du 5 dans l’unité 1 → 5
  7. L1C2 : candidat unique → 4
  8. L1C9 : candidat unique → 8

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L4C9 = 5

Hypothèse : L4C9 = 5

  1. L5C9 : candidat unique → 3
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L5C7 = 1

Hypothèse : L5C7 = 1

  1. L6C7 : candidat unique → 9
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L7C8 = 4

Hypothèse : L7C8 = 4

  1. L8C8 : candidat unique → 5
  2. L7C4 : candidat unique → 5
  3. L7C5 : candidat unique → 8
  4. L8C5 : candidat unique → 2
  5. L7C3 : candidat unique → 2
  6. L8C4 : candidat unique → 1
  7. L7C2 : candidat unique → 1
  8. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C6.
  9. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  10. Interaction des unités 11 et 19 : le 8 de l’unité 11 est confiné dans leur intersection ; l’enlever de L1C3, L2C1, L2C3, L3C1, L3C3.
  11. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L7C1 = 7

Hypothèse : L7C1 = 7

  1. L7C6 : candidat unique → 9
  2. L8C6 : seule place du 7 dans l’unité 8 → 7
  3. L9C6 : candidat unique → 3
  4. Interaction des unités 11 et 19 : le 8 de l’unité 11 est confiné dans leur intersection ; l’enlever de L1C3, L2C1, L2C3, L3C1, L3C3.
  5. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L1C1 = 1

Hypothèse : L1C1 = 1

  1. L1C2 : candidat unique → 8
  2. L1C9 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

L1C1 = 2

Hypothèse : L1C1 = 2

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L7C1 = 9

Hypothèse : L7C1 = 9

  1. L7C6 : candidat unique → 7
  2. L8C6 : candidat unique → 3
  3. L9C3 : candidat unique → 8
  4. L9C6 : candidat unique → 9
  5. L4C1 : seule place du 8 dans l’unité 4 → 8
  6. L8C1 : seule place du 7 dans l’unité 8 → 7
  7. L9C1 : candidat unique → 3
  8. L2C1 : candidat unique → 6
  9. L3C1 : candidat unique → 2
  10. L2C3 : candidat unique → 1
  11. L1C1 : candidat unique → 5

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L7C8 = 5

Hypothèse : L7C8 = 5

  1. L8C8 : candidat unique → 4
  2. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L8C4 = 3

Hypothèse : L8C4 = 3

  1. L8C5 : candidat unique → 2
  2. L7C2 : seule place du 2 dans l’unité 7 → 2
  3. L8C6 : seule place du 5 dans l’unité 8 → 5
  4. L9C6 : candidat unique → 6

contradiction : une case n’a plus aucun candidat

L8C4 = 5

Hypothèse : L8C4 = 5

  1. L7C5 : candidat unique → 8
  2. L8C5 : candidat unique → 2
  3. L7C3 : candidat unique → 2
  4. L7C4 : candidat unique → 1
  5. Sous-ensemble nu dans l’unité 9 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L9C1, L9C3, L9C6.
  6. Sous-ensemble nu dans l’unité 26 : L9C4, L9C5 réservent [4, 6] ; retirer ces chiffres de L7C6, L8C6.
  7. Sous-ensemble nu dans l’unité 15 : L7C6, L8C6, L9C6 réservent [3, 7, 9] ; retirer ces chiffres de L1C6, L2C6, L3C6, L4C6, L6C6.
  8. Interaction des unités 11 et 19 : le 8 de l’unité 11 est confiné dans leur intersection ; l’enlever de L1C1, L1C3, L2C1, L2C3, L3C1, L3C3.
  9. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L7C6 = 7

Hypothèse : L7C6 = 7

  1. L8C6 : candidat unique → 3
  2. L9C6 : candidat unique → 9
  3. L8C1 : seule place du 7 dans l’unité 8 → 7
  4. Interaction des unités 11 et 19 : le 8 de l’unité 11 est confiné dans leur intersection ; l’enlever de L1C1, L1C3, L2C1, L2C3, L3C1, L3C3.
  5. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L1C1 = 1

Hypothèse : L1C1 = 1

  1. L1C2 : candidat unique → 8
  2. L1C9 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

L1C1 = 2

Hypothèse : L1C1 = 2

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

L7C6 = 9

Hypothèse : L7C6 = 9

  1. L9C3 : candidat unique → 8
  2. L9C1 : candidat unique → 9
  3. L4C1 : seule place du 8 dans l’unité 4 → 8
  4. L8C6 : seule place du 7 dans l’unité 8 → 7
  5. L9C6 : candidat unique → 3
  6. Interaction des unités 4 et 23 : le 3 de l’unité 4 est confiné dans leur intersection ; l’enlever de L6C4, L6C5.
  7. Interaction des unités 12 et 19 : le 5 de l’unité 12 est confiné dans leur intersection ; l’enlever de L1C1, L3C1.
L2C1 = 6

Hypothèse : L2C1 = 6

  1. L3C1 : candidat unique → 2
  2. L3C3 : candidat unique → 5
  3. L1C1 : candidat unique → 1

contradiction : une case n’a plus aucun candidat

L2C1 = 7

Hypothèse : L2C1 = 7

  1. L3C1 : candidat unique → 1
  2. L1C1 : candidat unique → 5
  3. L1C2 : candidat unique → 4

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

L5C7 = 9

Hypothèse : L5C7 = 9

  1. L6C7 : candidat unique → 1
  2. L6C1 : seule place du 5 dans l’unité 22 → 5
  3. L5C3 : seule place du 4 dans l’unité 22 → 4
  4. L6C3 : candidat unique → 6
  5. L5C1 : candidat unique → 1
  6. L5C2 : candidat unique → 7

contradiction : une case n’a plus aucun candidat

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

toutes les possibilités de cette bifurcation ont été examinées

Comment cette réponse a été vérifiée

Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.

{
  "nodes": 127,
  "branches": 63,
  "contradictions": 63,
  "depth": 9,
  "pairs": 102,
  "locked": 55
}

Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 9 hypothèses imbriquées, examine 127 états et ferme 63 branches par contradiction. Le niveau Extrême combine éliminations de candidats et analyse ramifiée profonde ; ce n’est pas un classement fondé sur le seul nombre de cases vides. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.

← Revenir à l’énoncé SOLO-010