Dijkstrův algoritmus

Běh Dijkstrova algoritmu na malém grafu, při němž dojde ke dvěma relaxacím

Dijkstrův algoritmus je algoritmus sloužící k nalezení nejkratší cesty v grafu. Je konečný (pro jakýkoliv konečný vstup algoritmus skončí), protože v každém průchodu cyklu se do množiny navštívených uzlů přidá právě jeden uzel, průchodů cyklem je tedy nejvýše tolik, kolik má graf vrcholů. Funguje nad hranově kladně ohodnoceným grafem (neohodnocený graf lze však na ohodnocený snadno převést). Pro grafy s hranami se záporným ohodnocením se obvykle používá pomalejší Bellmanův–Fordův algoritmus.

Algoritmus poprvé popsal nizozemský informatik Edsger Dijkstra.

Popis algoritmuEditovat

Mějme graf  , v němž hledáme nejkratší cestu. Řekněme, že   je množina všech vrcholů grafu   a množina   obsahuje všechny hrany grafu  . Algoritmus pracuje tak, že si pro každý vrchol    pamatuje délku nejkratší cesty, kterou se k němu dá dostat. Označme tuto hodnotu jako  . Na začátku mají všechny vrcholy   hodnotu  , kromě počátečního vrcholu  , který má  . Nekonečno symbolizuje, že neznáme cestu k vrcholu.

Dále si algoritmus udržuje množiny   , kde   obsahuje už navštívené vrcholy a   dosud nenavštívené. Algoritmus pracuje v cyklu tak dlouho, dokud   není prázdná. V každém průchodu cyklu se přidá jeden vrchol    do  , a to takový, který má nejmenší hodnotu   ze všech vrcholů   .

Pro každý vrchol  , do kterého vede hrana (označme její délku jako  ) z  , se provede následující operace: pokud  , pak do   přiřaď hodnotu  , jinak neprováděj nic.

Až algoritmus skončí, potom pro každý vrchol    je délka jeho nejkratší cesty od počátečního vrcholu   uložena v  .

Pseudokód – PascalEditovat

 1  function Dijkstra(E, V, s):
 2     for each vertex v in V:           // Inicializace
 3         d[v] := infinity              // Zatím neznámá vzdálenost z počátku s do vrcholu v
 4         p[v] := undefined             // Předchozí vrchol na nejkratší cestě z počátku s k cíli
 5     d[s] := 0                         // Vzdálenost z s do s
 6     N := V                            // Množina všech dosud nenavštívených vrcholů. Na začátku všech vrcholů.
 7     while N is not empty:             // Samotný algoritmus
 8         u := extract_min(N)           // Vezměme "nejlepší" vrchol                          
 9         for each neighbor v of u:
10             alt = d[u] + l(u, v)      // v 1. smyčce cyklu u je s d[u] = 0
11             if alt < d[v]              
12                 d[v] := alt
13                 p[v] := u

V případě, že nás zajímá pouze nejkratší cesta mezi zdrojovým a cílovým vrcholem, můžeme ukončit hledání na řádce 9 if u = target. Cestu ze zdroje do cíle pak zjistíme cyklem:

1 S := empty sequence 
2 u := target
3 while defined p[u]
4     insert u at the beginning of S
5     u := p[u]

Obecnější problém je nalezení nejkratších cest mezi zdrojovým vrcholem a všemi ostatními (případně nějakou jejich podmnožinou). V tomto případě je nutné v poli p[] ukládat všechny vrcholy splňující relaxační podmínku.

Efektivita algoritmuEditovat

Nejjednodušší implementace Dijkstrova algoritmu používá pro uložení prioritní fronty pole a operace Extract-Min( ) je lineární prohledávání všech vrcholů v  . V tomto případě je asymptotická časová složitost  , kde   je počet vrcholů a   počet hran.

Pro řídké grafy (grafy s počtem hran mnohem menším než  ) může být Dijkstrův algoritmus implementován mnohem efektivněji tím, že se graf ukládá pomocí seznamu sousedů a funkce Extract-Min se implementuje pomocí binární nebo Fibonacciho haldy. Poté algoritmus běží v čase  , Fibonacciho halda čas zlepší na  .

Související článkyEditovat

ReferenceEditovat

  • E. W. Dijkstra: A note on two problems in connexion with graphs. In: Numerische Mathematik. 1 (1959), S. 269–271
  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, a Clifford Stein. Introduction to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 0-262-03293-7. Sekce 24.3: Dijkstra's algorithm, pp.595–601.
  • Jakub Černý: Nejkratší cesta v grafu, in: Základní grafové algoritmy (PDF)

Externí odkazyEditovat