基于二分图的群体追逃博弈任务分配算法
Task Allocation Algorithm for Group Pursuit-Evasion Game Based on Bipartite Graph
摘要: 本文考察群体追逃博弈中追逐者的任务分配问题。通过构建二分图,设计全新算法对追逐者进行任务分配,将群体追逃博弈转化成多个多追一博弈。在多追一情形下给出了追逐者及逃避者的最优策略。运用本文所建立的算法,在考虑扰动因素的情形下,原本冗余的追逐者有可能转化为积极的追逐者。数值算例验证了任务分配的可行性及稳定性。
Abstract: This paper examines the task assignment of chasers in a group pursuit-evasion game. By constructing a bipartite graph, a new algorithm is designed to assign tasks to the chasers, and the group pursuit-evasion game is transformed into a game of multiple chases. In the case of chasing more than one, the optimal strategies of chasers and evaders are given. Using the algorithm established in this paper, under the condition of considering disturbance factors, the original redundant chasers may be transformed into active chasers. Numerical examples verify the feasibility and stability of task assignment.
文章引用:游志航, 于洋, 苏昂, 党志清. 基于二分图的群体追逃博弈任务分配算法[J]. 理论数学, 2022, 12(10): 1550-1563. https://doi.org/10.12677/PM.2022.1210168

1. 引言

追逃博弈(Pursuit-Evasion Games)是一类特殊的零和博弈,其中追逐者(Pursuer)致力于在最短的时间内将状态引导到一个给定的目标,而他的对手逃避者(Evader)则希望尽力延迟被捕获。文献 [1] 总结追逃博弈的近期研究成果,包括一追一博弈、多追一博弈和多追多博弈等。涉及多个追逐者和逃避者的群体追逃问题(MPNE)是目前应用最广泛的领域之一,军事上无人机集群的作战、自然界动物间的捕食猎杀都可作为群体追逃博弈的例子。文献 [2] 研究追逐者与逃避者最大速度相等情形下的多追一博弈,分别给出追逐者保证捕获和逃避者保证逃跑的条件。文献 [3] [4] 研究逃避者具有速度优势的多追一博弈,文献 [3] 考察追逐者与逃避者的最优策略,文献 [4] 关注捕获发生的条件。文献 [5] 运用几何方法研究时间最优的多追一博弈,并给出求解追逃双方最优策略的算法。文献 [6] 给出时间最优的多追一博弈的全局Stackelberg解(Global Stackelberg Solution),并证明解的鲁棒性。

近年来,群体追逃博弈的主要解决方法是把复杂的多追多博弈转化成多个一追一(1P1E)或多追一(MP1E)博弈,这必然涉及到追逐者的任务分配问题。文献 [7] [8] [9] [10] 使用Voronoi图解决任务分配问题。文献 [7] 提出一种在整个空间上构建追逐者的Voronoi图的算法,把多追一博弈转化为地区分配问题加以解决。文献 [8] 使用动态Voronoi图研究接力追逃博弈,给出追逐者的任务分配方案。文献 [9] 以 [8] 为基础研究动态流场环境下的接力追逃博弈,给出追逐者的任务分配,同时保证任务分配随时间动态更新。文献 [10] 研究三维动态流场环境下的群体追逃博弈,并基于Voronoi图设计算法对追逐者进行任务分配。文献 [11] 通过构建追逐者与逃避者之间的通讯图(Communication Graphs)对追逐者进行任务分配,求解零和情形下的最大最小策略,并给出非合作情形下群体追逃博弈的纳什均衡。文献 [12] 运用Apollonius圆作为工具求解具有边界限制的追逃博弈,给出一追一博弈追逃双方的最优策略,并把结论推广到多追一、多追多博弈。文献 [13] 研究追逐者策略集受限制情形下的任务分配问题,并提出将“积极(Active)”与“冗余(Redundant)”的概念应用到分配问题中。

文献 [12] 中的最优策略在多追一博弈中被证明是有效的,但把结论扩展到多追多博弈中时,空间的维度和局中人的数目增加导致计算难度增大。此时一种可行的方法是将群体追逃博弈转化为多个一追一或多追一子博弈,在每个时刻为每个追逐者分配一个逃避者作为目标。即使这种方法只会得到局部最优解(Sub-optimal Solution),在追逐者和逃避者规模较大时这是可接受的。本文的主要目的是针对实际应用场景,考虑到追逐者可能发生机械故障等意外情况,为最小化这种情况产生的影响,提出一种任务分配算法,并在考察扰动因素的情形下验证冗余的追逐者在使用该算法的情形下有可能会转化为积极的追逐者。

