一、基本原理
自然界的蚂蚁群体在寻找食物的过程中往往是随机选择路径的,但它们能感知当前地面上的信息素浓度,并倾向于往信息素浓度高的方向行进。信息素由蚂蚁自身释放,是实现蚁群内间接通信的物质。由于较短路径上蚂蚁的往返时间比较短,单位时间内经过该路径的蚂蚁多,所以信息素的积累速度比较长路径快。因此,当后续蚂蚁在路口时,就能感知先前蚂蚁留下的信息,并倾向于选择一条较短的路径前行,这种正反馈机制使得越来越多的蚂蚁在巢穴与食物之间的最短路径上行进。由于其他路径上的信息素会随着时间蒸发,最终所有的蚂蚁都在最优路径上行进。
通过对这种群体智能行为的抽象建模,研究者提出了蚁群优化算法(ACO),其具有分布计算、信息正反馈和启发式搜索的特征,本质上是进化算法中的一种启发式全局优化算法,最早用来求解TSP问题,并且表现出了很大的优越性,因为它分布式特性,鲁棒性强并且容易与其它算法结合。但是同时也存在着收敛速度慢,容易陷入局部最优(local optimal)等缺点。除了TSP问题,蚁群算法还被广泛应用于组合优化、参数寻优、调度问题等领域。
蚁群觅食现象 | 蚁群优化算法 |
---|---|
蚁群 | 搜索空间的一组有效解(表现为种群规模) |
觅食空间 | 问题的搜索空间(表现为问题的规模、解的维数) |
信息素 | 信息素浓度变量 |
蚁巢到食物的一条路径 | 一个有效解 |
找到的最短路径 | 问题的最优解 |
二、算法概述
假设蚂蚁每经过一处所留下的信息素为一个单位,则经过36个时间单位后,所有开始一起出发的蚂蚁都经过不同路径从D点取得了食物,此时ABD的路线往返了2趟,每一处的信息素为4个单位,而 ACD的路线往返了一趟,每一处的信息素为2个单位,其比值为2:1。
寻找食物的过程继续进行,则按信息素的指导,蚁群在ABD路线上增派一只蚂蚁(共2只),而ACD路线上仍然为一只蚂蚁。再经过36个时间单位后,两条线路上的信息素单位积累为12和4,比值为3:1。
若按以上规则继续,蚁群在ABD路线上再增派一只蚂蚁(共3只),而ACD路线上仍然为一只蚂蚁。再经过36个时间单位后,两条线路上的信息素单位积累为24和6,比值为4:1。
若继续进行,则按信息素的指导,最终所有的蚂蚁会放弃ACD路线,而都选择ABD路线。这也就是所谓的正反馈效应。
三、算法应用
1、构建解空间
每个蚂蚁都随机选择一个城市作为其出发城市,并维护一个路径记忆向量,用来存放该蚂蚁依次经过的城市。蚂蚁在构建路径的每一步中,按照一个随机比例规则选择下一个要到达的城市。蚂蚁向下一个目标的运动是通过一个随机原则来实现的,也就是运用当前所在节点存储的信息,计算出下一步可达节点的概率,并按此概率实现一步移动,逐此往复,越来越接近最优解。蚂蚁在寻找过程中,或者找到一个解后,会评估该解或解的一部分的优化程度,并把评价信息保存在相关连接的信息素中。
2、信息素更新
假设m只蚂蚁在图的相邻节点间移动,从而协作异步地得到问题的解。每只蚂蚁的一步转移概率由图中的每条边上的两类参数决定:1 信息素值,也称信息素痕迹。2 可见度,即先验值。
信息素的更新方式有2种,一是挥发,也就是所有路径上的信息素以一定的比率进行减少,模拟自然蚁群的信息素随时间挥发的过程;二是增强,给评价值“好”(有蚂蚁走过)的边增加信息素。
为了模拟蚂蚁在较短路径上留下更多的信息素,当所有蚂蚁到达终点时,必须把各路径的信息素浓度重新更新一次,信息素的更新也分为两个步骤。
(1)每一轮过后,问题空间中的所有路径上的信息素都会发生蒸发。
(2)所有的蚂蚁根据自己构建的路径长度在它们本轮经过的边上释放信息素。
四、算法实例应用
四个城市的TSP问题,距离矩阵和城市图示如下:
假设共m=3只蚂蚁,参数 α=1,β=2,ρ=0.5
步骤一、初始化
步骤二、为每个蚂蚁随机选择出发城市,假设蚂蚁1选择城市A,蚂蚁2选择城市B,蚂蚁3选择城市D。
步骤三、为每个蚂蚁选择下一访问城市,仅以蚂蚁1为例:
此时,所有的蚂蚁路径都已经构造完毕:
蚂蚁1:ABDCA
蚂蚁2:BDCAB
蚂蚁3:DACBD
步骤四、信息素更新
步骤五、如果满足结束条件,则输出全局最优结果并结束程序,否则,转向步骤2继续执行。
注:蚁群算法的输出结果好坏的判断标准是看是否找到了问题的最优解。如果找到了最优解,那么输出结果就是正确的。如果没有找到最优解,那么输出结果就是错误的。
五、算法实现
代码:
这个代码示例中,首先初始化一些参数,包括蚂蚁数量、城市数量、信息素重要程度因子、启发式因子、信息素挥发速度和常数等。
然后,随机生成城市坐标和距离矩阵,并初始化信息素矩阵。
接下来,进行多次迭代,每次迭代中,随机选择一个蚂蚁作为起始点,然后根据信息素矩阵和启发式因子选择下一个节点,直到到达目标节点为止。在蚂蚁移动的过程中,会不断更新信息素矩阵,以保持信息素的有效性。
最后,输出了找到的最优解和最优路径长度。