Algorithme de Dijkstra [PDF]

Algorithme de Dijkstra jour s’opère comme suit : la nouvelle distance du sommet voisin est le minimum entre la distance

36 1 78KB

Report DMCA / Copyright

DOWNLOAD PDF FILE

Algorithme de Dijkstra [PDF]

  • 0 0 0
  • Gefällt Ihnen dieses papier und der download? Sie können Ihre eigene PDF-Datei in wenigen Minuten kostenlos online veröffentlichen! Anmelden
Datei wird geladen, bitte warten...
Zitiervorschau

Algorithme de Dijkstra jour s’opère comme suit : la nouvelle distance du sommet voisin est le minimum entre la distance existante et celle obtenue en ajoutant le poids de l'arc entre sommet voisin et sommet ajouté à la distance du sommet ajouté. On continue ainsi jusqu'à épuisement des sommets (ou jusqu'à sélection du sommet d'arrivée).

1.1 Distance entre la ville A et la ville J L'algorithme de Dijkstra fonctionne aussi sur un graphe non orienté (qui peut le plus peut le moins). L'exemple suivant montre les étapes successives dans la résolution du chemin le plus court dans un graphe. Les nœuds symbolisent des villes identifiées par une lettre et les arêtes Une exécution de l'algorithme. indiquent la distance entre ces villes. On cherche à déterminer le plus court trajet pour aller de la ville A à la ville En théorie des graphes, l'algorithme de Dijkstra (pro- J. noncé [dɛj.kstra]) sert à résoudre le problème du plus On connaît ainsi le chemin le plus court menant de A à J, court chemin. Il permet, par exemple, de déterminer un il passe par C et H et mesure 487 km. plus court chemin pour se rendre d'une ville à une autre connaissant le réseau routier d'une région. Plus précisément, il calcule des plus courts chemins à partir d'une 1.2 Présentation sous forme de tableau source dans un graphe orienté pondéré par des réels positifs. On peut aussi l'utiliser pour calculer un plus court On peut aussi résumer l'exécution de l'algorithme de chemin entre une source et un sommet d'arrivée. Dijkstra avec un tableau. Chaque étape correspond à une L'algorithme porte le nom de son inventeur, ligne. Une ligne donne les distances courantes des soml'informaticien néerlandais Edsger Dijkstra, et a été mets depuis le sommet de départ. Une colonne donne l'évolution des distances d'un sommet donné depuis le publié en 1959[1] . sommet de départ au cours de l'algorithme. La distance Cet algorithme est de complexité polynomiale. d'un sommet choisi (car minimale) est soulignée. Les distances mises à jour sont barrées si elles sont supérieures à des distances déjà calculées.

1

Principe sur un exemple

Le tableau donne non seulement la distance minimale de la ville A à la ville J (487) mais aussi le chemin à suivre à L'algorithme prend en entrée un graphe orienté pondé- rebours (J - H - C - A) pour aller de A à J ainsi que toutes ré par des réels positifs et un sommet source. Il s’agit les distances minimales de la ville A aux autres villes rande construire progressivement un sous-graphe dans lequel gées par ordre croissant. sont classés les différents sommets par ordre croissant de leur distance minimale au sommet de départ. La distance correspond à la somme des poids des arcs empruntés. 2 Schéma d'algorithme Au départ, on considère que les distances de chaque sommet au sommet de départ sont infinies sauf pour le som- Le graphe est noté G = (S, A) où : met de départ pour lequel la distance est de 0. Le sous• l'ensemble S est l'ensemble fini des sommets du graphe de départ est l'ensemble vide. graphe G ; Au cours de chaque itération, on choisit en dehors du sous-graphe un sommet de distance minimale et on • l'ensemble A est l'ensemble des arcs de G tel que : l'ajoute au sous-graphe. Ensuite, on met à jour les dissi (s1 , s2 ) est dans A , alors il existe un arc depuis tances des sommets voisins de celui ajouté. La mise à le nœud s1 vers le nœud s2 ; 1

2

3 IMPLÉMENTATION DE L'ALGORITHME

4



0

1 2



