Constraint Solving via Fractional Edge Covers

Abstract

Many important combinatorial problems can be modelled as constraint satisfaction problems, hence identifying polynomial-time solvable classes of constraint satisfaction problems received a lot of attention. In this paper, we are interested in structural properties that can make the problem tractable. So far, the largest structural class that is known to be polynomial-time solvable is the class of bounded hypertree width instances introduced by Gottlob et al. [20]. Here we identify a new class of polynomial-time solvable instances: those having bounded fractional edge cover number.Combining hypertree width and fractional edge cover number, we then introduce the notion of fractional hypertree width. We prove that constraint satisfaction problems with bounded fractional hypertree width can be solved in polynomial time (provided that a the tree decomposition is given in the input). We also prove that certain parameterized constraint satisfaction, homomorphism, and embedding problems are fixed-parameter tractable on instances having bounded fractional hypertree width.

DOI: 10.1145/2636918

Extracted Key Phrases

01020'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

160 Citations

Semantic Scholar estimates that this publication has 160 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Grohe2006ConstraintSV, title={Constraint Solving via Fractional Edge Covers}, author={Martin Grohe and D{\'a}niel Marx}, journal={ACM Trans. Algorithms}, year={2006}, volume={11}, pages={4:1-4:20} }