Introduction
L'énigme du zèbre est un célèbre casse-tête logique dans lequel il y a cinq maisons, chacune peinte d'une couleur différente.
Les maisons abritent des habitants différents, de nationalités différentes, qui possèdent des animaux de compagnie différents, boivent des boissons différentes et ont des loisirs différents.
Pour t'aider à résoudre l'énigme, tu disposes de 15 affirmations qui décrivent la solution.
Cependant, ce n'est qu'en combinant les informations de toutes les affirmations que tu pourras trouver la solution de l'énigme.
L'énigme du zèbre est un problème de satisfaction de contraintes (CSP).
Dans un tel problème, on dispose d'un ensemble de valeurs possibles et d'un ensemble de contraintes qui restreignent les valeurs valides.
Un autre CSP bien connu est le Sudoku.
Instructions
Tu dois 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 ?
L'énigme
Les 15 affirmations suivantes sont toutes vraies :
- Il y a cinq maisons.
- L'Anglais vit dans la maison rouge.
- L'Espagnol possède le chien.
- La personne qui vit dans la maison verte boit du café.
- L'Ukrainien boit du thé.
- La maison verte se trouve immédiatement à droite de la maison ivoire.
- Le propriétaire de l'escargot aime aller danser.
- La personne qui vit dans la maison jaune est peintre.
- La personne qui vit dans la maison du milieu boit du lait.
- Le Norvégien vit dans la première maison.
- La personne qui aime lire vit dans la maison située à côté de celle de la personne qui a le renard.
- La maison du peintre est à côté de la maison où se trouve le cheval.
- La personne qui joue au football boit du jus d'orange.
- Le Japonais joue aux échecs.
- Le Norvégien vit à 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 différents, boivent des boissons différentes et pratiquent des loisirs différents.
Il y a 24 milliards (5!⁵ = 24 883 200 000) de solutions possibles, alors essaie d'éliminer autant de solutions que possible.
