给定的论文标题翻译成中文是：权力的有限能力：多项式恒等性测试和永久的四层下界
摘要：关于稀疏多项式和算术电路的多项式身份测试和算术电路下界是代数复杂性理论中的两个核心问题。有趣的是，这些问题实际上是相关的。本文的一位作者最近提出了一个“真实{ au}-猜想”，这是受到这种联系的启发。真实{ au}-猜想认为，稀疏单变量多项式乘积求和的实根数目应该是多项式有界的。它意味着计算永久多项式的算术电路的大小有超多项式下界。本文中，我们证明了真实{ au}-猜想对于一类有限的稀疏多项式乘积求和成立。这个结果推导出了对于一类有限的4层电路的下界：我们证明这类电路的多项式大小不能计算永久多项式，并且我们还给出了相同类别电路的确定性多项式身份测试算法。
作者：Bruno Grenet, Pascal Koiran, Natacha Portier, Yann Strozecki
论文ID：1107.1434
分类：Computational Complexity
分类简称：cs.CC
提交时间：2012-02-17