Improved Monotone Circuit Depth Upper Bound for Directed Graph Reachability
Abstract
We prove that the directed graph reachability problem (transitive closure) can be solved by monotone fan-in 2 boolean circuits of depth (1/2+o(1))(log n)^2, where n is the number of nodes. This improves the previous known upper bound (1+o(1))(log n)^2. The proof is non-constructive, but we give a constructive proof of the upper bound (7/8+o(1))(log n)^2.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2008
- DOI:
- 10.48550/arXiv.0809.3614
- arXiv:
- arXiv:0809.3614
- Bibcode:
- 2008arXiv0809.3614V
- Keywords:
-
- Computer Science - Computational Complexity
- E-Print:
- preprint