Constraint satisfaction problems with isolated solutions are hard

L Zdeborová, M Mézard - Journal of Statistical Mechanics: Theory …, 2008 - iopscience.iop.org
We study the phase diagram and the algorithmic hardness of the random'locked'constraint
satisfaction problems, and compare them to the commonly studied'non-locked'problems like …

Locked constraint satisfaction problems

L Zdeborová, M Mézard - Physical review letters, 2008 - APS
We introduce and study the random “locked” constraint satisfaction problems. When
increasing the density of constraints, they display a broad “clustered” phase in which the …

Biased landscapes for random constraint satisfaction problems

L Budzynski, F Ricci-Tersenghi… - Journal of Statistical …, 2019 - iopscience.iop.org
The typical complexity of constraint satisfaction problems (CSPs) can be investigated by
means of random ensembles of instances. The latter exhibit many threshold phenomena …

The large deviations of the whitening process in random constraint satisfaction problems

A Braunstein, L Dall'Asta, G Semerjian… - Journal of Statistical …, 2016 - iopscience.iop.org
Random constraint satisfaction problems undergo several phase transitions as the ratio
between the number of constraints and the number of variables is varied. When this ratio …

Constructing an asymptotic phase transition in random binary constraint satisfaction problems

BM Smith - Theoretical Computer Science, 2001 - Elsevier
The standard models used to generate random binary constraint satisfaction problems are
described. At the problem sizes studied experimentally, a phase transition is seen as the …

Many hard examples in exact phase transitions

K Xu, W Li - Theoretical Computer Science, 2006 - Elsevier
This paper analyzes the resolution complexity of two random constraint satisfaction problem
(CSP) models (ie Model RB/RD) for which we can establish the existence of phase …

Computational complexity and phase transitions

G Istrate - Proceedings 15th Annual IEEE Conference on …, 2000 - ieeexplore.ieee.org
Phase transitions in combinatorial problems have recently been shown to be useful in
locating" hard" instances of combinatorial problems. The connection between computational …

Entropy landscape and non-Gibbs solutions in constraint satisfaction problems

L Dall'Asta, A Ramezanpour, R Zecchina - Physical Review E—Statistical …, 2008 - APS
We study the entropy landscape of solutions for the bicoloring problem in random graphs, a
representative difficult constraint satisfaction problem. Our goal is to classify which types of …

Gibbs states and the set of solutions of random constraint satisfaction problems

F Krzakała, A Montanari… - Proceedings of the …, 2007 - National Acad Sciences
An instance of a random constraint satisfaction problem defines a random subset 𝒮 (the set
of solutions) of a large product space XN (the set of assignments). We consider two …

Frozen variables in random boolean constraint satisfaction problems

M Molloy, R Restrepo - Proceedings of the Twenty-Fourth Annual ACM-SIAM …, 2013 - SIAM
We determine the exact freezing threshold, rf, for a family of models of random boolean
constraint satisfaction problems, including NAE-SAT and hypergraph 2-colouring, when the …