Quel est l'algorithme le plus rapide pour trouver tous les chemins les plus courts dans un graphe clairsemé?

24

Dans un graphe non pondéré et non orienté avec des sommets et des arêtes tels que , quel est le moyen le plus rapide pour trouver tous les chemins les plus courts dans un graphe? Peut-il être fait plus rapidement que Floyd-Warshall qui est mais très rapide par itération? $V$ $E$ $2V \gt E$ $O(V^3)$

Et si le graphique était pondéré?

algorithms graphs shortest-path

— Jakob Weisblat
source

32

Puisqu'il s'agit d'un graphique non pondéré, vous pouvez exécuter une recherche en largeur (BFS) à partir de chaque sommet $v$ du graphique. Chaque série de BFS vous donne les distances (et chemins) les plus courtes entre le sommet de départ et tous les autres sommets. La complexité temporelle pour un BFS est $O(V + E) = O(V)$ puisque $E = O(V)$ dans votre graphique clairsemé. L'exécuter $V$ fois vous donne une complexité temporelle $O(V^2)$ .

Pour un graphe orienté pondéré, l' algorithme de Johnson tel que suggéré par Yuval est le plus rapide pour les graphes clairsemés. Il faut $O(V^2\log V + VE)$ qui dans votre cas se révèle être $O(V^2\log V)$ . Pour un graphique non orienté pondéré, vous pouvez soit exécuter l'algorithme de Dijkstrade chaque nœud, ou remplacez chaque bord non dirigé par deux bords dirigés opposés et exécutez l'algorithme de Johnson. Les deux donneront les mêmes temps aysmptotiques que l'algorithme de Johnson ci-dessus pour votre cas clairsemé. Notez également que l'approche BFS que je mentionne ci-dessus fonctionne à la fois pour les graphiques dirigés et non dirigés.

— Paresh
source

7

Il y a l'algorithme de Johnson , dont le temps d'exécution est . $O(V^2\log V + VE)$

— Yuval Filmus
source

7

Vous pouvez essayer de créer une version de Floyd-Warshall plus rapide sur des matrices clairsemées.

Rappelons d'abord ce que fait cet algorithme:

Soit une matrice de distances. Au début de l'algorithme est le poids du bord . Si cette arête n'existe pas alors . $M$ $M_{i,j}$ $i \rightarrow j$ $M_{i,j}=\infty$

L'algorithme a étapes. À l'étape de l'algorithme, pour chaque paire de nœuds nous définissons $V$ $k$ $i,j$

M_{i, j} \leftarrow min {M_{i, j}, M_{i, k} + M_{k, j}} .

$M_{i,j} \leftarrow \min\{M_{i,j}, M_{i,k}+M_{k,j}\}.$

$M_{i,k}=\infty$ $M_{k,j}=\infty$ $deg_{in}(k) \cdot deg_{out}(k)$ $deg_{in}(k)$ $deg_{out}(k)$ $k$ $M$

$k$

$E=O(V)$ $k=0$ $O(1)$ $M$ $O(V)$ $k=|V|$ $O(V^2)$ $O(V^3)$

— Amit Moscovich
source