【智能优化算法】从蚁群到动物园

引言

21世纪，人类社会已经全面迅速迈入以人工智能为引擎的智能时代。在科学研究、工程设计、经济管理、国防建设、社会生活等领域都面临着大量需要优化求解的复杂问题。

对于这些日益复杂化的优化问题建立精确的数学模型往往比较困难，因而使得基于精确模型的传统优化算法陷入了极大的困境。然而，人们从自然界的多种生物、昆虫、动物、植物等的生存、繁衍过程以及自然现象、水循环、生态平衡等过程中，发现了其中蕴含着大量的信息处理的优化机制和机理。于是人们从模拟这些优化机制、优化机理出发，提出了数以百计的不依赖被优化问题数学模型的优化算法，它们被称为元启发式算法、仿生计算、自然计算、智能计算等。这些优化算法中有些算法在一定程度上模拟了人的智能；有些算法模拟自然界中某些动物、植物生存行为的适应性、灵性、“智慧性”，因此可以统称为智能优化算法。

以遗传算法为开端的智能优化算法为解决缺乏精确数学模型的复杂优化问题开辟了新途径，尤其是以模拟蚁群觅食行为的蚁群优化算法和模拟鸟类飞行觅食行为的粒子群优化算法为代表的群智能优化算法的提出，极大地推动了智能优化算法开发的速度、深度和广度。随着人工智能技术的快速进步，必将催生智能优化技术和智能优化算法的进一步发展，为解决复杂系统的优化问题提供更广阔的途径及强有力的工具。

本文以群智能优化算法为主题，例举数个极具代表性的相关算法。其中包括了模拟自然界微生物、群居昆虫、动物群体觅食、繁殖行为，以及动物群体的捕猎策略等对问题求解的优化算法。
同时也会简单说明一下目前群智能优化算法的研究状况，看看群智能优化算法是怎么从动物身上获取经验的，又是怎么从一个蚁群逐渐发展壮大成一个动物园。

---

蚁群优化算法（ACO）

蚁群优化(Ant Colony Optimization,ACO)算法是 1991 年由意大利 M.Dorigo 博士等提出的一种群智能优化算法，它模拟蚁群能从蚁巢到食物源找到一条最短路径的觅食行为，并成功用于求解组合优化的 TSP 问题。后来，一些研究者把它改进应用于连续优化问题。

2008年，Dorigo等又提出了一种求解连续空间优化问题的扩展蚁群优化(Extension of Ant Colony Optimization,ACOr)算法，通过引入解存储器作为信息素模型,使用了连续概率分布取代 ACO 算法中离散概率分布，将基本蚁群算法的离散概率选择方式连续化，从而将其拓展到求解连续空间优化问题。

ACO 机理

蚂蚁的觅食行为实质上是一种通过简单个体的自组织行为所体现出来的一种群体行为，具有以下两个重要特征。

• 蚂蚁觅食的群体行为具有正反馈过程，反馈的信息是全局信息。通过反馈机制进行调整，可对系统的较优解起到自增强的作用。从而使问题的解向着全局最优的方向演变，最终获得全局最优解。
• 具有分布并行计算能力，可使算法全面地在多点同时进行解的搜索，有效地降低陷入局部最优解的可能性。

ACO 模型描述

ACO符号定义如下：

蚂蚁的动作规定：

• 从$i\to j$完成一次循环后在路径 $(i,j)$ 上释放信息素
• 蚂蚁以一定概率选择下一个要访问的城市，该概率是城市 $i$ 与 $j$ 之间路径存在信息素轨迹量的函数。
• 不允许蚂蚁访问已访问过的城市(TSP 问题所要求)。

ACO 移动策略

