Algorithmus von Warshall

Algorithmus:
Der Algorithmus von Warshall berechnet die Transitive Hülle mit Dynamischer Programmierung. Seine Struktur entspricht dem Algorithmus von Floyd, jedoch wird er auf ungewichtete Graphen angewandt und es wird an Stelle des kürzesten Weges lediglich die Erreichbarkeit festgehalten.

Pseudocode:
for $k$ = 1 to $n$
for $i$ = 1 to $n$
for $j$ = 1 to $n$
$c[i][j] = c[i][j]\> \Vert\> (c[i][k]\> \&\&\> c[k][j] )$