13,869 research outputs found
Improved Parameterized Algorithms for Constraint Satisfaction
For many constraint satisfaction problems, the algorithm which chooses a
random assignment achieves the best possible approximation ratio. For instance,
a simple random assignment for {\sc Max-E3-Sat} allows 7/8-approximation and
for every \eps >0 there is no polynomial-time (7/8+\eps)-approximation
unless P=NP. Another example is the {\sc Permutation CSP} of bounded arity.
Given the expected fraction of the constraints satisfied by a random
assignment (i.e. permutation), there is no (\rho+\eps)-approximation
algorithm for every \eps >0, assuming the Unique Games Conjecture (UGC).
In this work, we consider the following parameterization of constraint
satisfaction problems. Given a set of constraints of constant arity, can we
satisfy at least constraint, where is the expected fraction
of constraints satisfied by a random assignment? {\sc Constraint Satisfaction
Problems above Average} have been posed in different forms in the literature
\cite{Niedermeier2006,MahajanRamanSikdar09}. We present a faster parameterized
algorithm for deciding whether equations can be simultaneously
satisfied over . As a consequence, we obtain -variable
bikernels for {\sc boolean CSPs} of arity for every fixed , and for {\sc
permutation CSPs} of arity 3. This implies linear bikernels for many problems
under the "above average" parameterization, such as {\sc Max--Sat}, {\sc
Set-Splitting}, {\sc Betweenness} and {\sc Max Acyclic Subgraph}. As a result,
all the parameterized problems we consider in this paper admit -time
algorithms.
We also obtain non-trivial hybrid algorithms for every Max -CSP: for every
instance , we can either approximate beyond the random assignment
threshold in polynomial time, or we can find an optimal solution to in
subexponential time.Comment: A preliminary version of this paper has been accepted for IPEC 201
Solving Set Constraint Satisfaction Problems using ROBDDs
In this paper we present a new approach to modeling finite set domain
constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We
show that it is possible to construct an efficient set domain propagator which
compactly represents many set domains and set constraints using ROBDDs. We
demonstrate that the ROBDD-based approach provides unprecedented flexibility in
modeling constraint satisfaction problems, leading to performance improvements.
We also show that the ROBDD-based modeling approach can be extended to the
modeling of integer and multiset constraint problems in a straightforward
manner. Since domain propagation is not always practical, we also show how to
incorporate less strict consistency notions into the ROBDD framework, such as
set bounds, cardinality bounds and lexicographic bounds consistency. Finally,
we present experimental results that demonstrate the ROBDD-based solver
performs better than various more conventional constraint solvers on several
standard set constraint problems
Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
We show that the finite satisfiability problem for the guarded two-variable
fragment with counting quantifiers is in EXPTIME. The method employed also
yields a simple proof of a result recently obtained by Y. Kazakov, that the
satisfiability problem for the guarded two-variable fragment with counting
quantifiers is in EXPTIME.Comment: 20 pages, 3 figure
- …