算术电路与多项式的Hadamard积
摘要：Hadamard乘积多变量多项式的算术电路和分支程序复杂性研究及多项式恒等测试的应用和联系的定义。我们的主要结果如下。 1.我们证明了有理数上代数分支程序的非交换多项式恒等测试是logspace计数类$ceql$的完备问题，而在特征为$p$的域上，此问题是$ModpL/Poly$的问题。 2.我们证明了用两个单调多线性多项式的Hadamard乘积表达Raz-Yehudayoff多项式的指数下界。相比之下，Permanent可以用两个二次大小的单调多线性公式的Hadamard乘积表达。
作者：V. Arvind, Pushkar S. Joglekar, Srikanth Srinivasan
论文ID：0907.4006
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-07-24