n'y a pas d'arc reliant s1 à s2 ). Le poids du chemin entre deux sommets est la somme des poids des arcs qui le composent. Pour une paire donnée de sommets sdeb (le sommet du départ) sf in (sommet d'arrivée) appartenant à S , l'algorithme trouve un chemin depuis sdeb vers sf in de moindre poids (autrement dit un chemin le plus léger ou encore le plus court). L'algorithme fonctionne en construisant un sous-graphe P de manière à ce que la distance entre un sommet s de P depuis sdeb soit connue et soit un minimum dans G . Initialement P contient simplement le nœud sdeb isolé, et la distance de sdeb à lui-même vaut zéro. Des arcs sont ajoutés à P à chaque étape : 1. en identifiant toutes les arcs ai = (si1 , si2 ) dans P × G ;

4

4 0

1 2

L'algorithme se termine soit quand P devient un arbre couvrant de G , soit quand tous les nœuds d'intérêt[2] sont dans P . On peut donc écrire l'algorithme de la façon suivante : Entrées : G = (S, A) un graphe avec une pondération positive poids des arcs, sdeb un sommet de S P := ∅ d[a] := +∞ pour chaque sommet a d(sdeb ) = 0 Tant qu'il existe un sommet hors de P Choisir un sommet a hors de P de plus petite distance d[a] Mettre a dans P Pour chaque sommet b hors de P voisin de a d[b] = min(d[b], d[a] + poids(a, b)) Fin Pour Fin Tant Que

2 3

4

2. en choisissant l'arc aj = (sj1 , sj2 ) dans P × G qui donne la distance minimum depuis sdeb à sj2 en passant tous les chemins créés menant à ce nœud.

3 Implémentation de l'algorithme 3.1 Fonctions annexes

0

1 2

L'algorithme utilise les fonctions annexes suivantes. 3.1.1 Initialisation de l'algorithme

2

• on définit la fonction poids définie sur S × S dans R+ qui à un couple (s1 , s2 ) associe le poids positif poids(s1 , s2 ) de l'arc reliant s1 à s2 (et +∞ si s’il

Initialisation(G,sdeb) 1 pour chaque point s de G 2 faire d[s] := infini /* on initialise les sommets autres que sdeb à infini */[3] 3 d[sdeb] := 0 /* sdeb étant le point le plus proche de sdeb */ 3.1.2 Recherche d'un nœud de distance minimale • On recherche un nœud de distance minimale (relié par l'arc de poids le plus faible) de sdeb parmi les

3 nœuds situés hors de P . Le complémentaire de P est noté Q . On implémente pour cela une fonction Trouve_min(Q) qui choisit un nœud de Q de distance minimale. Trouve_min(Q) 1 mini := infini 2 sommet := −1 3 pour chaque sommet s de Q 4 si d[s] < mini 5 alors 6 mini = d[s] 7 sommet := s 8 renvoyer sommet

3.1.3

de l'algorithme est O((|A| + |S|) × log(|S|)) si on implémente la file à priorités par un tas binaire (en supposant que les comparaisons des poids d'arcs soient à temps constant). Si on implémente la file à priorités avec un tas de Fibonacci, l'algorithme est en O(|A| + |S| × log(|S|)) [4] .

4 Correction de l'algorithme

Mise à jour des distances

La démonstration de correction repose sur l'invariant suivant : les distances des sommets dans P sont les distances • On met à jour les distances entre sdeb et s2 en se minimales[4] . L'algorithme de Dijkstra est un algorithme posant la question : vaut-il mieux passer par s1 ou glouton. pas ?

maj_distances(s1,s2) 1 si d[s2] > d[s1] + Poids(s1,s2) /* 5 Applications Si la distance de sdeb à s2 est plus grande que */ 2 /* celle de sdeb à S1 plus celle de S1 à S2 */ 3 alors 4 d[s2] := d[s1] + Poids(s1,s2) /* On prend ce nouveau chemin qui L'algorithme de Dijkstra trouve son utilité dans le calest plus court */ 5 prédécesseur[s2] := s1 /* En notant par cul des itinéraires routiers. Le poids des arcs pouvant être la distance (pour le trajet le plus court), le temps estimé où on passe */ (pour le trajet le plus rapide), la consommation de carburant et le prix des péages (pour le trajet le plus économique). [réf. nécessaire] 3.2 Fonction principale Une application des plus courantes de l'algorithme de Voici la fonction principale utilisant les précédentes fonc- Dijkstra sont les protocoles de routage interne « à état tions annexes : de liens », tels que Open Shortest Path First (OSPF)[5] ou [6] Dijkstra(G,Poids,sdeb) 1 Initialisation(G,sdeb) 2 Q := en- IS-IS – ou encore PNNI (en) sur les réseaux ATM –, qui semble de tous les nœuds 3 tant que Q n'est pas un en- permettent un routage internet très efficace des informa[réf. nécessaire] semble vide 4 faire s1 := Trouve_min(Q) 5 Q := Q pri- tions en cherchant le parcours le plus efficace. vé de s1 6 pour chaque nœud s2 voisin de s1 7 faire maj_distances(s1,s2) Le plus court chemin de sdeb à sf in peut ensuite se calculer itérativement selon l'algorithme suivant, avec A la suite représentant le plus court chemin de sdeb à sf in :