本文的其余部分安排如下:第2节对多追多博弈进行描述;第3节定义预计捕获时间,给出多追一博弈中追逐者与逃避者的最优策略;第4节中以预计捕获时间为指标,利用Kuhn-Munkres算法为每个追逐者分配一个逃避者作为目标,将群体追逃博弈划分为多个一追一或多追一子博弈;第5节使用数值算例验证了任务分配的可行性,并在有扰动因素的情形下验证了冗余的追逐者有可能会转化为积极的追逐者;第6节对全文进行总结并提出后续研究方向。

2. 问题描述

本节考察M个追逐者和N个逃避者参与的追逃微分博弈,记为 Γ ( M , N ) ,博弈发生在2维欧式空间上且无边界。本文假设追逐者知道逃避者的最优策略,所考察的模型事实上成为Stackelberg博弈。追逃双方均具有简单运动的性质,即能够无约束地瞬时改变前进方向。其中追逐者的目的是捕获所有逃避者,捕获的方式为点捕获,即某个追逐者与逃避者的位置重合;与之相反,逃避者的目的是尽可能防止被捕获。记第i个追逐者为 P i ,第j个逃避者为 E j

追逐者与逃避者的状态方程如下:

x ˙ i p ( t ) = v p cos ϕ i ( t ) , x i p ( t 0 ) = x i 0 p , y ˙ i p ( t ) = v p sin ϕ i ( t ) , y i p ( t 0 ) = y i 0 p , i = 1 , , M , x ˙ j e ( t ) = v e cos ψ j ( t ) , x j e ( t 0 ) = x j 0 e , y ˙ j e ( t ) = v e sin ψ j ( t ) , y j e ( t 0 ) = y j 0 e , j = 1 , , N , (1)

其中 p i ( t ) = ( x i p ( t ) , y i p ( t ) ) R 2 e j ( t ) = ( x j e ( t ) , y j e ( t ) ) R 2 分别表示追逐者 P i ,逃避者 E j 在t时刻的位置, p i ( t 0 ) = ( x i p ( t 0 ) , y i p ( t 0 ) ) R 2 e j ( t 0 ) = ( x j e ( t 0 ) , y j e ( t 0 ) ) R 2 分别为追逐者 P i ,逃避者 E j 在初始时刻 t 0 的位置。 ϕ i ( t ) ψ j ( t ) [ π , π ) 分别表示追逐者 P i ,逃避者 E j 的输入控制,追逃双方通过在每个时刻选择策略控制前进方向。常量 v p v e 是追逐者与逃避者的线速度,本文假设 v p > v e ,以保证点捕获一定会在有限时间内发生。记捕获逃避者 E j 所用时间为

T j = min { t | i { 1 , , M } , ρ ( p i ( t ) , e j ( t ) ) = 0 } , (2)

其中 ρ ( p i ( t ) , e j ( t ) ) = ( x j e ( t ) x i p ( t ) ) 2 + ( y j e ( t ) y i p ( t ) ) 2 表示 P i E j 在t时刻的距离。

所有逃避者均被捕获时博弈终止,终止时刻

T = max { T j } , j = 1 , , N . (3)

定义 Γ ( M , N ) 的值函数

V = min ϕ i ( t ) max ψ j ( t ) j = 1 N T j , i = 1 , 2 , , M ; j = 1 , 2 , , N . (4)

对于较大的 M , N ,直接求解(4)式得到追逃双方的最优策略在实际应用中是不可行的,本文通过如下步骤求解追逃双方的局部最优策略(Sub-optimal Strategy):

步骤1 在 Γ ( M , N ) ( M N > 1 ) 中,为每个追逐者分配一个逃避者作为目标,将 Γ ( M , N ) 划分为N个一追一或多追一子博弈。

步骤2 在 Γ ( M , 1 ) ( M > 1 ) 中,考察追逐者知道逃避者的最优策略的情形,给出追逐者和逃避者的最优策略。

3. 多追一博弈

3.1. 追逃双方的最优控制求解

