Algorithme de plus court chemin de Dijkstra

Statut documentaire : guide — voir Maturité et preuves.

L’algorithme de Dijkstra calcule les plus courts chemins depuis une source dans un graphe dont les poids d’arêtes sont non négatifs. Dans la documentation logiCells, il doit être considéré comme une brique algorithmique : l’identité conceptuelle et la sémantique des relations restent distinctes de l’algorithme de parcours.