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

Download:

Current browse context:

cs.CC

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 > Computational Complexity

Title: CLAP: A New Algorithm for Promise CSPs

Abstract: We propose a new algorithm for Promise Constraint Satisfaction Problems PCSPs). It is a combination of the $\textbf{C}$onstraint Basic $\textbf{L}$P relaxation and the $\textbf{A}$ffine I$\textbf{P}$ relaxation (CLAP). We give a characterisation of the power of CLAP in terms of a minion homomorphism. Using this characterisation, we identify a certain weak notion of symmetry which, if satisfied by infinitely many polymorphisms of PCSPs, guarantees tractability.
We demonstrate that there are PCSPs solved by CLAP that are not solved by any of the existing algorithms for PCSPs; in particular, not by the BLP+AIP algorithm of Brakensiek et al. [SICOMP'20] and not by a reduction to tractable finite-domain CSPs.
Comments: Full version of a SODA 2022 paper
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
Journal reference: SIAM Journal on Computing 52(1) (2023) 1-37
DOI: 10.1137/22M1476435
Cite as: arXiv:2107.05018 [cs.CC]
  (or arXiv:2107.05018v4 [cs.CC] for this version)

Submission history

From: Stanislav Živný [view email]
[v1] Sun, 11 Jul 2021 10:51:40 GMT (40kb)
[v2] Fri, 4 Feb 2022 10:15:41 GMT (45kb)
[v3] Sat, 16 Jul 2022 05:32:23 GMT (42kb)
[v4] Sat, 22 Oct 2022 17:51:27 GMT (42kb)

Link back to: arXiv, form interface, contact.