本节考察由M个追逐者和1个逃避者参与的博弈 Γ ( M , 1 ) 。不失一般性,记逃避者为 E 1 ,距离最近的追逐者为 P I ( I { 1 , , M } ) ,追逃双方从初始时刻开始,每经过一次时间步长为 Δ t 的迭代需要输入一次控制。由于 v p v e 是常量,求解最短捕获时间的控制等价于求解距离下降最快的控制。故逃避者 E 1 的目的是在已知状态 p I = p I ( t ) p i = p i ( t ) ( i = 1 , , M , i I ) e 1 = e 1 ( t ) 和步长 Δ t 情形下选择策略 ψ 1 = ψ 1 ( t ) 使得自身尽可能远离最近的追逐者,即逃避者 E 1 的值函数可设为

V e 1 ( p I , e 1 ; ψ 1 ) = max ψ 1 ρ ( p I , e 1 ( t + Δ t ) ) , (5)

其中

ρ ( p I , e 1 ( t + Δ t ) ) = ( x 1 e + Δ t v e cos ψ 1 x I p ) 2 + ( y 1 e + Δ t v e sin ψ 1 y I p ) 2 .

下面寻找使逃避者值函数最大化的策略,令 ρ ψ 1 求偏导等于0,得

ρ ψ 1 = 2 ( x 1 e + Δ t v e cos ψ 1 x I p ) × ( Δ t v e sin ψ 1 ) 2 ρ ( p I , e 1 ( t + Δ t ) ) + 2 ( y 1 e + Δ t v e sin ψ 1 y I p ) × Δ t v e cos ψ 1 2 ρ ( p I , e 1 ( t + Δ t ) ) = 0 , (6)

sin ψ 1 * cos ψ 1 * = y 1 e y I p x 1 e x I p . (7)

解上式可得

ψ 1 * = arctan2 y 1 e y I p x 1 e x I p . (8)

由(8)式可知,逃避者的最优策略跟自身位置 e 1 及距其最近的追逐者的位置 p I 有关。

追逐者 P i ( i = 1 , , M ) 的目的是在已知状态 p I = p I ( t ) p i = p i ( t ) ( i = 1 , , M , i I ) e 1 ( t ) ,步长 Δ t 和逃避者的最优策略 ψ 1 * 的情形下选择策略 ϕ i 使自身尽可能接近逃避者 E 1 ,即追逐者 P i ( i = 1 , , M ) 的值函数可设为

V p i ( p i , e 1 ; ϕ i ) = min ϕ i ρ ( p i ( t + Δ t ) , e 1 ( t + Δ t ) ) , (9)

其中

ρ ( p i ( t + Δ t ) , e 1 ( t + Δ t ) ) = ( x 1 e + Δ t v e cos ψ 1 * x I p Δ t v p cos ϕ i ) 2 + ( y 1 e + Δ t v e sin ψ 1 * y I p Δ t v p sin ϕ i ) 2 .

寻找使追逐者值函数最小化的策略,令 ρ ϕ i 求偏导等于零,得

ρ ϕ i = 2 ( x 1 e + Δ t v e cos ψ 1 * x I p Δ t v p cos ϕ i ) × Δ t v p sin ϕ i 2 ρ ( p i ( t + Δ t ) , e 1 ( t + Δ t ) ) + 2 ( y 1 e + Δ t v e sin ψ 1 * y I p Δ t v p sin ϕ i ) × ( Δ t v p cos ϕ i ) 2 ρ ( p i ( t + Δ t ) , e 1 ( t + Δ t ) ) = 0 , (10)

sin ϕ i * cos ϕ i * = y 1 e + v e sin ψ 1 * y I p x 1 e + v e cos ψ 1 * x I p . (11)

解上式可得

ϕ i * = arctan 2 y 1 e + v e sin ψ 1 * y I p x 1 e + v e cos ψ 1 * x I p . (12)

由(12)式可知,追逐者 P i 的最优策略跟自身位置 p i 及逃避者的位置 e 1 和逃避者的最优策略 ψ 1 * 有关。

3.2. 最优控制的几何解释

本节使用Apollonius圆 [14] 来描述(12)式。Apollonius圆是一组到两定点距离满足给定比值的点集。设追逐者 P i 和逃避者 E j 的位置为 p i ( t ) = ( x i p ( t ) , y i p ( t ) ) e j ( t ) = ( x j e ( t ) , y j e ( t ) ) ,记追逐者 P i 和逃避者 E j 对应的Apollonius圆为 A i j ( t ) ,圆心位于 O i j ( t ) = ( x j e α 2 x i p 1 α 2 , y j e α 2 y i p 1 α 2 ) ,半径为 r i j ( t ) = α 1 α 2 ρ ( p i , e j ) u ( t ) 是Apollonius圆 A i j ( t ) 上的某一点,常量 α = ρ ( u , e j ) ρ ( u , p i ) = v e v p < 1 。假设 E j 在t时刻选择沿方向 ψ 1 ( t ) 逃跑, P i 都有一个对应的方向 ϕ i ( ψ 1 ( t ) ) 保证其在Apollonius圆 A i j ( t ) 上的某一点 p i ( T j i ) 处捕获 E j

