113 research outputs found
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
On Ramsey properties of classes with forbidden trees
Let F be a set of relational trees and let Forbh(F) be the class of all
structures that admit no homomorphism from any tree in F; all this happens over
a fixed finite relational signature . There is a natural way to expand
Forbh(F) by unary relations to an amalgamation class. This expanded class,
enhanced with a linear ordering, has the Ramsey property.Comment: Keywords: forbidden substructure; amalgamation; Ramsey class; partite
method v2: changed definition of expanded class; v3: final versio
The random graph
Erd\H{o}s and R\'{e}nyi showed the paradoxical result that there is a unique
(and highly symmetric) countably infinite random graph. This graph, and its
automorphism group, form the subject of the present survey.Comment: Revised chapter for new edition of book "The Mathematics of Paul
Erd\H{o}s
- …