A Downward Translation in the Polynomial Hierarchy

  • Authors:

  • Edith Hemaspaandra;Lane A. Hemaspaandra;Harald Hempel

  • Affiliations:

  • -;-;-

  • Venue:
  • A Downward Translation in the Polynomial Hierarchy
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

Downward collapse (a.k.a. upward separation) refers to cases where the equality of two larger classes implies the equality of two smaller classes. We provide an unqualified downward collapse result completely within the polynomial hierarchy. In particular, we prove that, for k