Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Incremental Topological Ordering and Strong Component Maintenance   We present an on-line algorithm for maintaining a topological order of a
directed acyclic graph as arcs are added, and detecting a cycle when one is
created. Our algorithm takes O(m^{1/2}) amortized time per arc, where m is the
total number of arcs. For sparse graphs, this bound improves the best previous
bound by a logarithmic factor and is tight to within a constant factor for a
natural class of algorithms that includes all the existing ones. Our main
insight is that the bidirectional search method of previous algorithms does not
require an ordered search, but can be more general. This allows us to avoid the
use of heaps (priority queues) entirely. Instead, the deterministic version of
our algorithm uses (approximate) median-finding. The randomized version of our
algorithm avoids this complication, making it very simple. We extend our
topological ordering algorithm to give the first detailed algorithm for
maintaining the strong components of a directed graph, and a topological order
of these components, as arcs are added. This extension also has an amortized
time bound of O(m^{1/2}) per arc.

19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
32
The categories of this paper are: atom-ph