We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Smooth approximations and CSPs over finitely bounded homogeneous structures

Abstract: We develop the novel machinery of smooth approximations, and apply it to confirm the CSP dichotomy conjecture for first-order reducts of the random tournament, various homogeneous graphs including the random graph, and for expansions of the order of the rationals. Apart from obtaining these dichotomy results, we show how our new proof technique allows to unify and significantly simplify the previous results from the literature. For all but the last structure, we moreover characterize those CSPs which are solvable by local consistency methods, again using the same machinery.
Comments: 42 pages. Latest version: added details to many proofs
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO); Rings and Algebras (math.RA)
Cite as: arXiv:2011.03978 [cs.LO]
  (or arXiv:2011.03978v5 [cs.LO] for this version)

Submission history

From: Michael Pinsker [view email]
[v1] Sun, 8 Nov 2020 13:29:37 GMT (52kb)
[v2] Thu, 3 Dec 2020 15:04:11 GMT (52kb)
[v3] Mon, 14 Dec 2020 16:38:45 GMT (52kb)
[v4] Sun, 10 Jan 2021 19:12:08 GMT (52kb)
[v5] Mon, 7 Jun 2021 10:42:17 GMT (54kb)

Link back to: arXiv, form interface, contact.