Sto cercando una struttura dati che memorizzerà qualsiasi DAG, ma può efficientemente (cioè, in modo sub-lineare nel numero di fronti/vertici) rilevare se l'aggiunta di un bordo creerebbe un ciclo (e quindi impedirà di rompere il invariante aciclico). Qualcuno sa di una cosa del genere?Esiste una struttura dati per i DAG che supporta modifiche efficienti?
Grazie!
Questo documento, [Algoritmi più veloci per topologico incrementale Ordinamento] (http://www.cs.princeton.edu/~sssix/papers/dto-conf.pdf), rivendica un ** ammortizzato ** O (m^1/2) per aggiunta di arco. Non sono sicuro se sia abbastanza buono, o se è possibile un limite nel caso peggiore. Non ho letto oltre l'introduzione. – Crosbie