Tranzitív lezárt és Warshall algoritmus
Tranzitív lezárt Egy G=(V,E) gráf tranzitív lezárása G'(V',E') gráf, ahol V'=V és (u,v)∈E'⇔ ∃u ->v út a gráfban.
Warshall algoritmus Célja: Egy véges, súlyozatlan, irányított vagy irányítatlan gráf tranzitív lezártjának meghatározása. Az algoritmus alapja a Floyd algoritmus lesz, ám logikai műveletekkel értelmezve. A kiindulási mátrixot (W) töltsük fel a köv. szerint: A ciklusban végzett művelet pedig legyen a következő:
Példa 1 2 1 2 3 4 5 3 4 5
Példa 1 2 1 2 3 4 5 3 4 5
Példa 1 2 1 2 3 4 5 3 4 5
Példa 1 2 1 2 3 4 5 3 4 5
Példa 1 2 1 2 3 4 5 3 4 5