Catapult Dynamics and Phase Transitions in Quadratic Nets.
David MeltzerJunyu LiuPublished in: CoRR (2023)
Keyphrases
- phase transition
- constraint satisfaction
- random constraint satisfaction problems
- satisfiability problem
- hard problems
- deep structure
- combinatorial problems
- graph coloring
- randomly generated
- np complete
- random instances
- np complete problems
- cellular automata
- dynamical systems
- upper bound
- sat problem
- stochastic local search
- search algorithm
- objective function
- computational complexity
- orders of magnitude