首页    期刊浏览 2024年12月01日 星期日
登录注册

文章基本信息

  • 标题:Complements of Multivalued Functions
  • 本地全文:下载
  • 作者:Stephen Fenner ; Frederic Green ; Steven Homer
  • 期刊名称:Chicago Journal of Theoretical Computer Science
  • 印刷版ISSN:1073-0486
  • 出版年度:1999
  • 卷号:1999
  • 出版社:MIT Press ; University of Chicago, Department of Computer Science
  • 摘要:

    We study the class coNPMV of complements of NPMV functions. Though defined symmetrically to NPMV, this class exhibits very different properties. We clarify the complexity of coNPMV by showing that it is essentially the same as that of NPMV^NP. Complete functions for coNPMV are exhibited and central complexity-theoretic properties of this class are studied. We show that computing maximum satisfying assignments can be done in coNPMV, which leads us to a comparison of NPMV and coNPMV with Krentel's classes MaxP and MinP. The difference hierarchy for NPMV is related to the query hierarchy for coNPMV. Finally, we examine a functional analogue of Chang and Kadin's relationship between a collapse of the Boolean hierarchy over NP and a collapse of the polynomial-time hierarchy.

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