Compléter le carré 8 × 8 avec les chiffres de 1 à 8.
Corrigé — cette page contient la réponse.
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"
}
]
}