Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences.
Michiel De SmetAndreas WeiermannPublished in: J. Log. Comput. (2012)
Keyphrases
- phase transition
- constraint satisfaction
- np complete
- satisfiability problem
- graph coloring
- randomly generated
- random instances
- deep structure
- average degree
- cellular automata
- hard problems
- random constraint satisfaction problems
- constraint satisfaction problems
- sat problem
- boolean satisfiability
- np complete problems