Estou procurando um algoritmo on-line para manter o fechamento transitivo de um gráfico acíclico direcionado com uma complexidade de tempo menor que O (N ^ 2) por adição de aresta. Meu algoritmo atual é assim:
For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { v }.
Para arestas O (N ^ 2), isso traduz em uma complexidade total de tempo de O (N ^ 4) muito pior do que, por exemplo, Floyd-Warshall .