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

文章基本信息

  • 标题:On Weak-Space Complexity over Complex Numbers
  • 本地全文:下载
  • 作者:Pushkar Joglekar ; Raghavendra Rao B V ; Sidhartha Sivakumar
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2017
  • 卷号:2017
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    Defining a feasible notion of space over the Blum-Shub-Smale (BSS) model of algebraic computation is a long standing open problem. In an attempt to define a right notion of space complexity for the BSS model, Naurois [CiE, 2007] introduced the notion of weak-space. We investigate the weak-space bounded computations and their plausible relationship with the classical space bounded computations. For weak-space bounded, division-free computations over BSS machines over complex numbers with equality tests, we show the following: 1) The Boolean part of the weak log-space class is contained in deterministic log-space, i.e., B P ( LOGSPAC E W ) DLOG 2) There is a set L N C 1 C that cannot be decided by any deterministic BSS machine whose weak-space is bounded above by a polynomial in the input length, i.e., N C 1 C PSPAC E w

    The second result above resolves the first part of Conjecture~1 stated in~\cite{Nau07} over complex numbers and exhibits a limitation of weak-space. The proof is based on the structural properties of the semi-algebraic sets contained in \PSw and the result that any polynomial divisible by a degree- (1) elementary symmetric polynomial cannot be sparse. The lower bound on the sparsity is proved via an argument involving Newton polytopes of polynomials and bounds on number of vertices of these polytopes, which might be of an independent interest.

  • 关键词:Algebraic complexity classes ; BSS model
国家哲学社会科学文献中心版权所有