Guan Boxin, Zhao Yuhai, Li Yuan
School of Computer Science and Engineering, Northeastern University, Shenyang 110819, China.
School of Information Science and Technology, North China University of Technology, Beijing 100144, China.
Entropy (Basel). 2019 Aug 6;21(8):766. doi: 10.3390/e21080766.
Solving the constraint satisfaction problem (CSP) is to find an assignment of values to variables that satisfies a set of constraints. Ant colony optimization (ACO) is an efficient algorithm for solving CSPs. However, the existing ACO-based algorithms suffer from the constructed assignment with high cost. To improve the solution quality of ACO for solving CSPs, an ant colony optimization based on information entropy (ACOE) is proposed in this paper. The proposed algorithm can automatically call a crossover-based local search according to real-time information entropy. We first describe ACOE for solving CSPs and show how it constructs assignments. Then, we use a ranking-based strategy to update the pheromone, which weights the pheromone according to the rank of these ants. Furthermore, we introduce the crossover-based local search that uses a crossover operation to optimize the current best assignment. Finally, we compare ACOE with seven algorithms on binary CSPs. The experimental results revealed that our method outperformed the other compared algorithms in terms of the cost comparison, data distribution, convergence performance, and hypothesis test.
解决约束满足问题(CSP)就是要找到一个给变量赋值的方案,使其满足一组约束条件。蚁群优化算法(ACO)是一种解决约束满足问题的高效算法。然而,现有的基于蚁群优化的算法在构建赋值方案时成本较高。为了提高蚁群优化算法解决约束满足问题的解的质量,本文提出了一种基于信息熵的蚁群优化算法(ACOE)。该算法能够根据实时信息熵自动调用基于交叉的局部搜索。我们首先描述用于解决约束满足问题的ACOE,并展示其如何构建赋值方案。然后,我们使用基于排名的策略来更新信息素,该策略根据蚂蚁的排名对信息素进行加权。此外,我们引入了基于交叉的局部搜索,它使用交叉操作来优化当前的最佳赋值方案。最后,我们在二元约束满足问题上把ACOE与七种算法进行了比较。实验结果表明,在成本比较、数据分布、收敛性能和假设检验方面,我们的方法优于其他对比算法。