Je recherche un algorithme en ligne pour maintenir la fermeture transitive d'un graphe acyclique dirigé avec une complexité temporelle inférieure à O (N ^ 2) par addition de bord. Mon algorithme actuel est comme ceci:
For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { v }.
Pour les bords O (N ^ 2), cela se traduit par une complexité temporelle totale de O (N ^ 4) bien pire que, par exemple, Floyd-Warshall .