Quiet planting in the locked constraints satisfaction problems
Journal Article
·
· SIAM Journal on Discrede Mathematics
OSTI ID:956457
- Los Alamos National Laboratory
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, thus providing hard satisfiable benchmarks. In a part of that hard region instances have with high probability a single satisfying assignment.
- Research Organization:
- Los Alamos National Laboratory (LANL), Los Alamos, NM (United States)
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC52-06NA25396
- OSTI ID:
- 956457
- Report Number(s):
- LA-UR-09-01115; LA-UR-09-1115; TRN: US201013%%172
- Journal Information:
- SIAM Journal on Discrede Mathematics, Journal Name: SIAM Journal on Discrede Mathematics
- Country of Publication:
- United States
- Language:
- English
Similar Records
Hiding quiet solutions in random constraint satisfaction problems
Combining local search and backtracking techniques for constraint satisfaction
COMPLEXITY & APPROXIMABILITY OF QUANTIFIED & STOCHASTIC CONSTRAINT SATISFACTION PROBLEMS
Journal Article
·
Tue Jan 01 00:00:00 EST 2008
· Physical Review Letters
·
OSTI ID:956457
Combining local search and backtracking techniques for constraint satisfaction
Conference
·
Tue Dec 31 00:00:00 EST 1996
·
OSTI ID:956457
COMPLEXITY & APPROXIMABILITY OF QUANTIFIED & STOCHASTIC CONSTRAINT SATISFACTION PROBLEMS
Conference
·
Fri Jun 01 00:00:00 EDT 2001
·
OSTI ID:956457