image.png

详解

  • 蚁群算法最早成功应用于解决旅行商问题(traveling salesman problem,TSP)
  • TSP 的定义如下:
    • 【Python】蚁群算法 - 图2是n个城市的集合,【Python】蚁群算法 - 图3是集合C中元素(城市)两两连接的集合
    • 【Python】蚁群算法 - 图4【Python】蚁群算法 - 图5的欧氏距离,即

【Python】蚁群算法 - 图6

  • 【Python】蚁群算法 - 图7是一个有向图,TSP的目标是从有向图G中找到长度最短的Hamiton圈
  • 即一条对【Python】蚁群算法 - 图8是n个元素(城市)访问且只访问一次的最短封闭曲线
  • 假设【Python】蚁群算法 - 图9表示t时刻位于元素i的蚂蚁的数量,设【Python】蚁群算法 - 图10为t时刻路径(i,j)上信息量的值
  • n表示TSP规模,m为蚁群中蚂蚁的总数目,则

【Python】蚁群算法 - 图11

  • 是t时刻集合C中元素两两连接【Python】蚁群算法 - 图12上残留信息量的集合
  • 各条路径上的信息量在初始时刻相等,并设【Python】蚁群算法 - 图13
  • 传统的蚁群算法的寻优过程是运用有向图【Python】蚁群算法 - 图14实现的
  • 蚂蚁【Python】蚁群算法 - 图15在移动的过程中,按照各条路径上的信息量,确定自己的移动方向
  • 这里用禁忌表【Python】蚁群算法 - 图16记录并存储蚂蚁k当前走过的城市集合
  • 并且随着【Python】蚁群算法 - 图17进化过程作出自适应性的调整
  • 在搜寻过程中,蚂蚁依照各条路径上的信息量及路径的启发信息获得状态转移概率
  • 【Python】蚁群算法 - 图18表示蚂蚁k在t时刻从元素i转移到元素j的状态转移概率,即

【Python】蚁群算法 - 图19

  • 其中,【Python】蚁群算法 - 图20表示蚂蚁k下一步允许选择的元素的集合
  • 【Python】蚁群算法 - 图21表示信息启发的因子,显示轨迹的相对重要性
  • 【Python】蚁群算法 - 图22表示期望启发式因子,显示能见度的相对重要性
  • 【Python】蚁群算法 - 图23表示启发函数,即

【Python】蚁群算法 - 图24

  • 式中,【Python】蚁群算法 - 图25表示相邻两个元素之间的距离
  • 对蚂蚁k而言,【Python】蚁群算法 - 图26越小,则【Python】蚁群算法 - 图27越大,【Python】蚁群算法 - 图28也就越大
  • 为了防止残留信息素太多,导致残留信息掩盖启发信息,在每只蚂蚁走完一步或者完成对所有n个元素的遍历
  • 就要更新残留信息
  • t+n时刻在路径(i,j)上信息量的调整方式及规则为

【Python】蚁群算法 - 图29

  • 其中,【Python】蚁群算法 - 图30表示信息素的挥发系数,则【Python】蚁群算法 - 图31表示信息素的残留系数
  • 为了避免信息的无限累积,【Python】蚁群算法 - 图32的取值范围为【Python】蚁群算法 - 图33
  • 【Python】蚁群算法 - 图34表示本次循环过程中路径(i,j)的信息素增量值,初始的时刻设置【Python】蚁群算法 - 图35
  • 【Python】蚁群算法 - 图36表示第k只蚂蚁在本次循环过程中留在路径(i,j)的信息量
  • 依据信息素更新策略的不同,Dorigo等提出蚁群算法的三种不同基本模型
  • 即Ant-Cycle模型、Ant-Quantity模型、Ant-Density模型
  • 它们之间的差异在于【Python】蚁群算法 - 图37求解方法不同

  • 在Ant-Cycle模型中

【Python】蚁群算法 - 图38

  • 其中,Q表示信息素的强度值,在一定程度上对算法的收敛速度产生影响;
  • 【Python】蚁群算法 - 图39表示第k只蚂蚁在本次循环过程中所走路径的长度和

  • 在Ant-Quantity模型中

