1,482 research outputs found
The complexity of the list homomorphism problem for graphs
We completely classify the computational complexity of the list H-colouring
problem for graphs (with possible loops) in combinatorial and algebraic terms:
for every graph H the problem is either NP-complete, NL-complete, L-complete or
is first-order definable; descriptive complexity equivalents are given as well
via Datalog and its fragments. Our algebraic characterisations match important
conjectures in the study of constraint satisfaction problems.Comment: 12 pages, STACS 201
Generic Expression Hardness Results for Primitive Positive Formula Comparison
We study the expression complexity of two basic problems involving the
comparison of primitive positive formulas: equivalence and containment. In
particular, we study the complexity of these problems relative to finite
relational structures. We present two generic hardness results for the studied
problems, and discuss evidence that they are optimal and yield, for each of the
problems, a complexity trichotomy
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
Existentially Restricted Quantified Constraint Satisfaction
The quantified constraint satisfaction problem (QCSP) is a powerful framework
for modelling computational problems. The general intractability of the QCSP
has motivated the pursuit of restricted cases that avoid its maximal
complexity. In this paper, we introduce and study a new model for investigating
QCSP complexity in which the types of constraints given by the existentially
quantified variables, is restricted. Our primary technical contribution is the
development and application of a general technology for proving positive
results on parameterizations of the model, of inclusion in the complexity class
coNP
Cores of Countably Categorical Structures
A relational structure is a core, if all its endomorphisms are embeddings.
This notion is important for computational complexity classification of
constraint satisfaction problems. It is a fundamental fact that every finite
structure has a core, i.e., has an endomorphism such that the structure induced
by its image is a core; moreover, the core is unique up to isomorphism. Weprove
that every \omega -categorical structure has a core. Moreover, every
\omega-categorical structure is homomorphically equivalent to a model-complete
core, which is unique up to isomorphism, and which is finite or \omega
-categorical. We discuss consequences for constraint satisfaction with \omega
-categorical templates
- …