电路下界、辅助函数和远程点问题
摘要:用帮助多项式增强的代数分支程序(ABPs)和用帮助函数增强的常深度布尔电路的能力的问题。我们将在这两个模型中证明显式下界的问题与Remote Point问题相关联(由Alon,Panigrahy和Yekhanin在RANDOM'09中引入)。更具体地说,证明带有帮助多项式的ABPs的下界与秩度量下的Remote Point问题相关,而对于带有帮助函数的常深度电路,则与汉明度量下的Remote Point问题相关。对于具有一些度限制的带有帮助多项式的代数分支程序,我们证明了显式多项式的指数级大小下界。
作者:Vikraman Arvind, Srikanth Srinivasan
论文ID:0911.4337
分类:Computational Complexity
分类简称:cs.CC
提交时间:2009-11-24