Exemple du zèbre

Cinq maisons consécutives, de couleurs différentes, sont habitées par des hommes de différentes nationalités. Chacun possède un animal différent, a une boisson préférée différente et fume des cigarettes différentes. De plus, on sait que :

1. Le norvégien habite la première maison,
2. La maison à coté de celle du norvégien est bleue,
3. L'habitant de la troisième maison boit du lait,
4. L'anglais habite la maison rouge,
5. L'habitant de la maison verte boit du café,
6. L'habitant de la maison jaune fume des kools,
7. La maison blanche se trouve juste après la verte,
8. L'espagnol a un chien,
9. L'ukrainien boit du thé,
10. Le japonais fume des cravens,
11. Le fumeur de old golds a un escargot,
12. Le fumeur de gitanes boit du vin,
13. Le voisin du fumeur de Chesterfields a un renard,
14. Le voisin du fumeur de kools a un cheval.

Qui boit de l'eau ? A qui appartient le zèbre ?

Formalisation du problème:

On identifie les maisons par des numéros de 1 à 5. Il s'agit d'affecter à chaque attribut (couleur, animal, boisson, nationalité, cigarette) un numéro indiquant à quelle maison se rapporte cet attribut. Par exemple, si la maison numéro 2 est bleue, alors la variable bleue doit avoir pour valeur 2.

• Variables du problème: blanche, rouge, verte, jaune, bleue, norvégien, anglais, ukrainien, japonais, espagnol, cheval, renard, zèbre, escargot, chien, thé, eau, lait, café, vin, kools, chesterfields, old_golds, cravens, gitanes.

• Domaines des variables:

• Contraintes:

  norvégien = 1,
  bleue = norvégien + 1,
  lait = 3,
  anglais = rouge,
  verte = café,
  ...

  De plus, toutes les variables de même type doivent être différentes:

  blanche rouge verte jaune bleue,
  thé eau lait café vin,
  ...