A genetic algorithms for 3-SAT problem determinant
Xiaofeng Wang · Ningxia Engineering Technology · 2009
This article improves the genetic algorithm and introduces the cluster sorting choice operator.And transforming the determinate 3-SAT question to the confirmatory 3-SAT question,the algorithm convergence degree speeds up.Finally,the basic solution algorithm has been given,and this algorithm complexity has been analyzed.Experimental data indicated that the algorithm's reliability has been enhanced greatly and algorithm's performance surpasses the similar algorithm obviously.