Skip to main content
SpringerLink
Log in

The Chain Method to Separate Counting Classes

  • Published:
Theory of Computing Systems Aims and scope Submit manuscript

Abstract

We introduce a new method to separate counting classes of a special type by oracles. Among the classes, for which this method is applicable, are NP, coNP, US (also called 1-NP), ⊕ P, all other MOD-classes, PP, and C = P, classes of Boolean Hierarchies over the named classes, classes of finite acceptance type, and many more. As an important special case, we completely characterize all relativizable inclusions between classes NP(k) from the Boolean Hierarchy over NP and other classes defined by what we call bounded counting.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Theoretische Informatik, Universität Würzburg, Am Exerzierplatz 3, D-97072 Würzburg, Germany, Germany

    K. Cronauer, H. Vollmer & K. W. Wagner

  2. Abteilung Theoretische Informatik, Universität Stuttgart, Breitwiesenstrasse 20—22, D-70565 Stuttgart, Germany, Germany

    U. Hertrampf

Authors
  1. K. Cronauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. U. Hertrampf
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. H. Vollmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. K. W. Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Received January 1996, and in final form November 1996.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cronauer, K., Hertrampf, U., Vollmer, H. et al. The Chain Method to Separate Counting Classes. Theory Comput. Systems 31, 93–108 (1998). https://doi.org/10.1007/s002240000080

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s002240000080

Search

Navigation