Current browse context:
cs.CC
Change to browse by:
References & Citations
Computer Science > Computational Complexity
Title: CLAP: A New Algorithm for Promise CSPs
(Submitted on 11 Jul 2021 (v1), last revised 22 Oct 2022 (this version, v4))
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.
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.