Logical compactness and constraint satisfaction problems
@article{Rorabaugh2016LogicalCA,
title={Logical compactness and constraint satisfaction problems},
author={Danny Rorabaugh and Claude Tardif and David L. Wehlau},
journal={Log. Methods Comput. Sci.},
year={2016},
volume={13}
}We investigate a correspondence between the complexity hierarchy of constraint satisfaction problems and a hierarchy of logical compactness hypotheses for finite relational structures. It seems that the harder a constraint satisfaction problem is, the stronger the corresponding compactness hypothesis is. At the top level, the NP-complete constraint satisfaction problems correspond to compactness hypotheses that are equivalent to the ultrafilter axiom in all the cases we have investigated. At…
4 Citations
The Power of the Combined Basic Linear Programming and Affine Relaxation for Promise Constraint Satisfaction Problems
- Computer ScienceSIAM J. Comput.
- 2020
In the field of constraint satisfaction problems (CSPs), promise CSPs are an exciting new direction of study and this paper presents a meta-analyses of two promising approaches to this problem.
The Power of the Combined Basic LP and Affine Relaxation for Promise CSPs
- Computer ScienceElectron. Colloquium Comput. Complex.
- 2020
A simple algorithm which in polynomial time solves the decision problem for all promise CSPs that admit infinitely many symmetric polymorphisms, that is the coordinates are permutation invariant, and it is shown that block symmetrical polymorphisms are not only sufficient but also necessary for this algorithm to work, thus establishing its precise power.
Hierarchies of Minion Tests for PCSPs through Tensors
- Computer Science, MathematicsSODA
- 2023
In order to analyse the Sum-of-Squares SDP hierarchy, the solvability of the standard SDP relaxation is characterised through a new minion, and the geometry of the tensor spaces arising from the construction are exploited to prove general properties of hierarchies.
CLAP: A New Algorithm for Promise CSPs
- Computer ScienceSODA
- 2022
It is demonstrated that there arePCSPs 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. and not by a reduction to tractable finite-domain CSPs.
References
SHOWING 1-10 OF 12 REFERENCES
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- MathematicsSIAM J. Comput.
- 1998
This paper isolates a class (of problems specified by) "monotone monadic SNP without inequality" which may exhibit a dichotomy, and explains the placing of all these restrictions by showing, essentially using Ladner's theorem, that classes obtained by using only two of the above three restrictions do not show this dichotomy.
A strong Mal’cev condition for locally finite varieties omitting the unary type
- Mathematics
- 2010
We show that a finite algebra has a Taylor operation if and only if it has an operation satisfying a particular set of 6-ary Taylor identities. As a consequence we get the first strong Mal’cev…
THE AXIOM OF CHOICE
- Mathematics
- 2003
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show…
The axiom of choice for finite sets
- Mathematics
- 1960
If 3f is a family of nonempty sets, then by a choice function on 3f we mean a function f on 3f such that f(S) ES for every S Ez3. The axiom of choice for finite sets may be formulated as follows:…
Coloring infinite graphs and the Boolean prime ideal theorem
- Mathematics
- 1971
It is shown that the following theorem holds in set theory without AC: There is a functionG which assigns to each Boolean algebraB a graphG(B) such that (1) ifG(B) is 3-colorable then there is a…
Zermelo's Axiom of Choice: Its Origins, Development, and Influence
- Economics
- 1982
Prologue.- 1 The Prehistory of the Axiom of Choice.- 1.1 Introduction.- 1.2 The Origins of the Assumption.- 1.3 The Boundary between the Finite and the Infinite.- 1.4 Cantor's Legacy of Implicit…
A Probabilistic Approach to the Dichotomy Problem
- Mathematics
- 2006
Let ${\mathcal R}(n,k)$ denote the random $k$-ary relation defined on the set $[n]=\{1,2,\dots,n\}$. We show that the probability that $([n], {\mathcal R}(n,k))$ is projective tends to one, as either…