Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4653333 | European Journal of Combinatorics | 2016 | 30 Pages |
The well known dichotomy conjecture of Feder and Vardi states that for every finite family ΓΓ of constraints CSP(Γ) is either polynomially solvable or NPNP-hard. Bulatov and Jeavons reformulated this conjecture in terms of the properties of the algebra Pol(Γ)Pol(Γ), where the latter is the collection of those nn-ary operations (n=1,2,…n=1,2,…) that keep all constraints in ΓΓ invariant. We show that the algebraic condition boils down to whether there are arbitrarily resilient functions in Pol(Γ)Pol(Γ). Equivalently, we can express this in terms of the PCP theory: CSP(Γ) is NPNP-hard iff every long code test created from ΓΓ that passes with zero error admits only juntas.3 Then, using this characterization and a result of Dinur, Friedgut and Regev, we give an entirely new and transparent proof to the Hell–Nešetřil theorem, which states that for a simple, connected and undirected graph HH, the problem CSP(H) is NPNP-hard if and only if HH is non-bipartite.We also introduce another notion of resilience (we call it strong resilience), and we use it in the investigation of CSP problems that ‘do not have the ability to count’. We show that CSP problems without the ability to count are exactly the ones with strongly resilient term operations. This gave already a handier tool to attack the conjecture that CSP problems without the ability to count have bounded width, or equivalently, that they can be characterized by existential kk-pebble games: Barto and Kozik already proved this conjecture using a variant of our characterization. This is considered a major step towards the resolution of the dichotomy conjecture.Finally, we show that a yet stronger notion of resilience, when the term operation is asymptotically constant, holds for the class of width one CSPs.What emerges from our research, is that certain important algebraic conditions that are usually expressed via identities have equivalent analytic definitions that rely on asymptotic properties of term operations.