A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions.
Arnoud den BoerAndreas WeiermannPublished in: J. Log. Comput. (2007)
Keyphrases
- phase transition
- recursive functions
- inductive inference
- constraint satisfaction
- satisfiability problem
- combinatorial problems
- np complete
- randomly generated
- average degree
- random constraint satisfaction problems
- hard problems
- relational learning
- random instances
- sat problem
- np complete problems
- graph coloring
- cellular automata
- hamiltonian cycle
- deep structure