Fechamento transitivo on-line melhor que O (N ^ 2) por adição de borda

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 .

O (n) tempo por adição de aresta:

• GF Italiano (1986): Eficiência amortizada de uma estrutura de dados de recuperação de caminhos , Theoretical Computer Science 48, 273–281.

• JA La Poutré e J. van Leeuwen (1988): Manutenção de fechamentos transitivos e reduções transitivas de gráficos , Proc. GT 1987 .