Computing hypergraph width measures exactly

  • Authors:
  • Lukas Moll;Siamak Tazari;Marc Thurley

  • Affiliations:
  • Humboldt Universität zu Berlin, Berlin, Germany;Massachusetts Institute of Technology, Cambridge, MA, United States;Centre de Recerca Matemítica, Bellaterra, Spain

  • Venue:
  • Information Processing Letters
  • Year:
  • 2012

Quantified Score

Hi-index 0.89

Visualization

Abstract

Hypergraph width measures are important in studying the complexity of constraint satisfaction problems (CSPs). We present a general exact exponential algorithm for a large variety of these measures. As a consequence, we obtain algorithms which, for a hypergraph H on n vertices and m hyperedges, compute its generalized hypertree-width in time O^@?(2^n) and its fractional hypertree-width in time O(1.734601^n@?m).