6 research outputs found
Boolean symmetric vs. functional PCSP dichotomy
Given a 3-uniform hypergraph that is promised to admit a
-colouring such that every edge contains exactly one , can one find
a -colouring such that for every
? This can be cast as a promise constraint satisfaction problem (PCSP)
of the form , where
defines the relation , and is an example of
, where (and thus wlog
also ) is symmetric. The computational complexity of such problems
is understood for and on Boolean domains by the work
of Ficak, Kozik, Ol\v{s}\'{a}k, and Stankiewicz [ICALP'19].
As our first result, we establish a dichotomy for
, where is Boolean and
symmetric and is functional (on a domain of any size); i.e, all
but one element of any tuple in a relation in determine the last
element. This includes PCSPs of the form
, where is functional,
thus making progress towards a classification of
, which were studied by Barto,
Battistelli, and Berg [STACS'21] for on three-element domains.
As our second result, we show that for
, where contains a
single Boolean symmetric relation and is arbitrary (and thus not
necessarily functional), the combined basic linear programmin relaxation (BLP)
and the affine integer programming relaxation (AIP) of Brakensiek et al.
[SICOMP'20] is no more powerful than the (in general strictly weaker) AIP
relaxation of Brakensiek and Guruswami [SICOMP'21]
On the complexity of symmetric vs. functional PCSPs
The complexity of the promise constraint satisfaction problem PCSP(A, B) is largely
unknown, even for symmetric A and B, except for the case when A and B are Boolean.
First, we establish a dichotomy for PCSP(A, B) where A, B are symmetric, B is
functional (i.e. any r â 1 elements of an r-ary tuple uniquely determines the last one), and
(A, B) satisfies technical conditions we introduce called dependency and additivity. This
result implies a dichotomy for PCSP(A, B) with A, B symmetric and B functional if (i)
A is Boolean, or (ii) A is a hypergraph of a small uniformity, or (iii) A has a relation RA
of arity at least 3 such that the hypergraph diameter of (A, RA) is at most 1.
Second, we show that for PCSP(A, B), where A and B contain a single relation, A
satisfies a technical condition called balancedness, and B is arbitrary, the combined basic
linear programming relaxation (BLP) and the affine integer programming relaxation (AIP)
is no more powerful than the (in general strictly weaker) AIP relaxation. Balanced A
include symmetric A or, more generally, A preserved by a transitive permutation group
Approximate Graph Colouring and the Hollow Shadow
We show that approximate graph colouring is not solved by constantly many
levels of the lift-and-project hierarchy for the combined basic linear
programming and affine integer programming relaxation. The proof involves a
construction of tensors whose fixed-dimensional projections are equal up to
reflection and satisfy a sparsity condition, which may be of independent
interest.Comment: Generalises and subsumes results from Section 6 in arXiv:2203.02478;
builds on and generalises results in arXiv:2210.0829
The complexity of promise SAT on non-Boolean domains
While 3-SAT is NP-hard, 2-SAT is solvable in polynomial time. Austrin, Guruswami, and HĂĽstad [FOCS'14/SICOMP'17] proved a result known as "(2+Îľ)-SAT is NP-hard". They showed that the problem of distinguishing k-CNF formulas that are g-satisfiable (i.e. some assignment satisfies at least g literals in every clause) from those that are not even 1-satisfiable is NP-hard if g/k < 1/2 and is in P otherwise. We study a generalisation of SAT on arbitrary finite domains, with clauses that are disjunctions of unary constraints, and establish analogous behaviour. Thus we give a dichotomy for a natural fragment of promise constraint satisfaction problems (PCSPs) on arbitrary finite domains
The complexity of promise SAT on non-Boolean domains
While 3-SAT is NP-hard, 2-SAT is solvable in polynomial time. Austrin et al. [SICOMPâ17] proved a result known as â(2+É)-SAT is NP-hard.â They showed that the problem of distinguishing k-CNF formulas that are g-satisfiable (i.e., some assignment satisfies at least g literals in every clause) from those that are not even 1-satisfiable is NP-hard if g/k < 1/2 and is in P otherwise. We study a generalisation of SAT on arbitrary finite domains, with clauses that are disjunctions of unary constraints, and establish analogous behaviour. Thus, we give a dichotomy for a natural fragment of promise constraint satisfaction problems (PCSPs) on arbitrary finite domains.
The hardness side is proved using the algebraic approach via a new general NP-hardness criterion on polymorphisms, which is based on a gap version of the Layered Label Cover problem. We show that previously used criteria are insufficientâthe problem hence gives an interesting benchmark of algebraic techniques for proving hardness of approximation in problems such as PCSPs