Introduction
L’énigme du zèbre est un célèbre problème de logique qui met en scène cinq maisons, chacune peinte d’une couleur différente.
Ces maisons ont des habitants différents, qui ont des nationalités différentes, possèdent des animaux domestiques différents, boivent des boissons différentes et fument des marques de cigarettes différentes.
Pour t’aider à résoudre l’énigme, on te donne 15 assertions qui décrivent la solution.
Cependant, ce n’est qu’en combinant les informations de toutes les assertions que tu pourras trouver la solution de l’énigme.
L’énigme du zèbre est un problème de satisfaction de contraintes (CSP).
Dans ce type de problème, on dispose d’un ensemble de valeurs possibles et d’un ensemble de contraintes qui limitent les valeurs valides.
Un autre CSP bien connu est le Sudoku.
Instructions
Ta tâche est de résoudre l'énigme du zèbre pour trouver la réponse à ces deux questions :
- Lequel des habitants boit de l'eau ?
- Qui possède le zèbre ?
Énigme
Les 15 affirmations suivantes sont toutes connues comme vraies :
- Il y a cinq maisons.
- L'Anglais habite dans la maison rouge.
- L'Espagnol possède le chien.
- On boit du café dans la maison verte.
- L'Ukrainien boit du thé.
- La maison verte est immédiatement à droite de la maison ivoire.
- Le fumeur d'Old Gold possède des escargots.
- On fume des Kools dans la maison jaune.
- On boit du lait dans la maison du milieu.
- Norwegian habite dans la première maison.
- L'homme qui fume des Chesterfields habite dans la maison à côté de l'homme au renard.
- On fume des Kools dans la maison à côté de celle où l'on garde le cheval.
- Le fumeur de Lucky Strike boit du jus d'orange.
- Japanese fume des Parliaments.
- Norwegian habite à côté de la maison bleue.
De plus, chacune des cinq maisons est peinte d'une couleur différente, et leurs habitants sont d'origines nationales différentes, possèdent des animaux de compagnie différents, boivent des boissons différentes et fument des marques de cigarettes différentes.
Il y a 24 milliards (5!⁵ = 24 883 200 000) de solutions possibles, alors essaie d'en éliminer autant que possible.
