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

文章基本信息

  • 标题:On provably disjoint NP-pairs
  • 本地全文:下载
  • 作者:Alexander Razborov
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:1994
  • 卷号:1994
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    In this paper we study the pairs (UV) of disjoint NP-setsrepresentable in a theory T of Bounded Arithmetic in the sense thatT proves UV=. For a large variety of theories Twe exhibit a natural disjoint NP-pair which is complete for theclass of disjoint NP-pairs representable in T. This allows us toclarify the approach to showing independence of central open questions inBoolean complexity from theories of Bounded Arithmetic initiatedin \cite{ind}. Namely, in order to prove the independence resultfrom a theory T, it is sufficient to separate the correspondingcomplete NP-pair by a (quasi)poly-time computable set. We remarkthat such a separation is obvious for the theory \scrS(S2)+\scrSb2−PIND considered in \cite{ind}, and this gives analternative proof of the main result from that paper.

国家哲学社会科学文献中心版权所有