A legrövidebb út algoritmusok helyességének bizonyításához használt elméleti ismeretek összefoglalója a Cormen-Rivest-Leiserson könyv alapján.
Legrövidebb út mátrixban
Szökés
Út városok elkerülésével
Dagály és apály