首页    期刊浏览 2024年07月09日 星期二
登录注册

文章基本信息

  • 标题:Towards an algebraic natural proofs barrier via polynomial identity testing
  • 本地全文:下载
  • 作者:Joshua Grochow ; Mrinal Kumar ; Michael Saks
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2017
  • 卷号:2017
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    We observe that a certain kind of algebraic proof - which covers essentially all known algebraic circuit lower bounds to date - cannot be used to prove lower bounds against VP if and only if what we call succinct hitting sets exist for VP. This is analogous to the Razborov-Rudich natural proofs barrier in Boolean circuit complexity, in that we rule out a large class of lower bound techniques under a derandomization assumption. We also discuss connections between this algebraic natural proofs barrier, geometric complexity theory, and (algebraic) proof complexity.

  • 关键词:algebraic circuit complexity ; Algebraic circuits ; Algebraic Proof Complexity ; barriers ; geometric complexity theory ; lower bounds ; natural proofs ; polynomial identity testing ; succinct hitting sets
国家哲学社会科学文献中心版权所有