The Serial Transitive Closure Problem for Trees

The serial transitive closure problem is the problem of, given a directed graph $G$ and a list of edges, called closure edges, which are in the transitive closure of the graph, to generate all the closure edges from edges in $G$. A nearly linear upper bound is given on the number of steps in optimal solutions to the serial transitive closure problem for the case of graphs which are trees. "Nearly linear" means $O(n\cdot \alpha(n))$ where $\alpha$ is the inverse Ackermann function. This upper bound is optimal to within a constant factor.

[1]  Bernard Chazelle Computing on a Free Tree via Complexity-Preserving Mappings , 1984, FOCS.

[2]  Robert E. Tarjan,et al.  A Class of Algorithms which Require Nonlinear Time to Maintain Disjoint Sets , 1979, J. Comput. Syst. Sci..

[3]  Richard P. Brent,et al.  The Parallel Evaluation of General Arithmetic Expressions , 1974, JACM.

[4]  Robert E. Tarjan,et al.  Efficiency of a Good But Not Linear Set Union Algorithm , 1972, JACM.

[5]  Avi Wigderson,et al.  Superconcentrators, generalizers and generalized connectors with limited depth , 1983, STOC.

[6]  Samuel R. Buss,et al.  On the deduction rule and the number of proof lines , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[7]  Richard J. Lipton,et al.  Lower Bounds for Constant Depth Circuits for Prefix Problems , 1983, ICALP.

[8]  Nicola Santoro,et al.  Trade-Offs in Non-Reversing Diameter , 1994, Nord. J. Comput..

[9]  Andrew Chi-Chih Yao,et al.  Space-time tradeoff for answering range queries (Extended Abstract) , 1982, STOC '82.

[10]  Elaine J. Weyuker,et al.  Computability, complexity, and languages , 1983 .

[11]  Samuel R. Buss,et al.  The deduction rule and linear and near-linear proof simulations , 1993, Journal of Symbolic Logic.

[12]  Richard J. Lipton,et al.  Unbounded fan-in circuits and associative functions , 1983, J. Comput. Syst. Sci..

[13]  Michael E. Saks,et al.  The cell probe complexity of dynamic data structures , 1989, STOC '89.

[14]  Han La Poutré Lower bounds for the union-find and the split-find problem on pointer machines , 1990, STOC '90.