【Python】蚁群算法 - 图40

  • 在Ant-Density模型中

【Python】蚁群算法 - 图41

  • Ant-Cycle模型使用的是整体信息,即蚂蚁完成一次循环后更新所有路径上信息素的值
  • 在求解TSP时性能比较好,因此研究者通常把Ant-Cycle模型看做蚁群算法的基本模型
  • Ant-Quantity和Ant-Density运用的是局部信息,即蚂蚁完成一步后更新路径信息素的值,更适合网络拓扑高动态变化,以及难以获取全局信息的Adhoc网络。

    实现

    ```python

    -- coding: utf-8 --

    import random import copy import time import sys import math import tkinter #//GUI模块 import threading from functools import reduce

参数

‘’’ ALPHA:信息启发因子,值越大,则蚂蚁选择之前走过的路径可能性就越大 ,值越小,则蚁群搜索范围就会减少,容易陷入局部最优 BETA:Beta值越大,蚁群越就容易选择局部较短路径,这时算法收敛速度会 加快,但是随机性不高,容易得到局部的相对最优 ‘’’ (ALPHA, BETA, RHO, Q) = (1.0,2.0,0.5,100.0)

城市数,蚁群

(city_num, ant_num) = (50,50) distance_x = [ 178,272,176,171,650,499,267,703,408,437,491,74,532, 416,626,42,271,359,163,508,229,576,147,560,35,714, 757,517,64,314,675,690,391,628,87,240,705,699,258, 428,614,36,360,482,666,597,209,201,492,294] distance_y = [ 170,395,198,151,242,556,57,401,305,421,267,105,525, 381,244,330,395,169,141,380,153,442,528,329,232,48, 498,265,343,120,165,50,433,63,491,275,348,222,288, 490,213,524,244,114,104,552,70,425,227,331]

城市距离和信息素

distance_graph = [ [0.0 for col in range(city_num)] for raw in range(city_num)] pheromone_graph = [ [1.0 for col in range(city_num)] for raw in range(city_num)]

—————- 蚂蚁 —————-

class Ant(object):

  1. # 初始化
  2. def __init__(self,ID):
  3. self.ID = ID # ID
  4. self.__clean_data() # 随机初始化出生点
  5. # 初始数据
  6. def __clean_data(self):
  7. self.path = [] # 当前蚂蚁的路径
  8. self.total_distance = 0.0 # 当前路径的总距离
  9. self.move_count = 0 # 移动次数
  10. self.current_city = -1 # 当前停留的城市
  11. self.open_table_city = [True for i in range(city_num)] # 探索城市的状态
  12. city_index = random.randint(0,city_num-1) # 随机初始出生点
  13. self.current_city = city_index
  14. self.path.append(city_index)
  15. self.open_table_city[city_index] = False
  16. self.move_count = 1
  17. # 选择下一个城市
  18. def __choice_next_city(self):
  19. next_city = -1
  20. select_citys_prob = [0.0 for i in range(city_num)] #存储去下个城市的概率
  21. total_prob = 0.0
  22. # 获取去下一个城市的概率
  23. for i in range(city_num):
  24. if self.open_table_city[i]:
  25. try :
  26. # 计算概率:与信息素浓度成正比,与距离成反比
  27. select_citys_prob[i] = pow(pheromone_graph[self.current_city][i], ALPHA) * pow((1.0/distance_graph[self.current_city][i]), BETA)
  28. total_prob += select_citys_prob[i]
  29. except ZeroDivisionError as e:
  30. print ('Ant ID: {ID}, current city: {current}, target city: {target}'.format(ID = self.ID, current = self.current_city, target = i))
  31. sys.exit(1)
  32. # 轮盘选择城市
  33. if total_prob > 0.0:
  34. # 产生一个随机概率,0.0-total_prob
  35. temp_prob = random.uniform(0.0, total_prob)
  36. for i in range(city_num):
  37. if self.open_table_city[i]:
  38. # 轮次相减
  39. temp_prob -= select_citys_prob[i]
  40. if temp_prob < 0.0:
  41. next_city = i
  42. break
  43. # 未从概率产生,顺序选择一个未访问城市
  44. # if next_city == -1:
  45. # for i in range(city_num):
  46. # if self.open_table_city[i]:
  47. # next_city = i
  48. # break
  49. if (next_city == -1):
  50. next_city = random.randint(0, city_num - 1)
  51. while ((self.open_table_city[next_city]) == False): # if==False,说明已经遍历过了
  52. next_city = random.randint(0, city_num - 1)
  53. # 返回下一个城市序号
  54. return next_city
  55. # 计算路径总距离
  56. def __cal_total_distance(self):
  57. temp_distance = 0.0
  58. for i in range(1, city_num):
  59. start, end = self.path[i], self.path[i-1]
  60. temp_distance += distance_graph[start][end]
  61. # 回路
  62. end = self.path[0]
  63. temp_distance += distance_graph[start][end]
  64. self.total_distance = temp_distance
  65. # 移动操作
  66. def __move(self, next_city):
  67. self.path.append(next_city)
  68. self.open_table_city[next_city] = False
  69. self.total_distance += distance_graph[self.current_city][next_city]
  70. self.current_city = next_city
  71. self.move_count += 1
  72. # 搜索路径
  73. def search_path(self):
  74. # 初始化数据
  75. self.__clean_data()
  76. # 搜素路径,遍历完所有城市为止
  77. while self.move_count < city_num:
  78. # 移动到下一个城市
  79. next_city = self.__choice_next_city()
  80. self.__move(next_city)
  81. # 计算路径总长度
  82. self.__cal_total_distance()

—————- TSP问题 —————-

class TSP(object):

  1. def __init__(self, root, width = 800, height = 600, n = city_num):
  2. # 创建画布
  3. self.root = root
  4. self.width = width
  5. self.height = height
  6. # 城市数目初始化为city_num
  7. self.n = n
  8. # tkinter.Canvas
  9. self.canvas = tkinter.Canvas(
  10. root,
  11. width = self.width,
  12. height = self.height,
  13. bg = "#EBEBEB", # 背景白色
  14. xscrollincrement = 1,
  15. yscrollincrement = 1
  16. )
  17. self.canvas.pack(expand = tkinter.YES, fill = tkinter.BOTH)
  18. self.title("TSP蚁群算法(n:初始化 e:开始搜索 s:停止搜索 q:退出程序)")
  19. self.__r = 5
  20. self.__lock = threading.RLock() # 线程锁
  21. self.__bindEvents()
  22. self.new()
  23. # 计算城市之间的距离
  24. for i in range(city_num):
  25. for j in range(city_num):
  26. temp_distance = pow((distance_x[i] - distance_x[j]), 2) + pow((distance_y[i] - distance_y[j]), 2)
  27. temp_distance = pow(temp_distance, 0.5)
  28. distance_graph[i][j] =float(int(temp_distance + 0.5))
  29. # 按键响应程序
  30. def __bindEvents(self):
  31. self.root.bind("q", self.quite) # 退出程序
  32. self.root.bind("n", self.new) # 初始化
  33. self.root.bind("e", self.search_path) # 开始搜索
  34. self.root.bind("s", self.stop) # 停止搜索
  35. # 更改标题
  36. def title(self, s):
  37. self.root.title(s)
  38. # 初始化
  39. def new(self, evt = None):
  40. # 停止线程
  41. self.__lock.acquire()
  42. self.__running = False
  43. self.__lock.release()
  44. self.clear() # 清除信息
  45. self.nodes = [] # 节点坐标
  46. self.nodes2 = [] # 节点对象
  47. # 初始化城市节点
  48. for i in range(len(distance_x)):
  49. # 在画布上随机初始坐标
  50. x = distance_x[i]
  51. y = distance_y[i]
  52. self.nodes.append((x, y))
  53. # 生成节点椭圆,半径为self.__r
  54. node = self.canvas.create_oval(x - self.__r,
  55. y - self.__r, x + self.__r, y + self.__r,
  56. fill = "#ff0000", # 填充红色
  57. outline = "#000000", # 轮廓白色
  58. tags = "node",
  59. )
  60. self.nodes2.append(node)
  61. # 显示坐标
  62. self.canvas.create_text(x,y-10, # 使用create_text方法在坐标(302,77)处绘制文字
  63. text = '('+str(x)+','+str(y)+')', # 所绘制文字的内容
  64. fill = 'black' # 所绘制文字的颜色为灰色
  65. )
  66. # 顺序连接城市
  67. #self.line(range(city_num))
  68. # 初始城市之间的距离和信息素
  69. for i in range(city_num):
  70. for j in range(city_num):
  71. pheromone_graph[i][j] = 1.0
  72. self.ants = [Ant(ID) for ID in range(ant_num)] # 初始蚁群
  73. self.best_ant = Ant(-1) # 初始最优解
  74. self.best_ant.total_distance = 1 << 31 # 初始最大距离
  75. self.iter = 1 # 初始化迭代次数
  76. # 将节点按order顺序连线
  77. def line(self, order):
  78. # 删除原线
  79. self.canvas.delete("line")
  80. def line2(i1, i2):
  81. p1, p2 = self.nodes[i1], self.nodes[i2]
  82. self.canvas.create_line(p1, p2, fill = "#000000", tags = "line")
  83. return i2
  84. # order[-1]为初始值
  85. reduce(line2, order, order[-1])
  86. # 清除画布
  87. def clear(self):
  88. for item in self.canvas.find_all():
  89. self.canvas.delete(item)
  90. # 退出程序
  91. def quite(self, evt):
  92. self.__lock.acquire()
  93. self.__running = False
  94. self.__lock.release()
  95. self.root.destroy()
  96. print (u"\n程序已退出...")
  97. sys.exit()
  98. # 停止搜索
  99. def stop(self, evt):
  100. self.__lock.acquire()
  101. self.__running = False
  102. self.__lock.release()
  103. # 开始搜索
  104. def search_path(self, evt = None):
  105. # 开启线程
  106. self.__lock.acquire()
  107. self.__running = True
  108. self.__lock.release()
  109. while self.__running:
  110. # 遍历每一只蚂蚁
  111. for ant in self.ants:
  112. # 搜索一条路径
  113. ant.search_path()
  114. # 与当前最优蚂蚁比较
  115. if ant.total_distance < self.best_ant.total_distance:
  116. # 更新最优解
  117. self.best_ant = copy.deepcopy(ant)
  118. # 更新信息素
  119. self.__update_pheromone_gragh()
  120. print (u"迭代次数:",self.iter,u"最佳路径总距离:",int(self.best_ant.total_distance))
  121. # 连线
  122. self.line(self.best_ant.path)
  123. # 设置标题
  124. self.title("TSP蚁群算法(n:随机初始 e:开始搜索 s:停止搜索 q:退出程序) 迭代次数: %d" % self.iter)
  125. # 更新画布
  126. self.canvas.update()
  127. self.iter += 1
  128. # 更新信息素
  129. def __update_pheromone_gragh(self):
  130. # 获取每只蚂蚁在其路径上留下的信息素
  131. temp_pheromone = [[0.0 for col in range(city_num)] for raw in range(city_num)]
  132. for ant in self.ants:
  133. for i in range(1,city_num):
  134. start, end = ant.path[i-1], ant.path[i]
  135. # 在路径上的每两个相邻城市间留下信息素,与路径总距离反比
  136. temp_pheromone[start][end] += Q / ant.total_distance
  137. temp_pheromone[end][start] = temp_pheromone[start][end]
  138. # 更新所有城市之间的信息素,旧信息素衰减加上新迭代信息素
  139. for i in range(city_num):
  140. for j in range(city_num):
  141. pheromone_graph[i][j] = pheromone_graph[i][j] * RHO + temp_pheromone[i][j]
  142. # 主循环
  143. def mainloop(self):
  144. self.root.mainloop()

—————- 程序的入口处 —————-

if name == ‘main‘:

  1. TSP(tkinter.Tk()).mainloop()

```