9,161 research outputs found
Solving order constraints in logarithmic space.
We combine methods of order theory, finite model theory, and universal algebra to study, within the constraint satisfaction framework, the complexity of some well-known combinatorial problems connected with a finite poset. We identify some conditions on a poset which guarantee solvability of the problems in (deterministic, symmetric, or non-deterministic) logarithmic space. On the example of order constraints we study how a certain algebraic invariance property is related to solvability of a constraint satisfaction problem in non-deterministic logarithmic space
A complexity dichotomy for poset constraint satisfaction
In this paper we determine the complexity of a broad class of problems that
extends the temporal constraint satisfaction problems. To be more precise we
study the problems Poset-SAT(), where is a given set of
quantifier-free -formulas. An instance of Poset-SAT() consists of
finitely many variables and formulas
with ; the question is
whether this input is satisfied by any partial order on or
not. We show that every such problem is NP-complete or can be solved in
polynomial time, depending on . All Poset-SAT problems can be formalized
as constraint satisfaction problems on reducts of the random partial order. We
use model-theoretic concepts and techniques from universal algebra to study
these reducts. In the course of this analysis we establish a dichotomy that we
believe is of independent interest in universal algebra and model theory.Comment: 29 page
Absorption in Universal Algebra and CSP
The algebraic approach to Constraint Satisfaction Problem led to many developments in both CSP and universal algebra. The notion of absorption was successfully applied on both sides of the connection. This article introduces the concept of absorption, illustrates its use in a number of basic proofs and provides an overview of the most important results obtained by using it
Constraint Satisfaction Problems over Numeric Domains
We present a survey of complexity results for constraint satisfaction problems (CSPs) over the integers, the rationals, the reals, and the complex numbers. Examples of such problems are feasibility of linear programs, integer linear programming, the max-atoms problem, Hilbert\u27s tenth problem, and many more. Our particular focus is to identify those CSPs that can be solved in polynomial time, and to distinguish them from CSPs that are NP-hard. A very helpful tool for obtaining complexity classifications in this context is the concept of a polymorphism from universal algebra
Network satisfaction for symmetric relation algebras with a flexible atom
Robin Hirsch posed in 1996 the Really Big Complexity Problem: classify the
computational complexity of the network satisfaction problem for all finite
relation algebras . We provide a complete classification for the case
that is symmetric and has a flexible atom; the problem is in this case
NP-complete or in P. If a finite integral relation algebra has a flexible atom,
then it has a normal representation . We can then study the
computational complexity of the network satisfaction problem of using
the universal-algebraic approach, via an analysis of the polymorphisms of
. We also use a Ramsey-type result of Ne\v{s}et\v{r}il and R\"odl
and a complexity dichotomy result of Bulatov for conservative finite-domain
constraint satisfaction problems.Comment: 32 pages, 2 figure
- …