60、移动代理在动态环中的部分聚集与双方竞争解决的最优协议

移动代理在动态环中的部分聚集与双方竞争解决的最优协议

1. 移动代理在动态环中的部分聚集

在动态环中，移动代理的部分聚集问题是一个重要的研究方向。该问题主要分为半聚集阶段和成就阶段，下面将详细介绍这两个阶段。

1.1 半聚集阶段

半聚集阶段的目标是使至少 2g 个代理存在于某个节点。在半选择阶段结束时，根据相关引理，至少存在一个聚集候选节点 (v_{candi})，其 (v_{candi}.candi = true)。
如果 (v_{candi}) 处的代理数量少于 2g，则位于 (v_{candi}) 及其反向方向的总共 4g - 2 个代理会尝试停留在 (v_{candi})。具体来说，在这个阶段，每个代理会在 3n 轮内尝试向前移动，直到它停留在 (v_{candi}) 或当前节点的代理数量至少为 2g。

以下是代理 (a_i) 在半聚集阶段的行为伪代码：

Algorithm 2. The behavior of agent ai in the semi-gathering phase (vj is the
current node of ai.)
Main Routine of Agent ai
1: ai.rounds := 1, ai.nIDs := 1
2: while (ai.rounds < 3n) ∧(ai.nIDs ̸= 4g −1) do
3:
    if vj.candi = false then
4:
        vj.nAgents := vj.nAgents −1
5:
        Try to move fro