蚁群算法GBAS.

蚁群优化算法蚁群优化算法起源蚁群优化算法应用领域蚁群优化算法研究现状蚁群优化算法研究背景蚁群算法基本原理基于图的蚁群系统（GBAS）蚁群优化算法起源20世纪90年代意大利学者M．Dorigo，V．Maniezzo，A．Colorni等从生物进化的机制中受到启发，通过模拟自然界蚂蚁搜索路径的行为，提出来一种新型的模拟进化算法——蚁群算法，是群智能理论研究领域的一种主要算法。用该方法求解TSP问题、分配问题、job-shop调度问题，取得了较好的试验结果．虽然研究时间不长，但是现在的研究显示出，蚁群算法在求解复杂优化问题（特别是离散优化问题）方面有一定优势，表明它是一种有发展前景的算法。蚁群优化算法应用领域蚁群算法能够被用于解决大多数优化问题或者能够转化为优化求解的问题。现在其应用领域已扩展到多目标优化、数据分类、数据聚类、模式识别、电信管理、生物系统建模、流程规划、信号处理、机器人控制、决策支持以及仿真和系统辩识等方面，群智能理论和方法为解决这类应用问题提供了新的途径。蚁群优化算法研究现状90年代Dorigo最早提出了蚁群优化算法---蚂蚁系统（AntSystem,AS）并将其应用于解决计算机算法学中经典的旅行商问题（TSP）。从蚂蚁系统开始，基本的蚁群算法得到了不断的发展和完善，并在TSP以及许多实际优化问题求解中进一步得到了验证。这些AS改进版本的一个共同点就是增强了蚂蚁搜索过程中对最优解的探索能力，它们之间的差异仅在于搜索控制策略方面。而且，取得了最佳结果的ACO是通过引入局部搜索算法实现的，这实际上是一些结合了局域搜索算法的混合型概率搜索算法，有利于提高蚁群各级系统在优化问题中的求解质量。蚁群优化算法研究现状随着群智能理论和应用算法研究的不断发展，研究者已尝试着将其用于各种工程优化问题，并取得了意想不到的收获。多种研究表明，群智能在离散求解空间和连续求解空间中均表现出良好的搜索效果，并在组合优化问题中表现突出。蚁群优化算法并不是旅行商问题的最佳解决方法，但是它却为解决组合优化问题提供了新思路，并很快被应用到其它组合优化问题中。比较典型的应用研究包括：网络路由优化、数据挖掘以及一些经典的组合优化问题。蚁群优化算法研究现状ACO在许多经典组合优化问题中获得了成功的应用，如二次规划问题（QAP）、机器人路径规划、作业流程规划、图着色（GraphColoring）等问题。经过多年的发展，ACO已成为能够有效解决实际二次规划问题的几种重要算法之一利用ACO实现对生产流程和特料管理的综合优化，并通过与遗传、模拟退火和禁忌搜索算法的比较证明了ACO的工程应用价值。蚁群优化算法研究背景群智能理论研究领域有两种主要的算法：蚁群算法(AntColonyOptimization,ACO)和微粒群算法（ParticleSwarmOptimization,PSO）。前者是对蚂蚁群落食物采集过程的模拟，已成功应用于许多离散优化问题。微粒群算法也是起源于对简单社会系统的模拟，最初是模拟鸟群觅食的过程，但后来发现它是一种很好的优化工具。蚁群优化算法研究背景与大多数基于梯度的应用优化算法不同，群智能依靠的是概率搜索算法。虽然概率搜索算法通常要采用较多的评价函数，但是与梯度方法及传统的演化算法相比，其优点还是显著的，主要表现在以下几个方面：无集中控制约束，不会因个别个体的故障影响整个问题的求解，确保了系统具备更强的鲁棒性以非直接的信息交流方式确保了系统的扩展性并行分布式算法模型，可充分利用多处理器对问题定义的连续性无特殊要求算法实现简单蚁群算法基本原理蚁群算法是对自然界蚂蚁的寻径方式进行模似而得出的一种仿生算法。蚂蚁在运动过程中，能够在它所经过的路径上留下一种称之为外激素(pheromone)的物质进行信息传递，而且蚂蚁在运动过程中能够感知这种物质，并以此指导自己的运动方向，因此由大量蚂蚁组成的蚁群集体行为便表现出一种信息正反馈现象：某一路径上走过的蚂蚁越多，则后来者选择该路径的概率就越大。蚂蚁在觅食过程中可以找出巢穴到食物源的最短路径，为什么？（1）信息素(pheromone)（2）正反馈现象：某一路径上走过的蚂蚁越多，则后来者选择该路径的概率就越大。简化的蚂蚁寻食过程蚂蚁从A点出发，速度相同，食物在D点，可能随机选路线ABD或ACD。假设初始时每条分配路线一只蚂蚁，每个时间单位行走一步，本图为经过9个时间单位时的情形：走ABD的蚂蚁到达终点，而走ACD的蚂蚁刚好走到C点，为一半路程。简化的蚂蚁寻食过程经过18个时间单位时的情形：走ABD的蚂蚁到达终点后得到食物又返回了起点A，而走ACD的蚂蚁刚好走到D点。简化的蚂蚁寻食过程假设蚂蚁每经过一处所留下的信息素为一个单位，则经过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路线。这也就是前面所提到的正反馈效应。蚁群优化算法—基于图的蚁群系统（GBAS）初始的蚁群算法是基于图的蚁群算法，graph-basedantsystem,简称为GBAS，是由GutjahrWJ在2000年的FutureGenerationComputingSystems提出的。算法步骤如下：STEP0对n个城市的TSP问题，城市间的距离矩阵为，给TSP图中的每一条弧赋信息素初值，假设m只蚂蚁在工作，所有蚂蚁都从同一城市出发。当前最好解是。蚁群优化算法—基于图的蚁群系统（GBAS）STEP1（外循环）如果满足算法的停止规则，则停止计算并输出计算得到的最好解。否则使蚂蚁s从起点出发，用表示蚂蚁s行走的城市集合，初始为空集，。STEP2(内循环)按蚂蚁的顺序分别计算。当蚂蚁在城市i，若完成第s只蚂蚁的计算。否则，若，则以概率，到达j，；若则到达重复STEP2。蚁群优化算法—基于图的蚁群系统（GBAS）STEP3对，若，按中城市的顺序计算路径长度；若，路径长度置为一个无穷大值（即不可达）。比较m只蚂蚁中的路径长度，记走最短路径的蚂蚁为t。若，则。用如下公式对W路径上的信息素痕迹加强，对其他路径上的信息素进行挥发。得到新的，重复步骤STEP1。蚁群优化算法—基于图的蚁群系统（GBAS）在STEP3中，挥发因子对于一个固定的，满足并且经过k次挥发，非最优路径的信息素逐渐减少至消失。蚁群优化算法—基于图的蚁群系统（GBAS）以上算法中，在蚂蚁的搜寻过程中，以信息素的概率分布来决定从城市i到城市j的转移。算法中包括信息素更新的过程1信息素挥发（evaporation）信息素痕迹的挥发过程是每个连接上的信息素痕迹的浓度自动逐渐减弱的过程，由表示，这个挥发过程主要用于避免算法过快地向局部最优区域集中，有助于搜索区域的扩展。2信息素增强（reinforcement）增强过程是蚁群优化算法中可选的部分，称为离线更新方式（还有在线更新方式）。这种方式可以实现由单个蚂蚁无法实现的集中行动。也就是说，增强过程体现在观察蚁群（m只蚂蚁）中每只蚂蚁所找到的路径，并选择其中最优路径上的弧进行信息素的增强，挥发过程是所有弧都进行的，不与蚂蚁数量相关。这种增强过程中进行的信息素更新称为离线的信息素更新。在STEP3中，蚁群永远记忆到目前为止的最优解。蚁群优化算法—基于图的蚁群系统（GBAS）可以验证，下式满足：即是一个随机矩阵。四个城市的非对称TSP问题，距离矩阵和城市图示如下：蚁群优化算法—基于图的蚁群系统（GBAS）假设共4只蚂蚁，所有蚂蚁都从城市A出发，挥发因子。此时，观察GBAS的计算过程。矩阵共有12条弧，初始信息素记忆矩阵为：蚁群优化算法—基于图的蚁群系统（GBAS）执行GBAS算法的步骤2，假设蚂蚁的行走路线分别为：当前最优解为W2，这个解是截止到当前的最优解，碰巧是实际最优解蚁群优化算法—基于图的蚁群系统（GBAS）按算法步骤3的信息素更新规则，得到更新矩阵这是第一次外循环结束的状态。蚁群优化算法—基于图的蚁群系统（GBAS）重复外循环，由于上一次得到的W2已经是全局最优解，因此按算法步骤3的信息素更新规则，无论蚂蚁如何行走，都只是对W2路线上的城市信息素进行增强，其他的城市信息素进行挥发。得到更新矩阵这是第一次外循环结束的状态。蚁群优化算法—基于图的蚁群系统（GBAS）重复外循环，由于W2是全局最优解，GBAS只记录第一个最优解，因此一但得到了全局最优解，信息素的更新将不再依赖于群的行走路线，而只是不断增强最优路线的信息素，同时进行挥发。第三次外循环后得到的信息素矩阵为：蚁群优化算法—基于图的蚁群系统（GBAS）蚂蚁以一定的概率从城市i到城市j进行转移，信息素的更新在STEP3完成，并随K而变化。假设第K次外循环后得到信息素矩阵，得到当前最优解。第K次循环前的信息素和最优解为，经过第K次外循环后，得到。由于蚂蚁的一步转移概率是随机的，从到也是随机的，是一个马尔可夫过程。一般蚁群算法的框架一般蚁群算法的框架和GBAS基本相同，有三个组成部分：蚁群的活动；信息素的挥发；信息素的增强；主要体现在前面的算法中步骤2和步骤3中的转移概率公式和信息素更新公式。马氏过程的收敛定义蚁群优化算法的每步迭代对应随机变量其中为信息素痕迹；为n城市的一个排列，最多有个状态。第s只蚂蚁在第k轮转移只由决定，这个蚂蚁行走的路径和一起，共同决定了，再通过信息素的更新原则可以进一步得到。的变化仅由决定，而与先前的状态无关，这是一个典型的马尔可夫过程。定义：若一个马尔可夫过程，对任意给定的满足则称马尔可夫过程依概率1收敛到。GBAS算法的收敛性分析定理满足指定条件的马尔可夫过程依概率1收敛到,其中为一条最优路径,定义为:证明分析:蚁群算法中,一但达到全局最优,由只记录第一个最优解.证明分三部分:证明以概率1达到一个最优路径证明(1)上式成立证明以概率1收敛到一个最优路径