Académie Internationale Mohammed VI de l’Aviation Civile

GI117

Programmation par Contraintes

Travaux dirigés 1 :

Modélisation des Problèmes de Satisfaction des contraintes CSP

Exercice 1 :
On veut placer les chiffres de 1 à 8 sur les nœuds de sorte que :
- chaque chiffre n’apparaît qu’une seule fois
- aucun des nœuds connectés n’ont de chiffres consécutifs
N2 N5
3

N1 N3 N6 N8
3 3 3

N4 N7
3 3

Exercice 2 :
On veut mettre m billes numérotées de 1 à m dans n boîtes en respectant les règles suivantes :
- C1 : aucune boîte ne doit contenir deux billes x et y telles que x = 2 - y
- C2 : aucune boîte ne doit contenir trois billes x ; y et z telles que x + y = z
Exercice 3 : Mots croisés

On désire compléter la grille ci-dessous par les mots suivants :

AFT LASER ALE LEE EEL LINE HEEL

SAILS HIKE SHEET HOSES STEER KEEL TIE
KNOT
 1 2 3 4 5
1
2
3
4
5
6

Exercice 4 : Le Kakuro

Le Kakuro est un jeu dont le but est de remplir les cases blanches des grilles de Kakuro en
utilisant seulement les chiffes de 1 à 9. Chaque Kakuro est composé de plusieurs blocs disposés
sur des lignes et des colonnes, limités par des cases noires, de la même manière que les mots
croisés. Ces cases doivent être remplies par des chiffres dont la somme correspond au nombre
indiqué dans la case noire (en bas, pour le bloc vertical, en haut pour le bloc horizontal). Aucun
chiffre ne doit apparaître deux fois dans le même bloc. Considérez la grille suivante :

-
-
Exercice 5 : N Samouraïs

On veut placer n samouraïs sur une grille n × n, de sorte qu’ils ne puissent pas s’attaquer.

La situation est un peu différente de celle des n reines : n = m² pour un entier m ≥ 2, et la grille
consiste en n carrés élémentaires de taille m × m.

Deux samouraïs peuvent s’attaquer s’ils sont placés soit dans la même colonne, soit dans la
même ligne, soit dans le même carré élémentaire.
Exercice 6 : L’énigme d’Einstein

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 entend une musique différente. De plus, on sait que :
 Le norvégien habite la première maison,
 La maison à côté de celle du norvégien est bleue,
 L'habitant de la troisième maison boit du lait,
 L'anglais habite la maison rouge,
 L'habitant de la maison verte boit du café,
 L'habitant de la maison jaune entend du jazz,
 La maison blanche se trouve juste après la verte,
 L'espagnol a un chien,
 L'ukrainien boit du thé,
 Le japonais entend du rock,
 Celui qui entend du pop a un escargot,
 Celui qui entend du métal boit du vin,
 Le voisin de celui qui entend du rap a un renard,
 Le voisin de celui qui entend du jazz a un cheval.
Qui boit de l'eau ? A qui appartient le zèbre ?
Modélisez ce problème sous la forme d'un CSP.