SIAM Journal on Computing · 1982 · 611 citations · 7 references
ComputingComputer ScienceMathematicsAlgorithmsParallel AlgorithmsParallel ComputingDirected Acyclic GraphsGraph AlgorithmsGraph TheoryParallel Graph AlgorithmsTransitive ClosureTransitive Reduction
We present a linear-time algorithm to recognize the class of vertex series-parallel (VSP) digraphs. Our method is based on the relationship between VSP digraphs and the class of edge series-parallel multidigraphs. As a byproduct of our analysis, we obtain efficient methods to compute the transitive closure and transitive reduction of VSP digraphs, and to test isomorphism of minimal VSP digraphs.
7
The Transitive Reduction of a Directed Graph
Alfred V. Aho, M. R. Garey, Jeffrey D. Ullman · SIAM Journal on Computing · 1972 · 723 citations
Tree-Manipulating Systems and Church-Rosser Theorems
Barry K. Rosen · Journal of the ACM · 1973 · 352 citations · Full text