Sto cercando un algoritmo online per mantenere la chiusura transitiva di un grafico aciclico diretto con una complessità temporale inferiore a O (N ^ 2) per aggiunta di bordi. Il mio attuale algoritmo è così:
For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { v }.
Per i bordi O (N ^ 2) ciò si traduce in una complessità temporale totale di O (N ^ 4) che è molto peggio di, per esempio, Floyd-Warshall .