scc transitive closure decremental graph strongly connected components algorithm deterministic
Ver más