SOLO-020 · Futoshiki
EXTRÊMELes colonnes en tension
Compléter le carré 8 × 8 avec les chiffres de 1 à 8.
Corrigé — cette page contient la réponse.
La réponse exacte
Grille, ligne par ligne :
4 8 6 3 5 2 1 7
7 1 2 5 8 4 6 3
6 3 8 4 7 1 5 2
2 5 1 7 3 6 8 4
8 4 3 6 2 5 7 1
5 2 7 1 6 3 4 8
1 7 5 2 4 8 3 6
3 6 4 8 1 7 2 5
| L / C | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
|---|---|---|---|---|---|---|---|---|
| 1 | 4 | 8 | 6 | 3 | 5 | 2 | 1 | 7 |
| 2 | 7 | 1 | 2 | 5 | 8 | 4 | 6 | 3 |
| 3 | 6 | 3 | 8 | 4 | 7 | 1 | 5 | 2 |
| 4 | 2 | 5 | 1 | 7 | 3 | 6 | 8 | 4 |
| 5 | 8 | 4 | 3 | 6 | 2 | 5 | 7 | 1 |
| 6 | 5 | 2 | 7 | 1 | 6 | 3 | 4 | 8 |
| 7 | 1 | 7 | 5 | 2 | 4 | 8 | 3 | 6 |
| 8 | 3 | 6 | 4 | 8 | 1 | 7 | 2 | 5 |
Le raisonnement
- Inscris d’abord les candidats de 1 à 8 dans chaque case vide. Retire tout chiffre déjà fixé dans sa ligne ou sa colonne. Les lignes et colonnes imposent chacune une permutation complète.
- Propage les inégalités dans les deux sens. Si A < B, A ne peut plus prendre une valeur supérieure ou égale au plus grand candidat de B, et B ne peut plus prendre une valeur inférieure ou égale au plus petit candidat de A.
- Après chaque réduction, vérifie les emplacements uniques de chaque chiffre dans chaque ligne et colonne. Une chaîne croissante de k cases consomme au moins k valeurs distinctes ; ses extrémités donnent aussi des bornes.
- La méthode de référence combine ces réductions puis des hypothèses contrôlées. Sur ce problème, la recherche exacte visite 55 nœuds, rencontre 27 contradictions et atteint une profondeur de 9 choix imbriqués. Ces nombres décrivent ce solveur et non une durée humaine garantie.
- Une hypothèse se traite comme une branche temporaire : note sa case et son chiffre, propage toutes les contraintes, puis reviens au dernier choix si une case perd tous ses candidats ou si une ligne ne peut plus contenir un chiffre. Ne gomme pas une hypothèse sans noter la contradiction.
- Voici les premières affectations du chemin qui aboutit à la solution. « Hypothèse » signifie un choix à confirmer dans l’exploration, et non une déduction locale déjà prouvée :
- L4C5 = 3 — inégalité.
- L4C4 = 7 — inégalité.
- L3C6 = 1 — inégalité.
- L5C6 = 5 — inégalité.
- L4C6 = 6 — ligne/colonne.
- L8C4 = 8 — seul emplacement.
- L1C4 = 3 — hypothèse.
- L3C5 = 7 — hypothèse.
- L2C5 = 8 — hypothèse.
- L7C6 = 8 — seul emplacement.
- L1C5 = 5 — hypothèse.
- L7C5 = 4 — ligne/colonne.
- L2C6 = 4 — hypothèse.
- L8C6 = 7 — ligne/colonne.
- L7C3 = 5 — seul emplacement.
- L6C1 = 5 — seul emplacement.
- L4C1 = 2 — hypothèse.
- L4C3 = 1 — ligne/colonne.
- L8C2 = 6 — inégalité.
- L2C1 = 7 — hypothèse.
- L2C7 = 6 — seul emplacement.
- L2C3 = 2 — ligne/colonne.
- L8C3 = 4 — ligne/colonne.
- L2C2 = 1 — inégalité.
- L2C8 = 3 — ligne/colonne.
- L8C1 = 3 — ligne/colonne.
- L8C7 = 2 — seul emplacement.
- L3C1 = 6 — ligne/colonne.
- L7C1 = 1 — ligne/colonne.
- L1C1 = 4 — seul emplacement.
- Exemple de branche réfutée : suppose L1C4 = 1. La propagation aboutit à : Deux chiffres fixés identiques dans les cases L3C1, L3C2, L3C3, L3C4, L3C5, L3C6, L3C7, L3C8 Le certificat d’exploration donne toutes les branches, avec indices de cases comptés à partir de zéro.
- Exemple de branche réfutée : suppose L1C4 = 3, puis L3C5 = 7, puis L2C5 = 4, puis L1C8 = 1. La propagation aboutit à : L’inégalité L8C3 < L7C3 ne possède plus de couple de valeurs compatible. Le certificat d’exploration donne toutes les branches, avec indices de cases comptés à partir de zéro.
- Exemple de branche réfutée : suppose L1C4 = 3, puis L3C5 = 7, puis L2C5 = 4, puis L1C8 = 7. La propagation aboutit à : Le chiffre 4 ne peut plus se placer dans le groupe L7C1, L7C2, L7C3, L7C4, L7C5, L7C6, L7C7, L7C8 Le certificat d’exploration donne toutes les branches, avec indices de cases comptés à partir de zéro.
- La grille finale permet le contrôle ligne par ligne et colonne par colonne : chacune contient une fois tous les chiffres. Vérifie ensuite les inégalités une par une :
- L4C5 < L4C4 : 3 < 7.
- L8C6 < L7C6 : 7 < 8.
- L1C4 < L1C3 : 3 < 6.
- L2C3 < L1C3 : 2 < 6.
- L2C2 < L2C3 : 1 < 2.
- L3C6 < L3C7 : 1 < 5.
- L1C7 < L2C7 : 1 < 6.
- L6C6 < L6C7 : 3 < 4.
- L6C6 < L5C6 : 3 < 5.
- L8C1 < L8C2 : 3 < 6.
- L8C3 < L7C3 : 4 < 5.
- L7C4 < L7C5 : 2 < 4.
- L3C1 < L2C1 : 6 < 7.
- L6C2 < L5C2 : 2 < 4.
- L6C4 < L6C5 : 1 < 6.
- L5C6 < L4C6 : 5 < 6.
- L6C2 < L7C2 : 2 < 7.
- L7C1 < L8C1 : 1 < 3.
- L7C5 < L7C6 : 4 < 8.
- Le comptage exact a continué après avoir trouvé cette grille pour chercher une seconde solution. Toutes les autres branches échouent : la solution est unique.
Fausses pistes et erreurs
- Ajouter les régions du Sudoku : elles ne font pas partie du Futoshiki.
- Oublier qu’une inégalité contraint ses deux extrémités.
- Prendre une hypothèse de recherche pour un chiffre déduit sans condition.
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.
{
"indexing": "Case i = ligne i//n+1, colonne i%n+1. Les indices bruts commencent à zéro.",
"events": [
{
"event": "branch",
"assumptions": [],
"cell": 3,
"values": [
1,
3
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 1
}
],
"reason": "Deux chiffres fixés identiques dans les cases L3C1, L3C2, L3C3, L3C4, L3C5, L3C6, L3C7, L3C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
}
],
"cell": 20,
"values": [
7,
8
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
}
],
"cell": 12,
"values": [
4,
8
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 4
}
],
"cell": 7,
"values": [
1,
7
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 4
},
{
"cell": 7,
"value": 1
}
],
"reason": "L’inégalité L8C3 < L7C3 ne possède plus de couple de valeurs compatible."
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 4
},
{
"cell": 7,
"value": 7
}
],
"reason": "Le chiffre 4 ne peut plus se placer dans le groupe L7C1, L7C2, L7C3, L7C4, L7C5, L7C6, L7C7, L7C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
}
],
"cell": 4,
"values": [
4,
5
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
}
],
"cell": 6,
"values": [
1,
6
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
}
],
"cell": 7,
"values": [
7,
8
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
}
],
"cell": 1,
"values": [
6,
8
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 6
}
],
"cell": 0,
"values": [
5,
8
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 6
},
{
"cell": 0,
"value": 5
}
],
"reason": "Deux chiffres fixés identiques dans les cases L1C2, L2C2, L3C2, L4C2, L5C2, L6C2, L7C2, L8C2"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 6
},
{
"cell": 0,
"value": 8
}
],
"reason": "Le chiffre 7 ne peut plus se placer dans le groupe L6C1, L6C2, L6C3, L6C4, L6C5, L6C6, L6C7, L6C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
}
],
"cell": 0,
"values": [
5,
6
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
},
{
"cell": 0,
"value": 5
}
],
"reason": "Le chiffre 1 ne peut plus se placer dans le groupe L1C1, L2C1, L3C1, L4C1, L5C1, L6C1, L7C1, L8C1"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
},
{
"cell": 0,
"value": 6
}
],
"reason": "Deux chiffres fixés identiques dans les cases L1C2, L2C2, L3C2, L4C2, L5C2, L6C2, L7C2, L8C2"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 8
}
],
"reason": "Le chiffre 1 ne peut plus se placer dans le groupe L1C1, L2C1, L3C1, L4C1, L5C1, L6C1, L7C1, L8C1"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 4
},
{
"cell": 6,
"value": 6
}
],
"reason": "Deux chiffres fixés identiques dans les cases L1C3, L2C3, L3C3, L4C3, L5C3, L6C3, L7C3, L8C3"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
}
],
"cell": 13,
"values": [
4,
7
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
},
{
"cell": 13,
"value": 4
}
],
"cell": 24,
"values": [
1,
2
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
},
{
"cell": 13,
"value": 4
},
{
"cell": 24,
"value": 1
}
],
"reason": "Le chiffre 8 ne peut plus se placer dans le groupe L6C1, L6C2, L6C3, L6C4, L6C5, L6C6, L6C7, L6C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
},
{
"cell": 13,
"value": 4
},
{
"cell": 24,
"value": 2
}
],
"cell": 8,
"values": [
6,
7
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
},
{
"cell": 13,
"value": 4
},
{
"cell": 24,
"value": 2
},
{
"cell": 8,
"value": 6
}
],
"reason": "Deux chiffres fixés identiques dans les cases L8C1, L8C2, L8C3, L8C4, L8C5, L8C6, L8C7, L8C8"
},
{
"event": "solution",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
},
{
"cell": 13,
"value": 4
},
{
"cell": 24,
"value": 2
},
{
"cell": 8,
"value": 7
}
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
},
{
"cell": 13,
"value": 7
}
],
"cell": 6,
"values": [
1,
4
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
},
{
"cell": 13,
"value": 7
},
{
"cell": 6,
"value": 1
}
],
"reason": "La case L2C3 ne possède plus aucun candidat après exclusion des chiffres fixés dans sa ligne/colonne."
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 7
},
{
"cell": 12,
"value": 8
},
{
"cell": 4,
"value": 5
},
{
"cell": 13,
"value": 7
},
{
"cell": 6,
"value": 4
}
],
"reason": "Deux chiffres fixés identiques dans les cases L1C1, L2C1, L3C1, L4C1, L5C1, L6C1, L7C1, L8C1"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
}
],
"cell": 12,
"values": [
4,
7
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 4
}
],
"cell": 4,
"values": [
5,
7
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 4
},
{
"cell": 4,
"value": 5
}
],
"reason": "La case L3C3 ne possède plus aucun candidat après exclusion des chiffres fixés dans sa ligne/colonne."
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 4
},
{
"cell": 4,
"value": 7
}
],
"cell": 7,
"values": [
1,
8
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 4
},
{
"cell": 4,
"value": 7
},
{
"cell": 7,
"value": 1
}
],
"reason": "L’inégalité L8C3 < L7C3 ne possède plus de couple de valeurs compatible."
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 4
},
{
"cell": 4,
"value": 7
},
{
"cell": 7,
"value": 8
}
],
"reason": "Deux chiffres fixés identiques dans les cases L7C1, L7C2, L7C3, L7C4, L7C5, L7C6, L7C7, L7C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
}
],
"cell": 4,
"values": [
4,
5
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 4
}
],
"cell": 7,
"values": [
7,
8
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 4
},
{
"cell": 7,
"value": 7
}
],
"cell": 1,
"values": [
6,
8
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 4
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 6
}
],
"reason": "Le chiffre 7 ne peut plus se placer dans le groupe L3C1, L3C2, L3C3, L3C4, L3C5, L3C6, L3C7, L3C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 4
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
}
],
"cell": 0,
"values": [
5,
6
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 4
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
},
{
"cell": 0,
"value": 5
}
],
"reason": "Le chiffre 1 ne peut plus se placer dans le groupe L1C1, L2C1, L3C1, L4C1, L5C1, L6C1, L7C1, L8C1"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 4
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
},
{
"cell": 0,
"value": 6
}
],
"reason": "Le chiffre 8 ne peut plus se placer dans le groupe L1C3, L2C3, L3C3, L4C3, L5C3, L6C3, L7C3, L8C3"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 4
},
{
"cell": 7,
"value": 8
}
],
"reason": "Le chiffre 6 ne peut plus se placer dans le groupe L3C1, L3C2, L3C3, L3C4, L3C5, L3C6, L3C7, L3C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
}
],
"cell": 6,
"values": [
1,
4
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
}
],
"cell": 7,
"values": [
7,
8
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
}
],
"cell": 1,
"values": [
6,
8
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 6
}
],
"reason": "Le chiffre 7 ne peut plus se placer dans le groupe L3C1, L3C2, L3C3, L3C4, L3C5, L3C6, L3C7, L3C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
}
],
"cell": 0,
"values": [
4,
6
]
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
},
{
"cell": 0,
"value": 4
}
],
"cell": 10,
"values": [
2,
4
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
},
{
"cell": 0,
"value": 4
},
{
"cell": 10,
"value": 2
}
],
"reason": "Le chiffre 5 ne peut plus se placer dans le groupe L6C1, L6C2, L6C3, L6C4, L6C5, L6C6, L6C7, L6C8"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
},
{
"cell": 0,
"value": 4
},
{
"cell": 10,
"value": 4
}
],
"reason": "Le chiffre 1 ne peut plus se placer dans le groupe L1C1, L2C1, L3C1, L4C1, L5C1, L6C1, L7C1, L8C1"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 7
},
{
"cell": 1,
"value": 8
},
{
"cell": 0,
"value": 6
}
],
"reason": "L’inégalité L8C3 < L7C3 ne possède plus de couple de valeurs compatible."
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 1
},
{
"cell": 7,
"value": 8
}
],
"reason": "Le chiffre 7 ne peut plus se placer dans le groupe L3C1, L3C2, L3C3, L3C4, L3C5, L3C6, L3C7, L3C8"
},
{
"event": "branch",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 4
}
],
"cell": 10,
"values": [
2,
4
]
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 4
},
{
"cell": 10,
"value": 2
}
],
"reason": "Le chiffre 5 ne peut plus se placer dans le groupe L1C1, L2C1, L3C1, L4C1, L5C1, L6C1, L7C1, L8C1"
},
{
"event": "contradiction",
"assumptions": [
{
"cell": 3,
"value": 3
},
{
"cell": 20,
"value": 8
},
{
"cell": 12,
"value": 7
},
{
"cell": 4,
"value": 5
},
{
"cell": 6,
"value": 4
},
{
"cell": 10,
"value": 4
}
],
"reason": "Deux chiffres fixés identiques dans les cases L1C1, L2C1, L3C1, L4C1, L5C1, L6C1, L7C1, L8C1"
}
]
}Comment cette réponse a été vérifiée
Recherche exhaustive avec domaines, contraintes tout-différent, emplacements uniques et inégalités ; contrôle indépendant de la grille finale.
{
"nodes": 55,
"branches": 27,
"contradictions": 27,
"max_depth": 9,
"forced": 493,
"solutions": 1,
"size": 8,
"givens": 16,
"inequalities": 19
}Le croisement d’unicité des lignes, d’unicité des colonnes et d’inégalités ne se ferme pas par propagation des seuls chiffres forcés dans le solveur de référence. Des hypothèses imbriquées et des contradictions non locales sont nécessaires dans sa méthode ; cela motive le niveau Extrême, sans prétendre exclure une astuce humaine plus courte.