Constraint satisfaction problems for reducts of homogeneous graphs

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

Abstract

For n ≥ 3, let (Hn, E) denote the nth Henson graph, i.e., the unique countable homogeneous graph with exactly those finite graphs as induced subgraphs that do not embed the complete graph on n vertices. We show that for all structures Λ with domain Hn whose relations are first-order definable in (Hn, E) the constraint satisfaction problem for Λ either is in P or is NP-complete. We moreover show a similar complexity dichotomy for all structures whose relations are first-order definable in a homogeneous graph whose reflexive closure is an equivalence relation. Together with earlier results, in particular for the random graph, this completes the complexity classification of constraint satisfaction problems of structures first-order definable in countably infinite homogeneous graphs: all such problems are either in P or NP-complete.

Details

OriginalspracheEnglisch
Seiten (von - bis)1224-1264
Seitenumfang41
FachzeitschriftSIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics
Jahrgang48
Ausgabenummer4
PublikationsstatusVeröffentlicht - 2019
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0001-8228-3611/work/142241076

Schlagworte

Schlagwörter

  • Computational complexity, Constraint satisfaction problems, First-order reducts, Homogeneous structures, Structural Ramsey theory, Universal algebra