Phase Transition for Glauber Dynamics for Independent Sets on Regular Trees
Ricardo RestrepoDaniel StefankovicJuan Carlos VeraEric VigodaLinji YangPublished in: CoRR (2010)
Keyphrases
- phase transition
- constraint satisfaction
- satisfiability problem
- randomly generated
- combinatorial problems
- hard problems
- np complete
- random constraint satisfaction problems
- sat problem
- graph coloring
- random graphs
- hamiltonian cycle
- deep structure
- np complete problems
- cellular automata
- random sat
- random instances
- boolean satisfiability
- stochastic local search
- heuristic search