6 Comparaison avec d'autres algorithmes

1 A = suite vide 2 s := sfin 3 tant que s != sdeb 4 A = A + s /* on ajoute s à la suite A */ 5 s = prédécesseur[s] /* on continue de suivre le chemin */

• L'algorithme de Dijkstra est une spécialisation du parcours en largeur.

3.3

Spécialisation de l'algorithme

Il est possible de spécialiser l'algorithme en arrêtant la recherche lorsque l'égalité s1 = sf in est vérifiée, dans lequel où on ne cherche que la distance minimale entre sdeb et sf in .

3.4

Complexité de l'algorithme

L'efficacité de l'algorithme de Dijkstra repose sur une mise en œuvre efficace de Trouve_min. On considère l'ensemble Q comme une file à priorités. Si le graphe possède |A| arcs et |S| nœuds, que le graphe est représenté par des listes d'adjacence, alors la complexité en temps

• La spécialisation de l'algorithme de Dijkstra qui calcule un plus court chemin d'une source à une destination est une instance de l'algorithme A* dans lequel la fonction heuristique est la fonction nulle. L'algorithme A* qui utiliserait une heuristique minorante et monotone (par exemple la distance à vol d'oiseau) peut être plus efficace [réf. nécessaire] . • L'algorithme ne s’applique pas aux graphes avec des poids négatifs. Mais l'algorithme de Bellman-Ford permet de résoudre le problème des plus courts chemins depuis une source avec des poids négatifs (mais sans cycle négatif). • L'algorithme de Floyd-Warshall calcule des plus courts chemins entre tous les sommets dans un graphe où les poids peuvent être négatifs.

4

8 ANNEXES

7

Notes et références

[1] (fr) Principes de l'algorithme de Dijkstra, site Nimbustier.net. [2] Par exemple, les nœuds n'ayant pas d'arêtes autres que celle que l'on a parcourue pour arriver à eux, ne sont pas considérés comme des nœuds d'intérêt.

8.3 Liens externes • Explication détaillée de l'algorithme de Dijkstra et implémentation complète en C++ • (en) Applet Java montrant l'algorithme de Dijkstra étape par étape • (en) Applets Java utilisant l'algorithme

[3] La suite de caractères /* ... */ est un commentaire. [4] Cormen et al. 2010, p. 610 [5] (en) John Moy, « RFC2328 OSPF Version 2 », avril 1998 (consulté le 19 mai 2016) : « Using the Dijkstra algorithm, a tree is formed from this subset of the link state database. », p. 161 [6] (en) David R. Oran, « RFC1142 : OSI IS-IS Intra-domain Routing Protocol », février 1990 (consulté le 19 mai 2016) : « An algorithm invented by Dijkstra (see references) known as shortest path first (SPF), is used as the basis for the route calculation. »

8

Annexes

8.1

Bibliographie

• (en) « A short introduction to the art of programming » de Edsger W. Dijkstra, 1971, contenant l'article original (1959) décrivant l'algorithme de Dijkstra (pages 67 à 73). • (en) Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein, Introduction à l'algorithmique, MIT Press et McGraw-Hill, 2001, 2e éd. [détail de l’édition], section 24.3, « Dijkstra’s algorithm », pages 595–601. • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein (trad. de l'anglais), Algorithmique : Cours avec 957 exercices et 158 problèmes, Dunod, 2010 [détail de l’édition]

8.2

Articles connexes

• Lexique de la théorie des graphes • Recherche de chemin et Problèmes de cheminement • Algorithme de parcours en largeur • Algorithme A* • Article sur l'algorithme de Ford-Bellman qui permet de calculer le plus court chemin avec des poids d'arcs négatifs



Portail de l'informatique théorique

5

9

Sources, contributeurs et licences du texte et de l’image

9.1

Texte

