A hybrid genetic algorithm to solve 3-SAT problem
Bingfen Li, Yuan Zhang · 2016
A difference hybrid genetic algorithm to solve 3-SAT problem has been developed in this paper. It is an hybrid genetic algorithm with combination of GSAT, the three-route quick sort algorithm and the cloud theory. In this algorithm, basic cloud generator is used to generate the mutation rate and cross rate. Numerical experiments have been carried out for the analytical investigation of this algorithm. Comparing to the similar algorithms, it is proven that the time of finding optimal solution has been reduced and the success probability has raised. Finally, the validity and feasibility of the algorithms have been verified.