改进的有向图可达性问题中单调电路深度的上界
摘要：证明了有向图可达性问题（传递闭包）可以通过具有深度(1/2+o(1))(log n)^2的2个布尔电路解决，其中n是节点的数量。这一结果改进了先前已知的上界(1+o(1))(log n)^2。证明是非构造性的，但我们给出了上界(7/8+o(1))(log n)^2的构造性证明。
作者：Sergey Volkov
论文ID：0809.3614
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-09-23