受信息素启发选择路径采用随机比例规则，在 $t$ 时刻,蚂蚁 $k$ 在城市 $i$ ，选择城市 $j$ 的转移概率 $p_{ij}^k(t)$为: p i j k ( t ) = { τ i j α ( t ) ⋅ η i j β ( t ) ∑ s ∈ a l l o w e d k τ i s α ( t ) ⋅ η i s β ( t ) j ∈ a l l o w e d k 0 o t h e r w i s e p^k_{ij}(t) =

pijk​(t)=⎩ ⎨ ⎧​∑s∈allowedk​​τisα​(t)⋅ηisβ​(t)τijα​(t)⋅ηijβ​(t)​0​j∈allowedk​otherwise​该式子表明转移概率 $p_{ij}^k(t)$ 与 ${\tau }_{ij}^{\alpha }(t)\cdot {\eta }_{ij}^{\beta }(t)$ 成正比。$\alpha ,\beta$ 分别反映蚂蚁在运动中所积累的信息和启发信息在选择路径中的相对重要性。

经过 n 时刻,蚂蚁完成一次循环,各路径上信息素调整为:$$\begin{gathered} ♣{\tau }_{ij}(t+1)=\rho \cdot {\tau }_{ij}(t)+△{\tau }_{ij}(t,t+1) \\ △{\tau }_{ij}(t,t+1)=\sum _{k=1}^m△{\tau }_{ij}^k(t,t+1) \end{gathered}$$$△{\tau }_{ij}^k(t,t+1)$ 是第 $k$ 只蚂蚁在 $(t,t+1)$ 时刻留在路径 $(i,j)$ 上的信息素量
$△{\tau }_{ij}(t,t+1)$ 为本次循环路径 $(i,j)$ 的信息素量的增量
$\rho$ 为路径上信息素的挥发系数 (通常取 $\rho <1$ )。

根据 $△{\tau }_{ij},△{\tau }_{ij}^k$ 及 $p_{ij}^k(t)$ 的表达形式的不同，Dorigo 定义了以下3种不同的蚂蚁系统模型。

• $Q$ 为一只蚂蚁经过路径$(i,j)$单位长度上释放的信息素量
• $\frac{Q}{d_{ij}}$为一只蚂蚁在经过路径$(i,j)$单位长度上释放的信息素量
• $\frac{Q}{L_k}$为第 $k$ 只蚂蚁在(t,t+n)经过 n 步的一次循环中走过路径$(i,j)$长度 $L_k$ 所释放的信息素量。
• 蚁密、蚁量系统模型中,利用的是局部信息
• 蚁周系统利用的是整体信息，蚁周系统模型也被称为基本蚁群算法。其更新公式由 $♣$ 变为$$\begin{gathered} {\tau }_{ij}(t,t+n)=\rho \cdot {\tau }_{ij}(t)+△{\tau }_{ij}(t,t+n) \\ △{\tau }_{ij}(t,t+n)=\sum _{k=1}^m△{\tau }_{ij}^k(t,t+n) \end{gathered}$$

---

粒子群优化算法（PSO）

粒子群优化(Particle Swarm Optimization,PSO)算法是在1995 年由美国社会心理学家 Kennedy 和电气工程师 Eberhart 共同提出的，又称为粒群算法、微粒群算法。

最初PSO算法模拟鸟群捕食的群体智能行为，它是以研究连续变量最优化问题为背景提出的。虽然PSO算法是针对连续优化问题而提出的，但通过二进制编码可以得到离散变量的PSO形式。因此，它也可以用于离散系统的组合优化问题求解，如用于求解 TSP 问题等。PSO还可以用于求解多目标优化、带约束优化、多峰函数优化、聚类、调度与规划、控制器参数优化等问题。

PSO 机理

PSO 利用生物学家 Heppner 的生物群体模型，模拟鸟类觅食等群体智能行为的进化算法。鸟类在飞行过程中是相互影响的，当一只鸟飞离鸟群而飞向栖息地时，将影响其他鸟也飞向栖息地。鸟类寻找栖息地的过程与对一个特定问题寻找解的过程相似。鸟的个体要与周围同类比较，模仿优秀个体的行为，因此可利用其解决优化问题，而人类的决策过程使用了两种重要的知识：一类是自己的经验；二是他人的经验。这样有助于提高决策的科学性。

PSO 设每个优化问题的解是搜索空间中的一只鸟，把鸟视为空间中的一个没有重量和体积的理想化“质点”，称为“粒子”或“微粒”，每个粒子都有一个由被优化函数所决定的适应度值，还有一个速度决定它们的飞行方向和距离。然后粒子通过追随当前的最优粒子在解空间中搜索最优解。

PSO 模型描述

在 $n$ 维搜索空间中，PSO的变量如下表所示

对于最小化问题,若 $f(X)$ 为最小化的目标函数，则微粒 $i$ 的当前最好位置由下式确定 P i ( t + 1 ) = { P i ( t ) f ( X i ( t + 1 ) ) ≥ f ( P i ( t ) ) X i ( t + 1 ) f ( X i ( t + 1 ) ) < f ( P i ( t ) ) P_i(t+1) =

Pi​(t+1)={Pi​(t)Xi​(t+1)​f(Xi​(t+1))≥f(Pi​(t))f(Xi​(t+1))<f(Pi​(t))​设群体中的粒子数为 $S$ ，群体中所有粒子所经历过的最好位置为 $P_g(t)$ ，称为全局最好位置： f ( P g ( t ) ) = min ⁡ { f ( P 1 ( t ) ) , f ( P 2 ( t ) ) , . . . , f ( P s ( t ) ) } f(P_g(t))=\min \{ f(P_1(t)),f(P_2(t)),...,f(P_s(t))\} f(Pg​(t))=min{f(P1​(t)),f(P2​(t)),...,f(Ps​(t))}基本粒子 $i$ 的更新方程可以描述为：$$\begin{gathered} v_{ij}(t+1)=v_{ij}(t)+C_1\cdot r_{1j}(t)\cdot (P_{ij}(t)-x_{ij}(t))+C_2\cdot r_{2j}\cdot (P_{gj}(t)-x_{ij}(t)) \\ {x}_{ij}(t+1)=x_{ij}(t)+v_{ij}(t+1) \end{gathered}$$上述式子表示粒子 $i$ 在搜索空间中以一定的速度飞行，这个速度要根据自身的飞行经历和同伴的飞行经历进行动态调整。

---

萤火虫群优化算法（GSO）

萤火虫群优化(Glowworm Swarm Optimization,GSO)算法是 2005 年由印度学者 Krishnanand 和 Ghose 在研究改进蚁群算法求解连续型最优化问题时提出的，并将其成功用于机器人群体协作。

该算法思想来源于萤火虫求偶行为中荧光素越高，吸引力越强的生物习性。他们对萤火虫群优化算法的动态决策做了改进，提出将萤火虫群优化算法用于多个移动信号源的追踪、多极值函数优化，并对该算法的收敛性理论做了研究。

GSO 机理

萤火虫通过闪光吸引异性求偶和猎取食物。萤火虫发的光越亮越绚丽，越能吸引同伴行为或食物。此外，闪烁也可以作为一个保护预警机制。有节奏的闪光，闪烁的速率与时间成为了吸引异性的信号。

• 萤火虫的闪光仅在一定的距离范围内可见。一方面是由于光强度和距离的平方存在反比关系；另一方面是由于空气会吸收光。
• 萤火虫个体的荧光素大小与自己所在位置的目标函数有关，荧光素越大、越亮的萤火虫表示它所在的位置越好，即有较好的目标值。
• 萤火虫会在决策域内寻找邻居，并且荧光素越大的邻居拥有越高的吸引力，吸引萤火虫往这个方向移动，每一次移动的方向会随着选择的邻居不同而改变。
• 决策域的大小会受到邻居数量的影响：邻居密度越小，萤火虫的决策半径会加大以便寻找更多的邻居；邻居密度越大，它的决策半径则会缩小。

GSO 模型描述

设有 $D$ 维目标搜索空间，GSO变量如下

GSO 算法每一次迭代都由两个阶段组成：第一阶段是荧光素更新阶段；第二阶段是萤火虫的运动阶段。其具体算法包括萤火虫的初始分布、荧光素更新、路径选择、位置更新和决策域更新。

荧光素更新：$$l_i(t)=(1-\rho )l_i(t-1)+\gamma J(x_i(t))$$
每个个体在其动态决策域半径 $r_d^i$ 之内，选择荧光素值比自己高的个体组成其邻域集 $$N_i(t)=j:d_{ij}(t)<d_d^i(t);l_i(t)<l_j(t)$$即当萤火虫 $j$ 的荧光素值大于萤火虫 $i$ 的荧光素，且萤火虫 $j$ 与萤火虫 $i$ 之间的距离小于萤火虫 $i$ 所在邻域的决策范围时，将萤火虫 $j$ 划分到萤火虫 $i$ 所在的邻域。移向邻域集 $N_i(t)$ 内个体 $j$ 的路径选择概率为：$$p_{ij}(t)=\frac{l_j(t)-l_i(t)}{{\sum }_{k\in N_i(t)}(l_k(t)-l_i(t))}$$位置更新:$$x_i(t+1)=x_i(t)+s(\frac{x_j(t)-x_i(t)}{||x_j(t)-x_i(t)||})$$$||\cdot ||$为标准欧氏距离运算符。
决策域更新： r d i ( t + 1 ) = min ⁡ { r s , max ⁡ { 0 , r d i ( t ) + β ( n t − ∣ N i ( t ) ∣ ) } } r_d^i(t+1)=\min \{ r_s,\max\{ 0,r_d^i(t)+\beta(n_t-|N_i(t)|)\}\} rdi​(t+1)=min{rs​,max{0,rdi​(t)+β(nt​−∣Ni​(t)∣)}}

萤火虫群优化算法的实现步骤如下：

1. 初始化各个参数。控制萤火虫邻居数目的邻域阈值 $n_t$；萤火虫移动的步长 $s$；初始荧光素的值 $l_0$; 控制邻居变化范围的参数 $\beta$；控制荧光素值的参数 $\rho$；光素更新率 $\gamma$ ;初始化萤火虫的位置。
2. 对每一个萤火虫 $i$ 更新荧光素的值
3. 进入移动阶段，选出符合条件的萤火虫
4. 用轮盘赌法选择出目标函数值较大的萤火虫 $j(j\in N_i(t))$
5. 更新萤火虫的位置
6. 更新决策域
7. 一次迭代完成,进入下一次迭代,判断是否满足终止条件,满足退出循环；否则转到步骤2。

---

群智能优化算法

模拟动物群体(或个体)的觅食、繁殖、猎等行为的群智能优化算法在智能优化算法中占有很大篇幅。这不仅因为自然界的动物种类繁多，而且还因为各类动物的习性、生存行为各异有的生存在地下巢穴中，有的在地上爬，有的在空中飞，有的在水中游；有小到人眼无法看见的病毒，也有重达几吨的庞然大物等。
人们通过观察不同的动物，设计了非常多的群智能优化算法，截至目前，大约有数百种从动物身上汲取经验思想的算法，更多有趣的算法思想也在不断涌现。本文篇幅有限，加之作者对文献的搜集精力有限，这里罗列了数篇相关的群智能算法链接，有兴趣的小伙伴可以下载看看。