Quiet Planting in the Locked Constraint Satisfaction Problems
Statistical Mechanics
2011-07-19 v3 Disordered Systems and Neural Networks
Computational Complexity
Abstract
We study the planted ensemble of locked constraint satisfaction problems. We describe the connection between the random and planted ensembles. The use of the cavity method is combined with arguments from reconstruction on trees and first and second moment considerations; in particular the connection with the reconstruction on trees appears to be crucial. Our main result is the location of the hard region in the planted ensemble. In a part of that hard region instances have with high probability a single satisfying assignment.
Keywords
Cite
@article{arxiv.0902.4185,
title = {Quiet Planting in the Locked Constraint Satisfaction Problems},
author = {Lenka Zdeborová and Florent Krzakala},
journal= {arXiv preprint arXiv:0902.4185},
year = {2011}
}
Comments
21 pages, revised version