定义预计捕获时间 T j i 为追逐者 P i 预计捕获逃避者 E j 的时刻,则有 T j = min { T j i } , i = 1 , , M 。其中 T j i 满足

ρ ( p i ( T j i ) , e j ( T j i ) ) = 0 , ρ ( e j ( T j i ) , e j ) ρ ( p i ( T j i ) , p i ) = v e v p , (13)

可得

T j i = ρ ( p i ( T j i ) , p i ) v p . (14)

对于上式,可以通过联立Apollonius圆的方程与逃避者的速度方向所在直线方程,求得两个交点,

并选取使 T j i 值较大的点作为 p i ( T j i ) ,进而可以求得 T j i 的值。因此可以将追逐者 P i 的最优策略改写为

ϕ i * = arctan x i p ( T j i ) x i p y i p ( T j i ) y i p , i = 1 , , M . (15)

至此本节完成 Γ ( M , 1 ) 追逃双方最优策略的求解:考察由M个追逐者和1个逃避者参与的博弈 Γ ( M , 1 ) ,给定任意 t [ t 0 , T 1 ] 时刻所有局中人的位置,假设逃避者 E 1 和追逐者 P i 的值函数分别为(5)和(9)式,则逃避者 E 1 在t时刻的最优策略为(8)式,追逐者 P i 在t时刻的最优策略为(15)式。

图1直观地描述了博弈 Γ ( 2 , 1 ) ,可以看出 e 1 ( t 0 ) p 1 ( T 1 1 ) p 2 ( T 1 2 ) 三点共线,由于 p 2 ( T 1 2 ) 距离 e 1 ( t 0 ) 更近,假设所有人均不改变速度方向,追逐者 P 2 将在 p 2 ( T 1 2 ) 处捕获逃避者,捕获时间为 T 1 2

注1 需要特别说明的是,双方的最优策略是具有反馈性质的,当某个时刻距离最小的追逐者与上个时刻不同时,追逃双方通过重新计算(8)和(15)式动态更新最优策略。

注2 当某个t时刻有多个追逐者与逃避者 E 1 的距离同为最小值时,值函数 V e 1 不满足连续可微,故 E 1 在t时刻选择随机方向前进。追逐者 P i ( i = 1 , , M ) 在t时刻无法知道 E 1 的最优策略,故 P i ( i = 1 , , M ) 选择

ϕ i * = arctan 2 y 1 e y i p x 1 e x i p . (16)

作为(15)式的替代。在t时刻双方都不是最优策略,但是当步长 Δ t 0 时,双方的策略对捕获时间 T 1 的影响可以忽略。

注3 在逃避者 E 1 选择最优策略的情形下,每个时刻只有距离最近的追逐者 P I 和预计捕获时间 T j i 最短的追逐者 P i 会对捕获时间 T 1 产生影响。

Figure 1. The optimal strategy of chasing and fleeing in game Γ ( 2 , 1 )

图1. 博弈 Γ ( 2 , 1 ) 中追逃双方的最优策略

4. 群体追逃博弈任务分配

本节考察由M个追逐者和N个逃避者参与的博弈 Γ ( M , N ) ( M N > 1 ) ,主要研究追逐者的任务分配问题。

4.1. 二分图的构建

构建 Γ ( M , N ) 对应的二分图 [15] G = ( V , E , A ) ,其中顶点集 V = { V p 1 , , V p M , V e 1 , , V e N } 表示M个追逐者和N个逃避者的顶点集合,它可以分为两个子集 V 1 = { V p 1 , , V p M } V 2 = { V e 1 , , V e N } ,记顶点 V p i V e j 之间有边 E i j ,故边集 E = { E i j | i = 1 , , M ; j = 1 , , N } ,同时边 E i j 上有权值 a i j ,权矩阵 A = { a i j | i = 1 , , M ; j = 1 , , N }