• Algorithme de Dijkstra Source : https://fr.wikipedia.org/wiki/Algorithme_de_Dijkstra?oldid=134144791 Contributeurs : Med, Vargenau, Looxix, Orthogaffe, Céréales Killer, Fphilibert, Jeanmichel, Alno, HasharBot, P-e, Tom~frwiki, Francis.sourd, Archibald, Sanao, MedBot, ChrisJ, Sam Hocevar, VIGNERON, David.Monniaux, Anarkman, Xmlizer, Francois Trazzi, HB, Phe-bot, Romainhk, Kassus, Tuxmym, Jef-Infojef, Mms~frwiki, Dake, Neoneurone, Sherbrooke, Franckyboy, Laubrau, Chobot, Seb35, Stendhalconques, Lmaltier, Kilom691, Gzen92, Jeanot, RobotQuistnix, FlaBot, Arria Belli, YurikBot, Gene.arboit, Caron, MistWiz, Litlok, Jill-Jênn, 16@r, Dummy~frwiki, Loveless, Freewol, FrançoisD, Epsilon0, Booggi, Aeleftherios, Jaimie Ann Handson, AzertyFab, Thijs !bot, Julien Jorge, Gilles.L, Kropotkine 113, El Caro, Soulbot, Blue Prawn, Int xxh, Sebleouf, FR, VonTasha, Analphabot, Salebot, MIRROR, TXiKiBoT, VolkovBot, Paul Bouchequet, Backtracking, AlleborgoBot, Ssx`z, Gz260, SieBot, Utb diablo, Kyro, Ange Gabriel, Alecs.bot, FitzSai, DumZiBoT, SniperMaské, Raude, Carapass, Rinaku, Artemis01, Grouic, Mayayu, SilvonenBot, ZetudBot, Ggal, Elfix, François-Karim, Pierre KRIEGER, Varmin, Luckas-bot, Zandr4, Yonidebot, JmCor, Anne Bauval, Aadri, Flyingsquirrel, Sayah24, ArthurBot, Rubinbot, Podgy piglet, Cucurbitacea1551, D'ohBot, Touam, MondalorBot, Dommm063, Lamusiqueduhasard, Bobodu63, EmausBot, Alexandre Duret-Lutz, EoWinn, Faure.thomas, ChuispastonBot, Placide delens, OrlodrimBot, Elopash, Bacs31, LionelGotti, Rannios, Ectod, OrikriBot, Roll-Morton, Kmil97.1, Addbot, Zebulon84bot, JulienCo, Leo033, Fschwarzentruber, Tearow, Remycave et Anonyme : 135

9.2

Images

• Fichier:Dijkstra’{}s_algorithm.svg Source : https://upload.wikimedia.org/wikipedia/commons/b/be/Dijkstra%27s_algorithm.svg Licence : Public domain Contributeurs : Travail personnel Artiste d’origine : Dcoetzee • Fichier:DijkstraBis01.svg Source : https://upload.wikimedia.org/wikipedia/commons/2/29/DijkstraBis01.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:DijkstraBis02.svg Source : https://upload.wikimedia.org/wikipedia/commons/5/5c/DijkstraBis02.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:DijkstraBis03.svg Source : https://upload.wikimedia.org/wikipedia/commons/3/3a/DijkstraBis03.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:DijkstraBis04.svg Source : https://upload.wikimedia.org/wikipedia/commons/2/26/DijkstraBis04.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:DijkstraBis05.svg Source : https://upload.wikimedia.org/wikipedia/commons/b/b0/DijkstraBis05.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:DijkstraBis06.svg Source : https://upload.wikimedia.org/wikipedia/commons/f/f5/DijkstraBis06.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:DijkstraBis07.svg Source : https://upload.wikimedia.org/wikipedia/commons/d/d9/DijkstraBis07.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:DijkstraBis08.svg Source : https://upload.wikimedia.org/wikipedia/commons/f/f7/DijkstraBis08.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:DijkstraBis09.svg Source : https://upload.wikimedia.org/wikipedia/commons/d/d9/DijkstraBis09.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : HB • Fichier:Dijkstra_Animation.gif Source : https://upload.wikimedia.org/wikipedia/commons/5/57/Dijkstra_Animation.gif Licence : Public domain Contributeurs : Work by uploader. Artiste d’origine : Ibmua • Fichier:Max-cut.svg Source : https://upload.wikimedia.org/wikipedia/commons/c/cf/Max-cut.svg Licence : CC BY-SA 3.0 Contributeurs : Travail personnel Artiste d’origine : Miym

9.3

Licence du contenu

• Creative Commons Attribution-Share Alike 3.0