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

文章基本信息

  • 标题:The Minimum Oracle Circuit Size Problem
  • 本地全文:下载
  • 作者:Eric Allender ; Dhiraj Holden ; Valentine Kabanets
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2014
  • 卷号:2014
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    We consider variants of the Minimum Circuit Size Problem MCSP, where the goal is to minimize the size of oracle circuits computing a given function. When the oracle is QBF, the resulting problem MCSP QB F is known to be complete for PSPACE under ZPP reductions. We show that it is not complete under logspace reductions, and indeed it is not even hard for TC 0 under uniform AC 0 reductions. We obtain a variety of consequences that follow if oracle versions of MCSP are hard for various complexity classes under different types of reductions. We also prove analogous results for the problem of determining the resource-bounded Kolmogorov complexity of strings, for certain types of Kolmogorov complexity measures.

  • 关键词:Kolmogorov complexity ; Minimum Circuit Size Problem ; NP-Intermediate Sets ; PSPACE
国家哲学社会科学文献中心版权所有