构建 Γ ( M , N ) 对应的任务分配矩阵 μ M × N = { μ i j | i = 1 , , M ; j = 1 , , N } ,如果将逃避者 E j 分配给追逐者 P i ,则 μ i j = 1 ,否则 μ i j = 0 。这里规定一个追逐者只能选择一个逃避者作为目标,即

j = 1 N μ i j 1 , i = 1 , 2 , , M .

4.2. 基于扰动因素的冗余追逐者的任务分配策略

由注3得到,在逃避者选择最优策略的情形下, Γ ( M , 1 ) ( M > 1 ) 中至多有 M 1 个追逐者可以认为是冗余的,他们对捕获时间没有影响。

下面考察具有扰动因素的群体追逃博弈 Γ ˜ ( M , N ) ( M N ) 。假设每个追逐者在博弈开始后均有概率发生故障,导致其无法继续参与博弈。

任务分配 K = ( k 1 , k 2 , , k N ) 是一个N维向量,其中 k j 表示分配给逃避者 E j 的追逐者的个数, j = 1 , , N 。分配给逃避者 E j 的追逐者发生故障的个数可以视为离散随机变量 X j 。假设 X j 服从参数为 k j ε 的二项分布,记为 X j ~ B ( k j , ε ) ,其中 ε 为每个追逐者发生故障的概率。

定义事件Z:每个逃避者在博弈开始后至少分配到1个追逐者进行追逐,则

P ( Z ) = j = 1 N P ( X j k j 1 ) = j = 1 N ( 1 ε k j ) . (17)

下面寻找使事件Z发生概率最大的分配K,即求解非线性规划问题

max k j P ( Z ) , s .t . k 1 + k 2 + + k N = M , k j 1 , j = 1 , , N . (18)

由(17)式得

ln P ( Z ) = j = 1 N ln ( 1 ε k j ) . (19)

f ( x ) = 1 ε x ,由 f ( x ) < 0 f ( x ) 是上凸函数,可得 ln f ( x ) 也是上凸函数,那么有

j = 1 N ln f ( k j ) N ln f ( j = 1 N k j N ) = ln f ( M N ) (20)

当且仅当 k 1 = k 2 = = k N = M N 时等号成立,此时 P ( Z ) 取最大值,因此在进行任务分配时应尽可能平均分配追逐者。

4.3. 基于二分图的任务分配

设追逐者 P i 预计捕获逃避者 E j 的时间为 T j i ,给出任意时刻所有追逐者和逃避者的位置,求解所有 T j i ,并作为权值记录到二分图G中。不断调用Kuhn-Munkres算法 [15],从未分配的追逐者中选择预计捕获时间总和最小的N个追逐者分别分配给对应的逃避者,将已分配的追逐者和与之相关的边从二分图G中删去,直到任务分配结束为止。

本文建立BGBTA (Bipartite Graph Based Target Assignment),尝试刻画整个追逃博弈及其相应的动态任务分配过程。

BGBTA

Input 追逐者与逃避者的数目 M , N ,初始状态 p i ( t 0 ) , e j ( t 0 ) , i = 1 , , M ; j = 1 , , N ,迭代步长 Δ t

Step 1 为每个逃避者 E j 计算最近的追逐者 P I j

Step 2 根据初始状态计算所有预计捕获时间 T j i

Step 3 构建二分图G。

Step 4 调用Kuhn-Munkres算法,从未分配追逐者集合中选出最多N个追逐者,为每个逃避者分配一个追逐者,将已分配的追逐者和与之相关的边从图上删去,更新二分图G,直到所有追逐者均已分配。

Step 5 每个逃避者选择(8)式作为策略,每个追逐者选择(15)式作为策略。直到某个时刻存在某个逃避者的最近的追逐者与上个时刻不同或博弈终止。

Step 6 如果博弈终止,则算法终止;否则转Step 1。

事实上,只需要将追逐者与逃避者的数目 M , N ,初始状态 p i ( t 0 ) , e j ( t 0 ) , i = 1 , , M ; j = 1 , , N ,迭代步长 Δ t 输入BGBTA,它能将 Γ ( M , N ) 按照逃避者划分为N个多追一子博弈,并使事件Z发生的概率最大。每个子博弈中追逃双方使用第3节给出的最优策略,进而得到一个MPNE问题的局部最优解,且最优策略在迭代过程中实现动态更新。

5. 数值算例

