61 research outputs found
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions
Several variants of the Constraint Satisfaction Problem have been proposed
and investigated in the literature for modelling those scenarios where
solutions are associated with some given costs. Within these frameworks
computing an optimal solution is an NP-hard problem in general; yet, when
restricted over classes of instances whose constraint interactions can be
modelled via (nearly-)acyclic graphs, this problem is known to be solvable in
polynomial time. In this paper, larger classes of tractable instances are
singled out, by discussing solution approaches based on exploiting hypergraph
acyclicity and, more generally, structural decomposition methods, such as
(hyper)tree decompositions
Tree Projections and Structural Decomposition Methods: Minimality and Game-Theoretic Characterization
Tree projections provide a mathematical framework that encompasses all the
various (purely) structural decomposition methods that have been proposed in
the literature to single out classes of nearly-acyclic (hyper)graphs, such as
the tree decomposition method, which is the most powerful decomposition method
on graphs, and the (generalized) hypertree decomposition method, which is its
natural counterpart on arbitrary hypergraphs. The paper analyzes this
framework, by focusing in particular on "minimal" tree projections, that is, on
tree projections without useless redundancies. First, it is shown that minimal
tree projections enjoy a number of properties that are usually required for
normal form decompositions in various structural decomposition methods. In
particular, they enjoy the same kind of connection properties as (minimal) tree
decompositions of graphs, with the result being tight in the light of the
negative answer that is provided to the open question about whether they enjoy
a slightly stronger notion of connection property, defined to speed-up the
computation of hypertree decompositions. Second, it is shown that tree
projections admit a natural game-theoretic characterization in terms of the
Captain and Robber game. In this game, as for the Robber and Cops game
characterizing tree decompositions, the existence of winning strategies implies
the existence of monotone ones. As a special case, the Captain and Robber game
can be used to characterize the generalized hypertree decomposition method,
where such a game-theoretic characterization was missing and asked for. Besides
their theoretical interest, these results have immediate algorithmic
applications both for the general setting and for structural decomposition
methods that can be recast in terms of tree projections
Beyond Hypertree Width: Decomposition Methods Without Decompositions
The general intractability of the constraint satisfaction problem has
motivated the study of restrictions on this problem that permit polynomial-time
solvability. One major line of work has focused on structural restrictions,
which arise from restricting the interaction among constraint scopes. In this
paper, we engage in a mathematical investigation of generalized hypertree
width, a structural measure that has up to recently eluded study. We obtain a
number of computational results, including a simple proof of the tractability
of CSP instances having bounded generalized hypertree width
Structural Decompositions for Problems with Global Constraints
A wide range of problems can be modelled as constraint satisfaction problems
(CSPs), that is, a set of constraints that must be satisfied simultaneously.
Constraints can either be represented extensionally, by explicitly listing
allowed combinations of values, or implicitly, by special-purpose algorithms
provided by a solver.
Such implicitly represented constraints, known as global constraints, are
widely used; indeed, they are one of the key reasons for the success of
constraint programming in solving real-world problems. In recent years, a
variety of restrictions on the structure of CSP instances have been shown to
yield tractable classes of CSPs. However, most such restrictions fail to
guarantee tractability for CSPs with global constraints. We therefore study the
applicability of structural restrictions to instances with such constraints.
We show that when the number of solutions to a CSP instance is bounded in key
parts of the problem, structural restrictions can be used to derive new
tractable classes. Furthermore, we show that this result extends to
combinations of instances drawn from known tractable classes, as well as to CSP
instances where constraints assign costs to satisfying assignments.Comment: The final publication is available at Springer via
http://dx.doi.org/10.1007/s10601-015-9181-
Approximating Acyclicity Parameters of Sparse Hypergraphs
The notions of hypertree width and generalized hypertree width were introduced by Gottlob, Leone, and Scarcello (PODS'99, PODS'01) in order to extend the concept of hypergraph acyclicity. These notions were further generalized by Grohe and Marx in SODA'06, who introduced the fractional hypertree width of a hypergraph. All these width parameters on hypergraphs are useful for extending tractability of many problems in database theory and artificial intelligence. Computing each of these width parameters is known to be an NP-hard problem. Moreover, the (generalized) hypertree width of an n-vertex hypergraph cannot be approximated within a logarithmic factor unless P=NP. In this paper, we study the approximability of (generalized, fractional) hyper treewidth of sparse hypergraphs where the criterion of sparsity reflects the sparsity of their incidence graphs. Our first step is to prove that the (generalized, fractional) hypertree width of a hypergraph is constant-factor sandwiched by the treewidth of its incidence graph, when the incidence graph belongs to some apex-minor-free graph class (the family of apex-minor-free graph classes includes planar graphs and graphs of bounded genus). This determines the combinatorial borderline above which the notion of (generalized, fractional) hypertree width becomes essentially more general than treewidth, justifying that way its functionality as a hypergraph acyclicity measure. While for more general sparse families of hypergraphs treewidth of incidence graphs and all hypertree width parameters may differ arbitrarily, there are sparse families where a constant factor approximation algorithm is possible. In particular, we give a constant factor approximation polynomial time algorithm for (generalized, fractional) hypertree width on hypergraphs whose incidence graphs belong to some H-minor-free graph class. This extends the results of Feige, Hajiaghayi, and Lee from STOC'05 on approximating treewidth of H-minor-free graphs.publishedVersio
Hypertree-depth and minors in hypergraphs
AbstractWe introduce two new notions for hypergraphs, hypertree-depth and minors in hypergraphs. We characterise hypergraphs of bounded hypertree-depth by the ultramonotone robber and marshals game, by vertex-hyperrankings and by centred hypercolourings.Furthermore, we show that minors in hypergraphs are ‘well-behaved’ with respect to hypertree-depth and other hypergraph invariants, such as generalised hypertree-depth and generalised hyperpath-width.We work in the framework of hypergraph pairs (G,H), consisting of a graph G and a hypergraph H that share the same vertex set. This general framework allows us to obtain hypergraph minors, graph minors and induced graph minors as special cases
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
Constraint satisfaction problems (CSPs) are an important formal framework for
the uniform treatment of various prominent AI tasks, e.g., coloring or
scheduling problems. Solving CSPs is, in general, known to be NP-complete and
fixed-parameter intractable when parameterized by their constraint scopes. We
give a characterization of those classes of CSPs for which the problem becomes
fixed-parameter tractable.
Our characterization significantly increases the utility of the CSP framework
by making it possible to decide the fixed-parameter tractability of problems
via their CSP formulations.
We further extend our characterization to the evaluation of unions of
conjunctive queries, a fundamental problem in databases. Furthermore, we
provide some new insight on the frontier of PTIME solvability of CSPs.
In particular, we observe that bounded fractional hypertree width is more
general than bounded hypertree width only for classes that exhibit a certain
type of exponential growth.
The presented work resolves a long-standing open problem and yields powerful
new tools for complexity research in AI and database theory.Comment: Full and extended version of the IJCAI2020 paper with the same titl
- …