Académique Documents
Professionnel Documents
Culture Documents
Master 1 SITW
Etat initial
2 1 6
4 8
7 5 3
I
--------------------------------------------------------------------------------------------------------------
I A I B I C I D
2 6 2 1 6 2 1 6 2 1 6
4 1 8 4 5 8 4 8 4 8
7 5 3 7 3 7 5 3 7 5 3
I
I
--------------------------------------------------------------------------------------------------------------
I A I B I C I D
2 6 2 1 6 2 6 2 6
4 1 8 4 8 4 1 8 4 1 8
7 5 3 7 5 3 7 5 3 7 5 3
Impossible Etat initial
Etc.
AB AC AD
Un autre exemple est le problème des missionnaires et des cannibales qui sera traité en travaux
dirigés.
Considérons trois piquets, notés A, B et C, et un nombre fini de disques de tailles différentes que l’on
suppose placés initialement par taille décroissante sur le piquet A. Le but est ici de transférer cette
tour de disques du piquet A au piquet C en respectant les règles suivantes :
Par exemple, pour trois disques, on peut déplacer la tour du piquet A au piquet C en effectuant 7
mouvements comme illustré ci-dessous.
Le problème : déplacer une pile de taille n d’un piquet 1 vers un piquet 3 peut être remplacé par les 3
sous-problèmes suivants :
déplacer une pile de taille n-1 du piquet 1 vers le piquet 2
déplacer une pile de taille 1 du piquet 1 vers le piquet 3
déplacer une pile de taille n-1 du piquet 2 vers le piquet 3
N=3
1à3
N=2 N=1 N=2
1à2 1à3 2à3
N=1 N=1 N=1 N=1 N=1 N=1
1à3 1à2 3à2 2à1 2à3 1à1
Dans l’exemple précédent (Tour de Hanoi), un arbre est utilisé pour représenter la solution du
problème. La notation en arbre peut être généralisée en graphe et/ou.
Exemple :
Recherche heuristique
Une heuristique est une information qui peut être utilisée pour réduire l’espace d’états. Une
méthode de recherche qui utilise une heuristique s’appelle méthode heuristique.
Les points sur lesquels l’heuristique peut s’appuyer sont :
Déterminer le nœud suivant à développer au lieu d’effectuer un parcours en largeur d’abord
ou en profondeur d’abord.
Déterminer quels sont les successeurs à générer au lieu de générer tous les successeurs
possibles.
Décider quels sont les nœuds à ignorer.
Le problème est comment déterminer et comment décider ?
Graphe de solution
Le graphe définit le problème entier. La partie du graphe qui ne représente que la solution du
problème s’appelle graphe de solution. Dans un graphe de solution, tous les nœuds sont solubles.
Un nœud est soluble si :
C’est un nœud terminal qui a une solution
C’est un nœud non terminal dont les fils sont des nœuds « et » et qui sont solubles.
C’est un nœud non terminal dont les fils sont des nœuds « ou » et au moins un parmi eux est
soluble
OU
x x
x
x
ET
x x o x
o o
OU
x x x x x
o o o x o
x x