本节给出追逐者与逃避者数目分别为 M = N N = 2 N M = 5 N 的数值算例,并考虑扰动因素。求解所有预计捕获时间 T j i ,作为权值记录到二分图G。依次给出任务分配的二分图、任务分配矩阵、追逃双方的运动轨迹,计算全部逃避者被捕获的时间总和T。设追逐者速度为 α = 1 m / s ,逃避者速度为 β = 0.6 m / s ,迭代步长 Δ t = 0.1 s

5.1. M = N 情形

追逐者数量 M = 3 ,逃避者数量 N = 3 。追逐者与逃避者的初始状态分别为

p 1 ( t 0 ) = ( 4 , 28 ) , p 2 ( t 0 ) = ( 19 , 3 ) , p 3 ( t 0 ) = ( 25 , 5 ) , e 1 ( t 0 ) = ( 22 , 1 ) , e 2 ( t 0 ) = ( 9 , 2 ) , e 3 ( t 0 ) = ( 3 , 25 ) .

由BGBTA得到 t 0 时刻追逐者任务分配的二分图及其相应的任务分配矩阵如图2所示,追逐者和逃避者的运动轨迹如图3所示。

μ 3 × 3 = ( 0 0 1 0 1 0 1 0 0 ) T

Figure 2. Bipartite graph of task assignments of chasers in Γ ( 3 , 3 ) and their task assignment matrix

图2. Γ ( 3 , 3 ) 中追逐者任务分配的二分图及其任务分配矩阵

Figure 3. The trajectory of the chasing and fleeing parties in Γ ( 3 , 3 )

图3. Γ ( 3 , 3 ) 中追逃双方的运动轨迹

5.2. M = 2 N 情形

追逐者数量 M = 6 ,逃避者数量 N = 3 。追逐者与逃避者的初始状态分别为

p 1 ( t 0 ) = ( 4 , 28 ) , p 2 ( t 0 ) = ( 19 , 3 ) , p 3 ( t 0 ) = ( 25 , 5 ) , p 4 ( t 0 ) = ( 9 , 17 ) , p 5 ( t 0 ) = ( 5 , 30 ) , p 6 ( t 0 ) = ( 20 , 6 ) , e 1 ( t 0 ) = ( 22 , 1 ) , e 2 ( t 0 ) = ( 9 , 2 ) , e 3 ( t 0 ) = ( 3 , 25 ) .

由BGBTA得到 t 0 时刻追逐者任务分配的二分图及其相应的任务分配矩阵如图4所示,追逐者和逃避者的运动轨迹如图5所示。

μ 6 × 3 = ( 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 ) T

Figure 4. Bipartite graph of task assignments of chasers in Γ ( 6 , 3 ) and their task assignment matrix

图4. Γ ( 6 , 3 ) 中追逐者任务分配的二分图及其任务分配矩阵

Figure 5. The trajectory of the chasing and fleeing parties in Γ ( 6 , 3 )

图5. Γ ( 6 , 3 ) 中追逃双方的运动轨迹

5.3. M = 5 N 情形

追逐者数量 M = 15 ,逃避者数量 N = 3 。追逐者与逃避者的初始状态分别为

p 1 ( t 0 ) = ( 25 , 28 ) , p 2 ( t 0 ) = ( 4 , 28 ) , p 3 ( t 0 ) = ( 19 , 3 ) , p 4 ( t 0 ) = ( 9 , 17 ) , p 5 ( t 0 ) = ( 29 , 29 ) , p 6 ( t 0 ) = ( 5 , 30 ) , p 7 ( t 0 ) = ( 29 , 15 ) , p 8 ( t 0 ) = ( 25 , 5 ) , p 9 ( t 0 ) = ( 13 , 28 ) , p 10 ( t 0 ) = ( 24 , 29 ) , p 11 ( t 0 ) = ( 30 , 3 ) , p 12 ( t 0 ) = ( 12 , 29 ) , p 13 ( t 0 ) = ( 21 , 23 ) , p 14 ( t 0 ) = ( 23 , 12 ) , p 15 ( t 0 ) = ( 20 , 6 ) , e 1 ( t 0 ) = ( 22 , 1 ) , e 2 ( t 0 ) = ( 9 , 2 ) , e 3 ( t 0 ) = ( 3 , 25 ) .

由BGBTA得到 t 0 时刻追逐者任务分配的二分图及其相应的任务分配矩阵如图6所示,追逐者和逃避者的运动轨迹如图7所示。

μ 15 × 3 = ( 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 ) T

Figure 6. The bipartite graph of the task assignment of the chaser in Γ ( 15 , 3 ) and its task assignment matrix

