PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
SHORTEST PATHS CHOICE IN MAROUA CITY
By groupe3
Dr Kaladzavi/M.Awé S.D
27 mai 2021
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
1 INTRODUCTION
2 PROBLEME
3 PROPOSITION D’UNE SOLUTION
4 DÉMARCHE ET IMPLÉMENTATION
5 TEST
6 CONCLUSION
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
INTRODUCTION
Prolog est un langage de programmation déclaratif permettant de
résoudre des problèmes logiques. son principe étant de décrire l’énoncé d’un problème par un ensemble d’expressions et de liens logiques . Dans le cadre de notre cour d’introduction à la logique il nous a été demandée de d’écrire un programme en Prolog permettant de déterminer le plus court chemin dans la ville de Maroua. Pour ce faire nous allons d’abord d’écrire le problème, ensuite proposé et implémenter une solution.
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
PROBLEME : Le plus court chemin dans la ville de
Maroua
PROBLEME Nous souhaitons nous rendre dans un quartier B à partir du quartier A dans la ville de Maroua et pour cela plusieurs chemin possible s’offre à nous. Nous devons choisir le chemin avec la distance la plus petite pour pouvoir arriver rapidement à notre destination connaissant le réseau routier de la ville.
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
PROPOSITION D’UNE SOLUTION
SOLUTION Pour résoudre ce problème il existe plusieurs algorithmes, nous avons choisir d’implémenter l’algorithme de Dijkstra ; il permet de trouver le chemin le plus court entre deux points d’un graphe. Pour ce faire, il détermine le chemin le plus court entre un point et n’importe quel autre point du graphe jusqu’à ce qu’il tombe sur le point d’arrivée recherché (ou s’il n’y a plus de point à visiter, c’est qu’il n’existe pas de chemin entre les points considérés).
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
DÉMARCHE ET IMPLÉMENTATION
DÉMARCHE Pour implémenter notre graphe et enfin implémenter l’algorithme qui nous permettra de déterminer le plus court chemin dans la ville de Maroua, il nous faut un logiciel de programmation logique pour résoudre ce problème.Il en existe plusieurs mais nous allons utiliser dans notre cas SWI-Prolog qui est un interpréteur de programmation logique gratuit,intuitif et disponible aussi bien sur windows que sous linux
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
DÉMARCHE ET IMPLÉMENTATION
INSTALLATION DE SWI-Prolog sur Windows
Pour installer SWI-Prolog sous Windows , on dois télécharger sur le site s̆wi-prolog.org la version la plus stable
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
DÉMARCHE ET IMPLÉMENTATION
INSTALLATION DE SWI-Prolog sur linux
Pour installer SWI-Prolog sous Linux Ubuntu il faut installer le paquet SWI-Prolog : apt-get install swi-prolog (ou utiliser l’interface graphique Synaptic d’apt-get). Pour appeler l’interpréteur SWI-Prolog en ligne de commande sous Linux il faut lancer la commandeSWIPL.
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
DÉMARCHE ET IMPLÉMENTATION
Implémentation du graphe Nous avons implémenté un graphe non orienté pour pouvoir trouver un chemin non seulement d’un point X (quartier X) vers un point Y (quartier Y) mais inversement aussi. Un arc est caractérisé par : Son point de départ Son point d’arrivée Son poids
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
DÉMARCHE ET IMPLÉMENTATION
Implémentation de l’algorithme de Djisktra
Pour l’implémentation, nous représenterons chaque chemin de la manière suivante : DistanceChemin-CheminInversé.Les chemins étant inversés, pour un chemin donné, on a directement accès au dernier point visité, celui-ci se trouvant en tête de liste. Ce n’est qu’à la fin de l’algorithme qu’on inversera la liste pour avoir le chemin dans le bon sens.
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
PRESENTATION DU GRAPHE UTILISÉ
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
TEST
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
CONCLUSION
Parvenus au terme de notre devoir, il était question pour nous
d’utiliser la programmation logique pour déterminer le plus court chemin dans la ville de Maroua pour aller d’un point à un autre .Il en ressort que pour déterminer ce chemin nous devons définir nos chemins, et définir également l’algorithme utilisé.Dans le cadre de notre travail nous avons utiliser l’algorithme de Djisktra,qui sert à résoudre le problème du plus court chemin.
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
INTRODUCTION PROBLEME PROPOSITION D’UNE SOLUTION DÉMARCHE ET IMPLÉMENTATION TEST CONCLUSION
Dr Kaladzavi/M.Awé S.D SHORTEST PATHS CHOICE IN MAROUA CITY By groupe3
