Dijkstra algoritm

Dijkstra algoritm on Edsger Wybe Dijkstra poolt 1959. aastal avaldatud graafi läbimise algoritm, mis leiab sidusas graafis lühimad teed algtipust kõigisse teistesse tippudesse. Seda algoritmi kasutatakse tihti marsruutimisel. Dijkstra algoritm on ahne algoritm. Algoritm leiab graafi etteantud algtipust vähima kaalutud pikkusega ahelad (ehk lühimad teed) algtipu ja kõigi ülejäänud tippude vahel. Seda võib kasutada ka lühima tee leidmiseks kindlast algtipust kindlasse lõpptippu, peatades algoritmi, kui lühim tee lõpptippu on leitud. Näiteks, kui graafi tipud tähistavad linnu ja servade kaalud tähistavad kahe omavahel teega ühendatud linna vahelist vahemaad, siis saab Dijkstra algoritmi kasutades leida lühimad teekonnad reisi lähtelinnast kõigisse teistesse linnadesse. Lühima tee leidmise algoritmi kasutatakse laialdaselt võrgu marsruutimisprotokollides, tuntumaid neist on IS-IS ja OSPF (Open Shortest Path First). Dijkstra algoritm töötab sidusas graafis. Kui graaf pole sidus, siis igast tipust igasse tippu teed ei eksisteerigi ja seda ei saa ka leida. Siiski saab mittesidusateski graafides kasutada Dijkstra algoritmi tippudevahelise lühima tee leidmiseks, kui see eksisteerib, samuti kontrollimiseks, kas ühest tipust teise tee üldse olemas on. Dijkstra algoritmi saab rakendada mittenegatiivsete kaaludega graafis lühimate teede leidmiseks. Kui graafis on negatiivsed kaalud, siis tuleks kasutada kas Bellmanni-Fordi või Floydi-Warshalli algoritmi. Mikkel Thorupi hinnangul on kõik hilisemad ainsa allikaga lühima tee ülesande (single-source shortest-path problem) teoreetilised uurimused tuginenud Dijkstra algoritmile. Nimetagem algpunktiks valitud tippu algtipuks. Olgu tipu Y kauguseks tipu Y kaugus algtipust. Dijkstra algoritm omistab tippudele kauguste esialgsed väärtused ja püüab neid siis samm-sammult parandada. Omista igale tipule esialgsed kauguste väärtused. Määra algtipu kauguseks 0 ja kõigi ülejäänud tippude kauguseks lõpmatus. Märgi kõik tipud külastamata tippudeks. Märgi algtipp valituks. Arvuta valitud tipu veel külastamata naabertippude kaugused (algtipust). Näiteks kui valitud tipu (A) kaugus on 6 ning seda tippu naabertipuga B ühendava serva pikkus on 2, siis on tipu B kaugus läbi tipu A 6+2=8. Kui see kaugus on väiksem kui varem välja arvutatud kaugus (algtipul 0 ja kõigil teistel tippudel lõpmatus), siis omista kaugusele uus väärtus. Kui valitud tipu kõik naabertipud on üle kontrollitud, siis märgi valitud tipp külastatuks. Juba külastatud tippu enam ei kontrollita ning selle salvestatud kaugus on lõplik ja selle tipu vähim kaugus. Märgi külastamata tippudest valituks (algtipust) vähima kaugusega tipp ja pöördu tagasi 3. sammu juurde. Kui külastamata tippe enam pole, on algoritmi töö läbi. Kui kõigi külastamata tippude kaugus on lõpmatus, siis on töö samuti läbi: neid ei saagi külastada. Järgnevas koodis on d [ v ] {\displaystyle d[v]} tipu v {\displaystyle v} kaugus algtipust a {\displaystyle a} , p [ v ] {\displaystyle p[v]} on v {\displaystyle v} -le eelnev tipp lühimal teel a {\displaystyle a} -st ja w [ v u ] {\displaystyle w[vu]} serva v u {\displaystyle vu} pikkus. V {\displaystyle V} tähistab graafi tippe ja E {\displaystyle E} graafi servasid. U {\displaystyle U} on külastamata tippude hulk. Kõigi v ∈ V {\displaystyle v\in V} kohta d [ v ] ← ∞ {\displaystyle d[v]\gets \infty } U ← V {\displaystyle U\gets V} d [ a ] ← 0 {\displaystyle d[a]\gets 0} Kuni U ≠ ∅ {\displaystyle U\neq \emptyset } Olgu v ∈ U {\displaystyle v\in U} minimaalse d [ v ] {\displaystyle d[v]} -ga tipp Kõigi u ∈ U {\displaystyle u\in U} kohta, nii et v u ∈ E {\displaystyle vu\in E} kui d [ u ] > d [ v ] + w [ v u ] {\displaystyle d[u]>d[v]+w[vu]} siis d [ u ] ← d [ v ] + w [ v u ] {\displaystyle d[u]\gets d[v]+w[vu]} p [ u ] ← v {\displaystyle p[u]\gets v} U ← U ∖ { v } {\displaystyle U\gets U\setminus \{v\}} Keerukusteoreetilises mõttes on Dijkstra algoritmi kasutades lühima tee leidmine ühest tipust kindlasse lõpptippu ja ühest algtipust kõigisse ülejäänud tippudesse võrdse keerukusega: mõlema keerukus on O(n²). Kui tarvis on leida mitte ainult lõpptipu kaugus algtipust, vaid ka lühim tee selleni (missuguseid tippe lühim tee läbib), ei muuda seegi ülesannet keerukamaks. Kasutades andmemassivina Fibonacci kuhja, on Dijksta algoritmi keerukus O ( n log ⁡ ( n ) + m ) {\displaystyle O(n\log(n)+m)} , kus n on graafi tippude arv ja m servade arv. Dijkstra algoritmi kasutatakse GIS rakenduse ArcView moodulis Network Analyst, leidmaks kahe punkti vahelist optimaalset teed. Laiuti otsing Sügavuti otsing Graafiteooria Edsger Wybe Dijkstra, A note on two problems in connexion with graphs, Numerische Mathematik, nr 1, 1959, lk 269–271 Kevin Wayne, Algorithms and Data Structures, Spring 2004: Shortest Paths, Dijkstra's algorithm, Bellman-Ford algorithm Inga Petuhhov, Graaf. Mõisted. Algoritmid: BFS, DFS, 2008 Mikkel Thorup, Undirected single-source shortest paths with positive integer weights in linear time, Journal of the ACM, 46(3), 1999, lk 362–394 Michael L. Fredman, Robert Endre Tarjan, Fibonacci heaps and their uses in improved network optimization algorithms. J. Assoc. Comput. Mach., 34(3):596{615, 1987. Agur Paesüld, SPM andmete modelleerimise võimalused ArcView ning Idrisi vahenditega kasutades kiirema tee leidmise algoritme[alaline kõdulink], 2006, lk 12 Intervjuu Edsger W. Dijkstraga, milles ta muuhulgas räägib Dijkstra algoritmi tekkeloost, Charles Babbage Institute University of Minnesota, Minneapolis, 2001. (inglise keeles) Java rakendus Dijkstra algoritmi näidete loomiseks