Перехідне перемикання в Інтернеті краще, ніж O (N ^ 2) на додавання кромки

Я шукаю онлайн-алгоритм для підтримки перехідного закриття спрямованого ациклічного графіка зі складністю в часі менше О (N ^ 2) на додавання ребер. Мій поточний алгоритм такий:

For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { v }.

Для O (N ^ 2) ребер це переводиться на загальну часову складність O (N ^ 4), що значно гірше, ніж, наприклад, Флойд-Варшалл .

O (n) час на додавання кромки:

• GF Italiano (1986): Амортизована ефективність структури даних щодо пошуку шляхів , Теоретичні інформатики 48, 273–281.

• JA La Poutré та J. van Leeuwen (1988): Обслуговування перехідних замикань та транзитивних скорочень графіків , Зб. РГ 1987 .