图6. Γ ( 15 , 3 ) 中追逐者任务分配的二分图及其任务分配矩阵

Figure 7. The trajectory of the pursuit and escape in Γ ( 15 , 3 )

图7. Γ ( 15 , 3 ) 中追逃双方的运动轨迹

5.4. 加入扰动因素情形

下面考察具有扰动因素的群体追逃博弈,假设追逐者 P 8 在3 s时发生故障,无法继续参与博弈。由BGBTA得到 Γ ˜ ( 6 , 3 ) Γ ˜ ( 15 , 3 ) 追逐者和逃避者的运动轨迹分别如图8图9所示。其中追逐者任务分配的二分图及其任务分配矩阵与不加入扰动因素时相同。

Figure 8. The trajectories of the chasing and fleeing parties in Game Γ ˜ ( 6 , 3 ) with disturbance factors

图8. 具有扰动因素的博弈 Γ ˜ ( 6 , 3 ) 中追逃双方运动轨迹

Figure 9. The trajectories of chasing and fleeing parties in Game Γ ˜ ( 15 , 3 ) with disturbance factors

图9. 具有扰动因素的博弈 Γ ˜ ( 15 , 3 ) 中追逃双方运动轨迹

5.5. 结果分析

表1给出五种情形下的捕获时间,表2给出五种情形下的任务分配。由表2 Γ ( 15 , 3 ) 使用BGBTA时最先分配的3个追逐者与 Γ ( 3 , 3 ) 相同, Γ ( 15 , 3 ) 使用BGBTA时最先分配的6个追逐者与 Γ ( 6 , 3 ) 相同。根据表1表2,分配2个追逐者捕获 E 1 的时间小于分配1个追逐者捕获 E 1 的时间,而分配5个追逐者捕获 E 1 的时间和分配2个追逐者相同,这说明 P 8 P 15 是积极的, P 11 P 13 P 10 是冗余的。

类似地,对于 E 2 ,分配2个追逐者捕获 E 1 的时间小于分配1个追逐者捕获 E 1 的时间,而分配5个追逐者捕获 E 1 的时间和分配2个追逐者相同,这说明 P 3 P 4 是积极的, P 5 P 7 P 1 是冗余的。对于 E 3 ,分配1个追逐者和5个追逐者捕获时间没有差别,这同样说明 P 2 是积极的, P 6 P 9 P 12 P 14 是冗余的。综上,在 Γ ( 15 , 3 ) 中15个追逐者只有 P 2 P 3 P 4 P 8 P 15 是积极的,其余10个追逐者是冗余的。

针对具有扰动因素的情形, Γ ˜ ( 6 , 3 ) 中3s后由 P 8 P 15 等2个追逐者追逐 E 1 变为 P 15 独自追逐,最后捕获 E 1 的时间大于 Γ ( 6 , 3 ) ,但小于 Γ ( 3 , 3 ) ,这说明 P 8 P 15 是积极的。但是,在 Γ ˜ ( 15 , 3 ) 中3 s后由 P 8 P 15 等5个追逐者追逐 E 1 变为 P 15 等4个追逐者追逐,最后捕获 E 1 的时间大于 Γ ( 6 , 3 ) ,但小于 Γ ˜ ( 6 , 3 ) ,这说明在 Γ ( 15 , 3 ) 中冗余的 P 11 Γ ˜ ( 15 , 3 ) 中转化为了积极的追逐者。

Table 1. Capture time of the group pursuit-evasion game in five scenarios

表1. 五种情形下的群体追逃博弈的捕获时间

Table 2. Task assignment of the group pursuit-evasion game in five scenarios

表2. 五种情形下的群体追逃博弈的任务分配

6. 结论

本文的主要贡献是针对追逐者已知逃避者最优策略情形下的群体追逃博弈,在构建二分图的基础上,设计算法对追逐者进行任务分配,进而将群体追逃博弈转化成多个一追一或多追一子博弈。在多追一子博弈中借助Apollonius圆给出追逐者及逃避者在任意时刻的最优策略,进而得到群体追逃博弈的一个局部最优解。由数值算例分析可得,在群体追逃博弈 Γ ( M , N ) 中,若博弈双方均采取最优策略,最多能有 M N 个追逐者可以视为冗余的。针对实际应用场景,考虑到追逐者可能发生机械故障等意外情况,为最小化这种情况产生的影响,本文为所有追逐者都分配了目标。本文所建立算法的优越性在于,在考虑扰动因素的情形下,原本冗余的追逐者有可能转化为积极的追逐者。

