Graph decomposition is NPC - a complete proof of Holyer's conjecture

  • Authors:
  • Dorit Dor;Michael Tarsi

  • Affiliations:
  • Computer Science Dept., Tel Aviv University, Tel Aviv 69978, Israel;Computer Science Dept., Tel Aviv University, Tel Aviv 69978, Israel

  • Venue:
  • STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
  • Year:
  • 1992

Quantified Score

Hi-index 0.01

Visualization

Abstract

An H-decomposition of a graph G = (V,E) is a partition of E into subgraphs isomorphic to H. Given a fixed graph H, the H-decomposition problem is to determine whether an input graph G admits an H-decomposition.I. Holyer (1980) conjectured that H-decomposition is Np-complete whenever H is connected and has at least 3 edges. Some partial results have been obtained during the last decade. A complete proof for Holyer's conjecture is the content of this paper.