273 research outputs found
Necessary conditions for tractability of valued CSPs
The connection between constraint languages and clone theory has been a
fruitful line of research on the complexity of constraint satisfaction
problems. In a recent result, Cohen et al. [SICOMP'13] have characterised a
Galois connection between valued constraint languages and so-called weighted
clones. In this paper, we study the structure of weighted clones. We extend the
results of Creed and Zivny from [CP'11/SICOMP'13] on types of weightings
necessarily contained in every nontrivial weighted clone. This result has
immediate computational complexity consequences as it provides necessary
conditions for tractability of weighted clones and thus valued constraint
languages. We demonstrate that some of the necessary conditions are also
sufficient for tractability, while others are provably not.Comment: To appear in SIAM Journal on Discrete Mathematics (SIDMA
Hybrid VCSPs with crisp and conservative valued templates
A constraint satisfaction problem (CSP) is a problem of computing a
homomorphism between two relational
structures. Analyzing its complexity has been a very fruitful research
direction, especially for fixed template CSPs, denoted , in
which the right side structure is fixed and the left side
structure is unconstrained.
Recently, the hybrid setting, written ,
where both sides are restricted simultaneously, attracted some attention. It
assumes that is taken from a class of relational structures
that additionally is closed under inverse homomorphisms. The last
property allows to exploit algebraic tools that have been developed for fixed
template CSPs. The key concept that connects hybrid CSPs with fixed-template
CSPs is the so called "lifted language". Namely, this is a constraint language
that can be constructed from an input . The
tractability of that language for any input is a
necessary condition for the tractability of the hybrid problem.
In the first part we investigate templates for which the
latter condition is not only necessary, but also is sufficient. We call such
templates widely tractable. For this purpose, we construct from
a new finite relational structure and define
as a class of structures homomorphic to . We
prove that wide tractability is equivalent to the tractability of
. Our proof is based on the key observation
that is homomorphic to if and only if the core of
is preserved by a Siggers polymorphism. Analogous
result is shown for valued conservative CSPs.Comment: 21 pages. arXiv admin note: text overlap with arXiv:1504.0706
Hybrid tractability of soft constraint problems
The constraint satisfaction problem (CSP) is a central generic problem in
computer science and artificial intelligence: it provides a common framework
for many theoretical problems as well as for many real-life applications. Soft
constraint problems are a generalisation of the CSP which allow the user to
model optimisation problems. Considerable effort has been made in identifying
properties which ensure tractability in such problems. In this work, we
initiate the study of hybrid tractability of soft constraint problems; that is,
properties which guarantee tractability of the given soft constraint problem,
but which do not depend only on the underlying structure of the instance (such
as being tree-structured) or only on the types of soft constraints in the
instance (such as submodularity). We present several novel hybrid classes of
soft constraint problems, which include a machine scheduling problem,
constraint problems of arbitrary arities with no overlapping nogoods, and the
SoftAllDiff constraint with arbitrary unary soft constraints. An important tool
in our investigation will be the notion of forbidden substructures.Comment: A full version of a CP'10 paper, 26 page
The power of Sherali-Adams relaxations for general-valued CSPs
We give a precise algebraic characterisation of the power of Sherali-Adams
relaxations for solvability of valued constraint satisfaction problems to
optimality. The condition is that of bounded width which has already been shown
to capture the power of local consistency methods for decision CSPs and the
power of semidefinite programming for robust approximation of CSPs.
Our characterisation has several algorithmic and complexity consequences. On
the algorithmic side, we show that several novel and many known valued
constraint languages are tractable via the third level of the Sherali-Adams
relaxation. For the known languages, this is a significantly simpler algorithm
than the previously obtained ones. On the complexity side, we obtain a
dichotomy theorem for valued constraint languages that can express an injective
unary function. This implies a simple proof of the dichotomy theorem for
conservative valued constraint languages established by Kolmogorov and Zivny
[JACM'13], and also a dichotomy theorem for the exact solvability of
Minimum-Solution problems. These are generalisations of Minimum-Ones problems
to arbitrary finite domains. Our result improves on several previous
classifications by Khanna et al. [SICOMP'00], Jonsson et al. [SICOMP'08], and
Uppman [ICALP'13].Comment: Full version of an ICALP'15 paper (arXiv:1502.05301
A Galois Connection for Weighted (Relational) Clones of Infinite Size
A Galois connection between clones and relational clones on a fixed finite
domain is one of the cornerstones of the so-called algebraic approach to the
computational complexity of non-uniform Constraint Satisfaction Problems
(CSPs). Cohen et al. established a Galois connection between finitely-generated
weighted clones and finitely-generated weighted relational clones [SICOMP'13],
and asked whether this connection holds in general. We answer this question in
the affirmative for weighted (relational) clones with real weights and show
that the complexity of the corresponding valued CSPs is preserved
The complexity of finite-valued CSPs
We study the computational complexity of exact minimisation of
rational-valued discrete functions. Let be a set of rational-valued
functions on a fixed finite domain; such a set is called a finite-valued
constraint language. The valued constraint satisfaction problem,
, is the problem of minimising a function given as
a sum of functions from . We establish a dichotomy theorem with respect
to exact solvability for all finite-valued constraint languages defined on
domains of arbitrary finite size.
We show that every constraint language either admits a binary
symmetric fractional polymorphism in which case the basic linear programming
relaxation solves any instance of exactly, or
satisfies a simple hardness condition that allows for a
polynomial-time reduction from Max-Cut to
The complexity of Boolean surjective general-valued CSPs
Valued constraint satisfaction problems (VCSPs) are discrete optimisation
problems with a -valued objective function given as
a sum of fixed-arity functions. In Boolean surjective VCSPs, variables take on
labels from and an optimal assignment is required to use both
labels from . Examples include the classical global Min-Cut problem in
graphs and the Minimum Distance problem studied in coding theory.
We establish a dichotomy theorem and thus give a complete complexity
classification of Boolean surjective VCSPs with respect to exact solvability.
Our work generalises the dichotomy for -valued constraint
languages (corresponding to surjective decision CSPs) obtained by Creignou and
H\'ebrard. For the maximisation problem of -valued
surjective VCSPs, we also establish a dichotomy theorem with respect to
approximability.
Unlike in the case of Boolean surjective (decision) CSPs, there appears a
novel tractable class of languages that is trivial in the non-surjective
setting. This newly discovered tractable class has an interesting mathematical
structure related to downsets and upsets. Our main contribution is identifying
this class and proving that it lies on the borderline of tractability. A
crucial part of our proof is a polynomial-time algorithm for enumerating all
near-optimal solutions to a generalised Min-Cut problem, which might be of
independent interest.Comment: v5: small corrections and improved presentatio
The complexity of conservative finite-valued CSPs
We study the complexity of valued constraint satisfaction problems (VCSP). A
problem from VCSP is characterised by a \emph{constraint language}, a fixed set
of cost functions over a finite domain. An instance of the problem is specified
by a sum of cost functions from the language and the goal is to minimise the
sum. We consider the case of so-called \emph{conservative} languages; that is,
languages containing all unary cost functions, thus allowing arbitrary
restrictions on the domains of the variables. This problem has been studied by
Bulatov [LICS'03] for -valued languages (i.e. CSP), by
Cohen~\etal\ (AIJ'06) for Boolean domains, by Deineko et al. (JACM'08) for
-valued cost functions (i.e. Max-CSP), and by Takhanov (STACS'10) for
-valued languages containing all finite-valued unary cost
functions (i.e. Min-Cost-Hom).
We give an elementary proof of a complete complexity classification of
conservative finite-valued languages: we show that every conservative
finite-valued language is either tractable or NP-hard. This is the \emph{first}
dichotomy result for finite-valued VCSPs over non-Boolean domains.Comment: 15 page
The power of linear programming for general-valued CSPs
Let , called the domain, be a fixed finite set and let , called
the valued constraint language, be a fixed set of functions of the form
, where different functions might have
different arity . We study the valued constraint satisfaction problem
parametrised by , denoted by VCSP. These are minimisation
problems given by variables and the objective function given by a sum of
functions from , each depending on a subset of the variables.
Finite-valued constraint languages contain functions that take on only rational
values and not infinite values.
Our main result is a precise algebraic characterisation of valued constraint
languages whose instances can be solved exactly by the basic linear programming
relaxation (BLP). For a valued constraint language , BLP is a decision
procedure for if and only if admits a symmetric fractional
polymorphism of every arity. For a finite-valued constraint language ,
BLP is a decision procedure if and only if admits a symmetric
fractional polymorphism of some arity, or equivalently, if admits a
symmetric fractional polymorphism of arity 2.
Using these results, we obtain tractability of several novel classes of
problems, including problems over valued constraint languages that are: (1)
submodular on arbitrary lattices; (2) -submodular on arbitrary finite
domains; (3) weakly (and hence strongly) tree-submodular on arbitrary trees.Comment: A full version of a FOCS'12 paper by the last two authors
(arXiv:1204.1079) and an ICALP'13 paper by the first author (arXiv:1207.7213)
to appear in SIAM Journal on Computing (SICOMP
- …