首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Separating multilinear branching programs and formulas
  • 本地全文:下载
  • 作者:Zeev Dvir ; Guillaume Malod ; Sylvain Perifel
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2011
  • 卷号:2011
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be computationally equivalent to two basic tools in linear algebra: iterated matrix multiplication and the determinant. We compare the computational power of multilinear ABPs to that of multilinear arithmetic formulas, and prove a tight super-polynomial separation between the two models. Specifically, we describe an explicit n-variate polynomial F that is computed by a linear-size multilinear ABP but every multilinear formula computing F must be of size n(logn).

  • 关键词:algebraic complexity; branching programs; formulas
国家哲学社会科学文献中心版权所有