The complexity of unions of disjoint sets

  • Authors:
  • Christian Glaßer;Alan L. Selman;Stephen Travers;Klaus W. Wagner

  • Affiliations:
  • Julius-Maximilians-Universität Würzburg, Institut für Informatik, Am Hubland, Würzburg, Germany;University at Buffalo, USA;Julius-Maximilians-Universität Würzburg, Institut für Informatik, Am Hubland, Würzburg, Germany;Julius-Maximilians-Universität Würzburg, Institut für Informatik, Am Hubland, Würzburg, Germany

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper is motivated by the open question whether the union of two disjoint NP-complete sets always is NP-complete. We discover that such unions retain much of the complexity of their single components. More precisely, they are complete with respect to more general reducibilities. Moreover, we approach the main question in a more general way: We analyze the scope of the complexity of unions of m-equivalent disjoint sets. Under the hypothesis that NEcoNE, we construct degrees in NP where our main question has a positive answer, i.e., these degrees are closed under unions of disjoint sets.