Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297156249> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4297156249 abstract "For $ngeq 3$, let $(H_n, E)$ denote the $n$-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 $n$ vertices. We show that for all structures $Gamma$ with domain $H_n$ whose relations are first-order definable in $(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." @default.
- W4297156249 created "2022-09-27" @default.
- W4297156249 creator A5013230954 @default.
- W4297156249 creator A5022070074 @default.
- W4297156249 creator A5058729018 @default.
- W4297156249 creator A5070658141 @default.
- W4297156249 date "2016-02-18" @default.
- W4297156249 modified "2023-09-28" @default.
- W4297156249 title "Constraint satisfaction problems for reducts of homogeneous graphs" @default.
- W4297156249 doi "https://doi.org/10.48550/arxiv.1602.05819" @default.
- W4297156249 hasPublicationYear "2016" @default.
- W4297156249 type Work @default.
- W4297156249 citedByCount "0" @default.
- W4297156249 crossrefType "posted-content" @default.
- W4297156249 hasAuthorship W4297156249A5013230954 @default.
- W4297156249 hasAuthorship W4297156249A5022070074 @default.
- W4297156249 hasAuthorship W4297156249A5058729018 @default.
- W4297156249 hasAuthorship W4297156249A5070658141 @default.
- W4297156249 hasBestOaLocation W42971562491 @default.
- W4297156249 hasConcept C105795698 @default.
- W4297156249 hasConcept C110729354 @default.
- W4297156249 hasConcept C114614502 @default.
- W4297156249 hasConcept C118615104 @default.
- W4297156249 hasConcept C132180345 @default.
- W4297156249 hasConcept C132525143 @default.
- W4297156249 hasConcept C137105694 @default.
- W4297156249 hasConcept C156103551 @default.
- W4297156249 hasConcept C199622910 @default.
- W4297156249 hasConcept C2994516854 @default.
- W4297156249 hasConcept C33923547 @default.
- W4297156249 hasConcept C49937458 @default.
- W4297156249 hasConcept C66882249 @default.
- W4297156249 hasConceptScore W4297156249C105795698 @default.
- W4297156249 hasConceptScore W4297156249C110729354 @default.
- W4297156249 hasConceptScore W4297156249C114614502 @default.
- W4297156249 hasConceptScore W4297156249C118615104 @default.
- W4297156249 hasConceptScore W4297156249C132180345 @default.
- W4297156249 hasConceptScore W4297156249C132525143 @default.
- W4297156249 hasConceptScore W4297156249C137105694 @default.
- W4297156249 hasConceptScore W4297156249C156103551 @default.
- W4297156249 hasConceptScore W4297156249C199622910 @default.
- W4297156249 hasConceptScore W4297156249C2994516854 @default.
- W4297156249 hasConceptScore W4297156249C33923547 @default.
- W4297156249 hasConceptScore W4297156249C49937458 @default.
- W4297156249 hasConceptScore W4297156249C66882249 @default.
- W4297156249 hasLocation W42971562491 @default.
- W4297156249 hasLocation W429715624910 @default.
- W4297156249 hasLocation W42971562492 @default.
- W4297156249 hasLocation W42971562493 @default.
- W4297156249 hasLocation W42971562494 @default.
- W4297156249 hasLocation W42971562495 @default.
- W4297156249 hasLocation W42971562496 @default.
- W4297156249 hasLocation W42971562497 @default.
- W4297156249 hasLocation W42971562498 @default.
- W4297156249 hasLocation W42971562499 @default.
- W4297156249 hasOpenAccess W4297156249 @default.
- W4297156249 hasPrimaryLocation W42971562491 @default.
- W4297156249 hasRelatedWork W1614173585 @default.
- W4297156249 hasRelatedWork W1857241714 @default.
- W4297156249 hasRelatedWork W1985324197 @default.
- W4297156249 hasRelatedWork W2070051236 @default.
- W4297156249 hasRelatedWork W2152388474 @default.
- W4297156249 hasRelatedWork W2185632961 @default.
- W4297156249 hasRelatedWork W2241854453 @default.
- W4297156249 hasRelatedWork W2247877609 @default.
- W4297156249 hasRelatedWork W2281104192 @default.
- W4297156249 hasRelatedWork W2962837380 @default.
- W4297156249 isParatext "false" @default.
- W4297156249 isRetracted "false" @default.
- W4297156249 workType "article" @default.