有向图可达性的单调电路深度上界改进
计算复杂性
2008-09-23 v1
摘要
我们证明，有向图可达性问题（传递闭包）可由扇入为 2 的单调布尔电路以深度 (1/2+o(1))(log n)^2 求解，其中 n 为节点数。这改进了先前已知的上界 (1+o(1))(log n)^2。该证明是非构造性的，但我们给出了上界 (7/8+o(1))(log n)^2 的构造性证明。
引用
@article{arxiv.0809.3614,
title = {Improved Monotone Circuit Depth Upper Bound for Directed Graph Reachability},
author = {Sergey Volkov},
journal= {arXiv preprint arXiv:0809.3614},
year = {2008}
}
备注
preprint