English

Constraint satisfaction problems for reducts of homogeneous graphs

Logic in Computer Science 2021-01-12 v3 Computational Complexity Logic

Abstract

For n3n\geq 3, let (Hn,E)(H_n, E) denote the nn-th 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 nn vertices. We show that for all structures Γ\Gamma with domain HnH_n whose relations are first-order definable in (Hn,E)(H_n,E) the constraint satisfaction problem for Γ\Gamma is either 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.

Keywords

Cite

@article{arxiv.1602.05819,
  title  = {Constraint satisfaction problems for reducts of homogeneous graphs},
  author = {Manuel Bodirsky and Barnaby Martin and Michael Pinsker and András Pongrácz},
  journal= {arXiv preprint arXiv:1602.05819},
  year   = {2021}
}

Comments

41 pages

R2 v1 2026-06-22T12:53:03.650Z