Simulated annealing and Boltzmann machines: a stochastic approach to combinatorial optimization and neural computing
On selecting a satisfying truth assignment (extended abstract)
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Efficient local search for very large-scale satisfiability problems
ACM SIGART Bulletin
Noise strategies for improving local search
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Randomized algorithms
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
On the analysis of the (1+ 1) evolutionary algorithm
Theoretical Computer Science
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Implementing the Davis–Putnam Method
Journal of Automated Reasoning
Evolutionary algorithms for the satisfiability problem
Evolutionary Computation
Using Genetic Algorithms to Solve NP-Complete Problems
Proceedings of the 3rd International Conference on Genetic Algorithms
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Towards an analytic framework for analysing the computation time of evolutionary algorithms
Artificial Intelligence
A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Improved upper bounds for 3-SAT
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination
Annals of Mathematics and Artificial Intelligence
An improved exponential-time algorithm for k-SAT
Journal of the ACM (JACM)
Survey propagation: An algorithm for satisfiability
Random Structures & Algorithms
GASAT: a genetic local search algorithm for the satisfiability problem
Evolutionary Computation
Linear Upper Bounds for Random Walk on Small Density Random $3$-CNFs
SIAM Journal on Computing
Rigorous hitting times for binary mutations
Evolutionary Computation
Principles of stochastic local search
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Hi-index | 0.00 |
The satisfiability problem is a basic core NP-complete problem. In recent years, a lot of heuristic algorithms have been developed to solve this problem, and many experiments have evaluated and compared the performance of different heuristic algorithms. However, rigorous theoretical analysis and comparison are rare. This paper analyzes and compares the expected runtime of three basic heuristic algorithms: RandomWalk, (1+1) EA, and hybrid algorithm. The runtime analysis of these heuristic algorithms on two 2-SAT instances shows that the expected runtime of these heuristic algorithms can be exponential time or polynomial time. Furthermore, these heuristic algorithms have their own advantages and disadvantages in solving different SAT instances. It also demonstrates that the expected runtime upper bound of RandomWalk on arbitrary k-SAT (k=3) is O((k-1)^n), and presents a k-SAT instance that has @Q((k-1)^n) expected runtime bound.