Abstract
We consider a random constraint satisfaction problem named model RB, which exhibits a sharp satisfiability phase-transition phenomenon when the control parameters pass through the critical values denoted by rcr and pcr. Using finite-size scaling analysis, we bound the width of the transition region for finite problem size n, which might be the first rigorous study on the threshold behaviors of NP-complete problems.
| Original language | English |
|---|---|
| Pages (from-to) | 985-988 |
| Number of pages | 4 |
| Journal | Information Processing Letters |
| Volume | 111 |
| Issue number | 20 |
| DOIs | |
| State | Published - 31 Oct 2011 |
| Externally published | Yes |
Keywords
- Computational complexity
- Constraint satisfaction problem
- Finite-size scaling
- Model RB
- Phase transition
- Threshold behavior