后续的研究工作包括以下几个方向:一是研究空间中具有障碍情形下的群体追逃博弈;二是研究追逐者和/或逃避者速度不一致情形下的群体追逃博弈;三是在高维空间中研究考察上述情形。

参考文献

[1] Weintraub, I.E., Pachter, M. and Garcia, E. (2020) An Introduction to Pursuit-Evasion Differential Games. 2020 IEEE American Control Conference (ACC), Denver, 1-3 July 2020, 1049-1066.
https://doi.org/10.23919/ACC45564.2020.9147205
[2] Pshenichnyi, B.N. (1976) Simple Pursuit by Several Ob-jects. Cybernetics, 12, 484-485.
https://doi.org/10.1007/BF01070036
[3] Jin, S. and Qu, Z. (2010) Pursuit-Evasion Games with Multi-Pursuer vs. One Fast Evader. 2010 8th World Congress on Intelligent Control and Automation IEEE, Jinan, 6-9 July 2010, 3184-3189.
[4] Chen, J., Zha, W., Peng, Z. and Gu, D. (2016) Multi-Player Pursuit-Evasion Games with One Superior Evader. Automatica, 71, 24-32.
https://doi.org/10.1016/j.automatica.2016.04.012
[5] Von Moll, A., Casbeer, D.W., Garcia, E. and Milutinović, D. (2018) Pursuit-Evasion of an Evader by Multiple Pursuers. 2018 International Conference on Unmanned Aircraft Systems (ICUAS) IEEE, Dallas, 12-15 June 2018, 133-142.
https://doi.org/10.1109/ICUAS.2018.8453470
[6] Von Moll, A., Pachter, M., Garcia, E., Casbeer, D.W. and Milutinović, D. (2020) Robust Policies for a Multiple-Pursuer Single-Evader Differential Game. Dynamic Games and Applications, 10, 202-221.
https://doi.org/10.1007/s13235-019-00313-3
[7] Bakolas, E. and Tsiotras, P. (2010) The Zermelo-Voronoi Dia-gram: A Dynamic Partition Problem. Automatica, 46, 2059-2067.
https://doi.org/10.1016/j.automatica.2010.09.003
[8] Bakolas, E. and Tsiotras, P. (2012) Relay Pursuit of a Ma-neuvering Target Using Dynamic Voronoi Diagrams. Automatica, 48, 2213-2220.
https://doi.org/10.1016/j.automatica.2012.06.003
[9] Sun, W. and Tsiotras, P. (2017) Sequential Pursuit of Mul-tiple Targets under External Disturbances via Zermelo-Voronoi Diagrams. Automatica, 81, 253-260.
https://doi.org/10.1016/j.automatica.2017.03.015
[10] Sun, W., Tsiotras, P. and Yezzi, A.J. (2019) Multiplayer Pursuit-Evasion Games in Three-Dimensional Flow Fields. Dynamic Games and Applications, 9, 1188-1207.
https://doi.org/10.1007/s13235-019-00304-4
[11] Lopez, V.G., Lewis, F.L., Wan, Y., Sanchez, E.N. and Fan, L. (2019) Solutions for Multiagent Pursuit-Evasion Games on Communication Graphs: Finite-Time Capture and Asymp-totic Behaviors. IEEE Transactions on Automatic Control, 65, 1911-1923.
https://doi.org/10.1109/TAC.2019.2926554
[12] Garcia, E., Casbeer, D.W., Von Moll, A. and Pachter, M. (2020) Multiple Pursuer Multiple Evader Differential Games. IEEE Transactions on Automatic Control, 66, 2345-2350.
https://doi.org/10.1109/TAC.2020.3003840
[13] Makkapati, V.R. and Tsiotras, P. (2019) Optimal Evading Strategies and Task Allocation in Multi-Player Pursuit-Evasion Problems. Dynamic Games and Applications, 9, 1168-1187.
https://doi.org/10.1007/s13235-019-00319-x
[14] Isaacs, R. (1999) Differential Games: A Mathe-matical Theory with Applications to Warfare and Pursuit, Control and Optimization. Courier Corporation, North Chelmsford.
[15] Bondy, J.A. and Murty, U.S.R. (1976) Graph Theory with Applications. Macmillan, New York.
https://doi.org/10.1007/978-1-349-03521-2