Probabilistic analysis of two heuristics for the 3-satisfiability problem
SIAM Journal on Computing
Information Sciences: an International Journal
Analysis of two simple heuristics on a random instance of k-SAT
Journal of Algorithms
A threshold for unsatisfiability
Journal of Computer and System Sciences
Adaptation on rugged landscapes
Management Science
Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Typical random 3-SAT formulae and the satisfiability threshold
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
Lower bounds for random 3-SAT via differential equations
Theoretical Computer Science - Phase transitions in combinatorial problems
Fitness landscapes and evolvability
Evolutionary Computation
Fitness Distance Correlation as a Measure of Problem Difficulty for Genetic Algorithms
Proceedings of the 6th International Conference on Genetic Algorithms
Evolutionary Computation
An analysis of phase transition in NK landscapes
Journal of Artificial Intelligence Research
New entropy-based measures of gene significance and epistasis
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
On the treewidth of NK landscapes
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartI
The computational complexity of N-K fitness functions
IEEE Transactions on Evolutionary Computation
Analysis of estimation of distribution algorithms and genetic algorithms on NK landscapes
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
NK landscapes, problem difficulty, and hybrid evolutionary algorithms
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Adaptation of a multiagent evolutionary algorithm to NK landscapes
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Hi-index | 0.00 |
An analysis for the phase transition in a random NK landscape model is given. For the fixed ratio model, NK(n,k,z), Gao and Culberson [17] showed that a random instance generated by NK(n,2,z) with z z0 = 27-7/√54 is asymptotically insoluble. Based on empirical results, they conjectured that the phase transition occurs around the value z = z0. We prove that an instance generated by NK(n,2,z) with z 0 is soluble with positive probability by providing a variant of the unit clause algorithm. Using branching process arguments, we also reprove that an instance generated by NK(n,2,z) with z z0 is asymptotically insoluble. The results show the phase transition around z = z0 for NK(n,2,z). In the course of the analysis, we introduce a generalized random 2-SAT formula, which is of self interest, and show its phase transition phenomenon.