Discrete chaotic quantum bat algorithm for solution of Max-Re-SAT
As a possible countermeasure to the lack in algorithms for solving maximum regularization satisfiability problems as well as inadequate accuracy of intelligent optimization algorithms for solving maximum satisfiability problems,a discrete chaotic quantum based bat algorithm based on the bat algorithm(BA)was proposed herein.This algorithm was discretized by conversion of continu-ous values to discrete binary codes.By applying quantum theory,introducing quantum bit encoding and heuristic quantum mutation,the mutation is achieved by changing the probability amplitude of non optimal individuals through quantum rotation gates,solving the problems of precocity and slow convergence speed.In position update,chaotic mapping is used to replace fixed parameters,which enhances flexibility and diversity,and improves global optimization ability and solving efficiency.The experimental results show that the proposed algorithm has much higher accuracy than traditional heuristic algorithms in generating different scale examples in the sto-chastic regularization satisfiability problem instance generation model.At the same time,compared with the award-winning solver,it also has a certain level of competitiveness,verifying the effectiveness of the algorithm.
maximum regular satisfiability problembinary bat algorithmquantum bit encodingheuristic quantum variationcha-otic mapping
NETL
NSTL
万方数据
