老周在社区开了家食堂,后厨里有切墩、配菜、炒锅、传菜四位师傅。每一位都只看得见自己面前那一小块操作台:切墩看不到炖锅的火候,炒锅不知道蒸笼里的菜还有几分钟。照理说,这样的后厨该乱成一锅粥。可每晚两百桌的菜,照样一盘不差地端到客人面前。秘密不在某个厨神,而在一张挂在墙上的“协作纸条”——哪位师傅缺了葱、哪道菜快出锅,随手写一句、喊一嗓,邻居就接上了。人人都说局部话,事事却能全局对。多智能体系统正是这样:无人机集群、自动驾驶车队、仓库机器人,都像老周后厨里的师傅——单个不聪明,靠局部感知、邻居沟通、共识对齐与任务分派,完成远超个体的复杂任务。本文就用这座“邻里后厨”当主线,带你拆解分布式感知与决策的每一道工序。

岗位关联

对 AI 从业者而言,多智能体协同是具身智能、无人机集群、自动驾驶等前沿落地的核心能力。弄懂“局部信息如何达成全局共识”,是设计可扩展、抗故障系统的基本功,也是从单模型思维走向系统思维的必经关卡。

目录
  1. 可视化演示
  2. 个体能力边界
  3. 感知信息融合
  4. 通信拓扑基础
  5. 平均共识算法
  6. 分布式决策
  7. 任务分配策略
  8. 群体智能涌现
  9. AI 应用场景
  10. Python 演示
  11. 常见误区
  12. 面试题

可视化演示

展示群体智能四大核心:集中式vs分布式架构、共识算法收敛过程、多传感器数据融合、多智能体任务分配协同。

本节配有交互动效(进入视口后自动加载,约 3KB)。

集中式与分布式架构对比 集中式:单点瓶颈,中心节点故障则全系统瘫痪 分布式:P2P通信,无单点故障,局部信息协作出全局优化 distributed = P2P(local_info) → global_optimal 分布式架构通过节点间协作实现比集中式更强的鲁棒性

个体能力边界

老周食堂的后厨里,炒锅师傅的绝活再厉害,也看不见蒸笼里的火候。他只能凭自己灶台上的那口锅、手中的勺和眼前几张订单行事。这就是单体的宿命:观测是局部的,能力是有限的。可后厨照样能接住两百桌订单,靠的是把若干“不完整”拼成“完整”。

在多智能体系统里,每个智能体(无人机、机器人、自动驾驶车辆)都像一个后厨师傅。它无法获取全局状态,只能得到自己的传感器读数。我们把智能体 i 在时刻 t 的局部观测写成:

正因每个智能体只有“半张菜单”,协作才成为刚需。又因为观测带噪声,单打独斗的判断不可靠——这为后文的分布式感知融合埋下了伏笔。所以说,多智能体系统的出发点不是“多个强大的个体”,而是“多个有边界的个体如何互相补齐”。

oi(t)=hi(x(t))+εi(t)o_i(t) = h_i(x(t)) + \varepsilon_i(t)
这条式子是说:每个智能体看到的,只是真实世界被自己的“传感器镜头”过滤、再被噪声污染后的一个侧面。
  1. 真实状态环境在时刻 t 的真实情况,是智能体想知道的“标准答案”。
    x(t)x(t)
  2. 观测函数第 i 个智能体的传感器把真实状态映射成自己读数的方式。
    hi(⋅)h_i(\cdot)
  3. 观测噪声传感器误差或环境干扰,让读数多了一层随机扰动。
    εi(t)\varepsilon_i(t)
  4. 智能体下标每个智能体的观测函数和噪声特性都不同,就像切墩和炒锅看到的世界不一样。
    i∈{1,2,…,n}i \in \{1, 2, \dots, n\}

感知信息融合

后厨里最怕“众口难调”。四位师傅各尝一口自己锅里的汤,有人说咸、有人说淡、有人说刚好。老板娘不会只信其中任何一位,而是把大家的意见放在一起权衡:咸的师傅证据多,就往咸那边偏一点;淡的师傅传感器新,就多信一点。这种“把多个局部意见合成一个全局判断”的工序,就是分布式感知融合。

把师傅的“意见”写成概率分布,数学上最优雅的合起来方式是贝叶斯公式。当各智能体的观测互相独立时,后验概率正比于先验乘以所有智能体似然的连乘:

贝叶斯融合在理论上很美,但工程上常常退化为“置信度加权平均”:谁的传感器噪声小,谁的权重就大。这与老板娘“谁的勺子准就多信谁”的直觉完全一致。分布式感知融合让每个后厨师傅不再孤立地猜,而是把零散的“尝后感”汇成一张完整的口味地图。

P(s∣z1:n)∝P(s)∏i=1nP(zi∣s)P(s \mid z_{1:n}) \propto P(s) \prod_{i=1}^{n} P(z_i \mid s)
这条式子是说:每个智能体提供一份“如果真实状态是 s,我该看到什么”的证据,大家把证据相乘,就得到融合后的判断。
  1. 先验概率没有观测之前,对环境状态 s 已有的基本把握。
    P(s)P(s)
  2. 条件似然给定真实状态 s,智能体 i 观察到自己读数 z_i 的可能性。
    P(zi∣s)P(z_i \mid s)
  3. 连乘符号把 n 个智能体的证据逐项相乘,体现“独立证据叠加”。
    ∏i=1n\prod_{i=1}^{n}
  4. 正比符号右边乘完还需归一化,才成为真正的概率分布,写作正比关系。
    ∝\propto

通信拓扑基础

老周的后厨没有大喇叭广播。切墩要问炒锅,得隔着配菜台喊一嗓子;传菜师傅想知道出菜顺序,得绕到出菜口看纸条。消息靠的是“谁和谁挨得近”,而不是“谁都能联系所有人”。我们把这种“谁能直接和谁说话”的关系,抽象成一张通信图。

通信图 $\mathcal{G}$ 由节点集合 $\mathcal{V}$ 和边集合 $\mathcal{E}$ 组成:节点是智能体,边是通信链路。用邻接矩阵可以完整记录这张图:

通信拓扑决定了信息能传多远。在无向图中,只要图是连通的,任何信息经过多跳转发都能传遍全网;在有向图中,则要求强连通——好比后厨递话链每一段都不能断。拓扑学里常把拉普拉斯矩阵的第二小特征值当作“连通度”,它也是判断协作是否可能的关键指标。换句话说,后厨能有序运转的前提,是那张看不见的“递话网”没有断点。

aij={1,(i,j)∈E0,否则a_{ij} = \begin{cases} 1, & (i, j) \in \mathcal{E} \\ 0, & \text{否则} \end{cases}
邻接矩阵是通信图的“数字花名册”:第 i 行第 j 列是 1,代表智能体 i 能直接给智能体 j 递话。
  1. 节点集合所有参与协作的智能体组成的集合。
    V={1,2,…,n}\mathcal{V} = \{1, 2, \dots, n\}
  2. 边集合存在直接通信链路的智能体配对。
    E⊆V×V\mathcal{E} \subseteq \mathcal{V} \times \mathcal{V}
  3. 矩阵元素$a_{ij}$ 取 1 表示 i 与 j 可直接通信,取 0 表示不能。
    aij∈{0,1}a_{ij} \in \{0, 1\}
  4. 邻接矩阵把所有 $a_{ij}$ 排成矩阵,图的全局结构一目了然。
    A=[aij]\mathbf{A} = [a_{ij}]

平均共识算法

几位师傅对汤的咸淡争论不休。老板娘定的规矩很简单:每个人报出自己的咸度,然后都往邻居的咸度方向挪一点;反复几轮之后,大家的舌头会神奇地落在同一个数字上。这个“你让一步、我让一步”的过程,就是平均共识算法。

把师傅 i 第 k 轮的咸淡判断记作 $x_i(k)$,它下一轮的更新规则是:

当无向通信图连通,这套规则保证所有 $x_i$ 收敛到初始值的平均;收敛速度由拉普拉斯矩阵的第二小特征值 $\lambda_2$ 决定,$\lambda_2 > 0$ 恰好等价于图连通。后厨里没有人当“调度中心”,也没有人收集所有人的咸度再广播——大家只是私下碰一碰舌头,就悄悄达成了一致。这正是分布式共识最迷人的地方:全局一致不是被指挥出来的,而是被局部规则“长”出来的。

xi(k+1)=xi(k)+α∑j∈Ni(xj(k)−xi(k))x_i(k+1) = x_i(k) + \alpha \sum_{j \in \mathcal{N}_i} \big( x_j(k) - x_i(k) \big)
这是多智能体协作的“心脏公式”:每个智能体只看着邻居,把邻居与自己的差距按比例吸收,最终全体自动对齐到初始平均值。
  1. 当前判断第 k 轮时智能体 i 的估计值,比如对咸淡打的分。
    xi(k)x_i(k)
  2. 邻居集合与 i 有直接通信边的智能体集合,对应通信图中的邻域。
    Ni\mathcal{N}_i
  3. 意见偏差邻居 j 的判断与自己判断之差,是修正的方向和大小。
    xj(k)−xi(k)x_j(k) - x_i(k)
  4. 步长因子每轮吸收偏差的比例,太小收敛慢,太大可能震荡。
    α\alpha
  5. 同步迭代所有智能体先各自算好新值,再统一进入下一轮。
    k→k+1k \rightarrow k + 1

分布式决策

后厨同时来了十桌客人,有的要少盐、有的要多辣,四个灶头却只有四个。没人喊“一二三一起做”,每个师傅必须根据自己手上的订单、邻居传来的消息,以及自己灶台的空闲情况,独自决定先做哪道、怎么做。这种没有中央老板的决策,就是分布式决策。

假设智能体 i 有动作空间 $\mathcal{U}_i$,它会选择让自身期望代价最小的动作,同时把邻居可能的动作 $u_{-i}$ 也纳入考虑:

当多个智能体的目标互相影响时,决策问题就变成一场博弈:大家都想少亏,最终会趋向纳什均衡。后厨里“你先出热菜、我后出凉菜”这类默契,正是博弈协同的雏形;而一旦发生争抢,就用优先级或竞价来消解冲突。分布式决策的要点在于:每个人做决定时都带上了对“别人的下一步”的预判,于是整个后厨不会互相撞车。

ui⋆=arg⁡min⁡ui∈Ui  E[Ji(ui,u−i)∣zi]u_i^{\star} = \arg\min_{u_i \in \mathcal{U}_i} \; \mathbb{E}\big[ J_i(u_i, u_{-i}) \mid z_i \big]
每个智能体不是拍脑袋行动,而是基于局部观测,在“别人可能怎么做”的预期下选择最不亏的动作。
  1. 最优动作智能体 i 最终选择的那个动作符号。
    ui⋆u_i^{\star}
  2. 动作空间智能体 i 所有可行动作的集合,相当于“可选菜谱”。
    Ui\mathcal{U}_i
  3. 代价函数衡量某组动作对智能体 i 有多“亏”的函数。
    Ji(ui,u−i)J_i(u_i, u_{-i})
  4. 他人策略除 i 之外其他智能体动作的组合,是未知且相互影响的部分。
    u−iu_{-i}
  5. 条件期望在局部观测 $z_i$ 下对不确定性取期望,代表“基于我看到的信息做最稳妥的选择”。
    E[⋅∣zi]\mathbb{E}\big[ \cdot \mid z_i \big]

任务分配策略

顾客像潮水一样涌进来,两百道菜堆在传菜口。老板娘要回答一个现实问题:每道菜该由哪个师傅做?如果她有超能力,能在心里算一遍所有安排的成本然后拍板,那是集中式最优;但现实中订单是动态的,她更常用的是“看着办”——把菜当拍品,哪位师傅做这道菜的时间成本最低,这道菜就归谁。

数学上,把 m 个智能体、n 个任务建模成 0-1 整数规划:$x_{ij}$ 为 1 表示任务 j 分配给智能体 i,目标是总代价最小:

如果通信条件好、状态稳定,可以用匈牙利算法求全局最优;但在无人机集群或仓库机器人这类动态场景里,任务随时会冒出来,中心式求解既慢又脆。于是工程上多用拍卖机制:每个任务公开“招标”,各智能体根据当前位置和负载独立出价,价低者得,市场自然出清,负载也在反复竞价中趋于均衡。这就像后厨从不提前排班,而是靠“谁手头轻谁接单”的暗规则,把菜一道道消化掉。

min⁡xij∑i=1m∑j=1ncijxij,s.t.∑i=1mxij=1,  xij∈{0,1}\min_{x_{ij}} \sum_{i=1}^{m}\sum_{j=1}^{n} c_{ij} x_{ij}, \qquad \text{s.t.} \quad \sum_{i=1}^{m} x_{ij} = 1,\; x_{ij} \in \{0, 1\}
这个优化问题保证“每道菜都有且只有一个师傅负责”,并让所有师傅的总工作量代价最低。
  1. 执行代价智能体 i 完成任务 j 需要付出的时间、能量等成本。
    cijc_{ij}
  2. 决策变量$x_{ij}$ 取 1 表示把任务 j 派给 i,取 0 表示不派。
    xij∈{0,1}x_{ij} \in \{0, 1\}
  3. 任务约束每个任务恰好被一个智能体领取,不允许“一个菜两个人做”。
    ∑i=1mxij=1\sum_{i=1}^{m} x_{ij} = 1
  4. 总代价目标把所有分配代价相加并求最小。
    ∑i=1m∑j=1ncijxij\sum_{i=1}^{m}\sum_{j=1}^{n} c_{ij} x_{ij}

群体智能涌现

老周的后厨最神奇的时刻,是晚高峰的灶前:几十道菜同时进行,师傅们侧身让路、递盘、接勺,没有一个人喊口号,整条流水线却像排练过千百遍。没有人指挥这支“舞蹈”,但它就是发生了。这种由局部规则自发长出的全局秩序,就是涌现。

无人机集群的编队飞行遵循同样的哲学。每架无人机只感知周围若干邻居的位置,然后施加三种“社交力”:远离太近的伙伴、对齐邻居的速度、飞向群体的中心。把这些规则写成一个受力模型:

这套基于邻居的受力规则,让无人机群在没有任何中心指挥的情况下,自发形成有序队列,还能绕开障碍、恢复队形。后厨里“侧身让路、递盘接勺”的默契,本质上也是同样的道理:简单规则 × 大量局部交互 = 复杂而有韧性的群体行为。即使某位师傅临时请假,流水线也只是慢一拍,绝不会全线瘫痪——这正是群体智能相比单一超级个体的最大优势。

p˙i=vi,v˙i=−∑j∈Ni∇U(∥pi−pj∥)\dot{p}_i = v_i, \qquad \dot{v}_i = -\sum_{j \in \mathcal{N}_i} \nabla U(\| p_i - p_j \|)
每个智能体的加速度,等于所有邻居对它的“势能力”之和:近了被推开,远了被拉近,方向相同则跟随。
  1. 位置与速度$p_i$ 是智能体 i 的空间位置,$v_i$ 是它的速度。
    p˙i=vi\dot{p}_i = v_i
  2. 势能函数$U$ 是一个以距离为自变量的函数,距离太近或太远都会产生势能。
    U(∥pi−pj∥)U(\| p_i - p_j \|)
  3. 梯度下降沿势能下降最快的方向调整速度,让系统趋向低势能状态。
    −∇U(⋅)-\nabla U(\cdot)
  4. 邻居求和每个智能体只对感知范围内(通信拓扑的邻居)的个体施加作用。
    ∑j∈Ni\sum_{j \in \mathcal{N}_i}

AI 应用场景

无人机集群协同巡检

阶段:分布式感知融合

解决的问题:传统单机巡检视角有限、覆盖慢,需要反复飞行才能拼出完整画面;多机各自只拍一段,如何变成一张全景图是痛点。

具体案例:电力线路巡检中,5 架无人机沿输电塔一字排开,每架只负责拍摄一段杆塔。它们通过机间通信交换各自的缺陷热力图,用贝叶斯融合把碎片信息拼成整条线路的置信度地图,缺陷检出率相比单机提升约 18%。

自动驾驶无灯路口通行

阶段:分布式决策

解决的问题:没有红绿灯的路口,单车无法获知其他车辆的意图;若各自抢行,路口便会死锁。

具体案例:车路协同试点中,12 辆智能车在夜间无信号灯路口,通过 V2V 通信交换速度、转向和通行诉求,用平均共识对“通行顺序变量”达成一致,再按共识结果依次通过。实测平均通行时延下降 35%,且无需路边中心服务器。

仓储机器人动态任务拍卖

阶段:任务分配

解决的问题:几百个搬运订单集中在中央调度器,一旦服务器宕机整个仓库停摆;动态到达的订单也难以提前排程。

具体案例:某电商仓库中,几十台搬运机器人用增量拍卖算法实时领取订单:每个机器人根据当前位置、电量和忙闲程度对任务出价,价低者接单。高峰期吞吐量提升约 22%,且单台机器人故障不会影响整体任务流转。

Python 演示

python61 行
import random  class MAS:    def __init__(self, n=8, alpha=0.18, steps=60, seed=42):        random.seed(seed)        self.n = n        self.alpha = alpha        self.steps = steps        self.values = [0.2 + 0.75 * random.random() for _ in range(n)]        self.edges = [(i, (i + 1) % n) for i in range(n)]        self.edges += [(0, 3), (2, 5), (4, 7)]        self.neighbors = {i: [] for i in range(n)}        for a, b in self.edges:            self.neighbors[a].append(b)            self.neighbors[b].append(a)        self.target = sum(self.values) / n        self.gc_count = 0     def step_once(self):        nxt = self.values[:]        for i in range(self.n):            diff = sum(self.values[j] - self.values[i] for j in self.neighbors[i])            nxt[i] += self.alpha * diff / max(len(self.neighbors[i]), 1)        self.values = nxt        self.gc_count += 1     def run(self):        for _ in range(self.steps):            self.step_once()        return self.values[:]     def error(self):        return max(abs(v - self.target) for v in self.values)  def greedy_auction(cost, teams=2):    n_tasks = len(cost)    assignment = [0] * n_tasks    loads = [0] * teams    for t in range(n_tasks):        best = min(range(teams), key=lambda k: loads[k] + cost[t][k])        assignment[t] = best        loads[best] += cost[t][best]    return assignment, loads  def main():    mas = MAS()    final_values = mas.run()    print("final values:", [round(v, 3) for v in final_values])    print("target mean:", round(mas.target, 3))    print("max error:", round(mas.error(), 3))    cost = [[3, 8], [6, 1], [4, 3], [2, 6]]    assignment, loads = greedy_auction(cost)    print("task assignment:", assignment)    print("agent loads:", loads)  if __name__ == "__main__":    main()
目的:演示 8 个智能体仅靠局部通信完成平均共识,并用贪心拍卖把 4 个任务分配给 2 个智能体,验证“局部协作达成全局一致”的核心思想。
  1. self.values = [0.2 + 0.75 * random.random() for _ in range(n)]初始化 8 个智能体互不相同的“咸淡判断”,模拟分散的初始意见。
  2. self.edges += [(0, 3), (2, 5), (4, 7)]在环形通信网上加三条额外的边,确保通信图连通,否则共识无法达成。
  3. diff = sum(self.values[j] - self.values[i] for j in self.neighbors[i])计算所有邻居与自己的偏差之和,对应共识公式中的求和项。
  4. nxt[i] += self.alpha * diff / max(len(self.neighbors[i]), 1)用步长控制吸收速度,并按邻居数量归一,避免度数大的节点波动过大。
  5. self.values = nxt所有智能体同步更新,模拟“同时交换意见、再一起改口”的迭代机制。
  6. best = min(range(teams), key=lambda k: loads[k] + cost[t][k])每个任务独立招标,选择当前边际代价最低的智能体中标,形成分布式拍卖。
  7. loads[best] += cost[t][best]中标后立即累加负载,让后续任务的出价自然偏向更空闲的智能体,实现负载均衡。

常见误区

误区初学者常以为,多智能体协作的前提是每个智能体都能和所有其他人通信,否则“意见传不出去”,协作必然失败。

正解只要通信图是连通的,信息就能通过多跳转发传遍全网,共识算法依然收敛。就像后厨里消息靠一句句“递话”也能传到最远的灶头,不需要大喇叭。通信拓扑研究的正是“最少连接如何保证全局一致”,全连通反而是最耗资源却最没必要的要求。

为何常见:习惯了中心化系统的“全连接总线”思维,容易把“网络连通”误解为“网络全连通”。

误区有人学了 Paxos 和 Raft 后,认为所有共识都要先选主节点,由主节点汇总再广播给其他人。

正解平均共识是完全去中心化的:每个智能体只跟邻居交换数值、就地迭代,自始至终没有 Leader。分布式系统里的共识分很多种,选主只是其中一条路线;本文的迭代共识走的是“人人平等”的路线。就像后厨统一咸淡不需要老板娘拍板,师傅们互相碰舌头就行。

为何常见:主流分布式数据库常用 Leader 式共识,容易以偏概全,忽略了更轻量的迭代式共识。

误区看到拍卖算法只能得到近似最优,初学者容易觉得“不如集中式精确求解”,从而否定分布式方案的价值。

正解集中式匈牙利算法确实能求全局最优,但它需要完整信息与稳定环境;分布式拍卖天然抗单点故障、适应动态任务,而且在单调出价的设定下可以逼近全局最优。后厨老板娘不可能每道菜都拉个 Excel 表算最优排班,靠“谁手头轻谁接单”反而在真实世界里又快又稳。

为何常见:把论文中的最优解当作唯一标准,忘了工程上“够好 + 鲁棒”往往比“理论最优 + 脆弱”更实用。

误区主观认为多智能体系统就是堆数量,20 台无人机一定比 5 台强,10 个机器人肯定比 3 个效率高。

正解智能体增多会带来通信负担、感知重叠和冲突消解成本。如果拓扑设计不当,消息碰撞和重复计算会侵蚀增益,甚至让收敛变慢。后厨招 20 个厨师挤在 4 平米的操作间,只会互相撞肘。多智能体系统的性能取决于“拓扑 + 算法 + 任务匹配度”,而不是简单的数量加法。

为何常见:日常经验中的“人多力量大”让人忽略协作开销,缺少对通信与计算边界的直觉。

面试题

Q1. 下列关于多智能体系统的说法中正确的是?

单选题 · easy

  • A.协作能完成超出单体的复杂任务← 正确答案
  • B.单个智能体必须拥有超级算力
  • C.所有行为都必须依靠中央调度
  • D.每个智能体都必须看到全局状态

答案:A。多智能体系统的核心价值就是“三个臭皮匠顶个诸葛亮”——单个智能体能力有限,协作能完成远超单体的任务。B 把个体能力夸张化,C 否定了去中心化,D 误解了局部观测的前提。

Q2. 多智能体中的“局部观测”指的是什么?

单选题 · easy

  • A.每个智能体看到环境的全部状态
  • B.智能体只看到自己传感器的数据← 正确答案
  • C.智能体之间从不进行任何通信
  • D.全局地图由单个节点集中维护

答案:B。局部观测就像后厨师傅只看得见自己灶台,每个智能体只能拿到自己传感器的数据。A 是全局观测,C 把“通信”和“观测”混为一谈,D 是中心化存储,都不是局部观测的本意。

Q3. 关于群体智能中的“涌现”,正确的理解是?

单选题 · easy

  • A.全局行为由外部大脑实时控制
  • B.个体遵循局部规则产生全局有序← 正确答案
  • C.个体聪明,群体才能表现出智能
  • D.智能体随机执行任务即可出现秩序

答案:B。涌现强调“简单个体 + 局部规则 -> 全局有序”,如后厨流水线的默契。A 是中心控制,C 误以为需要超级个体,D 的随机行为没有规则约束,不会自发形成秩序。

Q4. 平均共识算法在通信图连通的情况下,最终收敛到?

单选题 · mid

  • A.随机一个智能体的初始值
  • B.全体初始值的平均值← 正确答案
  • C.全体初始值的最大值
  • D.与初值无关的随机数

答案:B。平均共识的名字就说明了一切:在连通图上,迭代更新会收敛到所有初始值的算术平均。这就像几位厨师对咸淡各让一步,最终停在大家的平均口味上,而不是某一个人的原值。

Q5. 拉普拉斯矩阵的第二小特征值大于零,等价于?

单选题 · mid

  • A.无向通信图是连通的← 正确答案
  • B.通信图中存在孤立节点
  • C.通信图包含多个环
  • D.智能体数量趋近无穷

答案:A。$\lambda_2(\mathcal{L}) > 0$ 是图论中的著名结论,等价于无向图连通。孤立节点会让 $\lambda_2$ 变为 0,环的个数不影响连通性,节点数量也与这个条件无关。

Q6. 拍卖式任务分配中,任务一般交给谁?

单选题 · mid

  • A.随机选择的一名智能体
  • B.承担任务最多的智能体
  • C.编号最小的智能体
  • D.边际代价最低的智能体← 正确答案

答案:D。拍卖机制的核心是“成本驱动”:每个任务公开招标,出价(边际代价)最低的智能体中标。随机、按编号或按“谁最忙”都不符合最小化总代价的目标,也无法实现负载均衡。

Q7. 分布式贝叶斯感知融合公式成立的前提条件是?

单选题 · hard

  • A.各智能体观测之间条件独立← 正确答案
  • B.各智能体观测必须满足线性
  • C.各智能体噪声必须为高斯分布
  • D.各智能体数量必须为偶数

答案:A。$P(z_{1:n} \mid s) = \prod_i P(z_i \mid s)$ 只有在观测条件独立时才成立,这是似然连乘的数学前提。线性、高斯都是简化假设而非必要条件,智能体数量更与公式成立无关。

Q8. 平均共识算法能够收敛,通常需要满足哪些条件?

多选题 · mid

  • A.通信图保持连通← 正确答案
  • B.迭代步长选择合理← 正确答案
  • C.所有智能体初始值相同
  • D.有向图需满足强连通← 正确答案

答案:ABD。连通性是信息传播的基础,步长太大会震荡、太小则收敛过慢;有向图条件下则要求强连通。初始值相同会让系统直接处于共识态,但这不是收敛的必要条件。

Q9. 与集中式任务分配相比,分布式任务分配的优势包括?

多选题 · hard

  • A.可动态处理新到达任务← 正确答案
  • B.不存在单点故障风险← 正确答案
  • C.保证找到全局最优解
  • D.依赖全局同步的精确状态

答案:AB。分布式拍卖能随任务到达即时出价,天然应对动态变化;没有中心节点,单点故障不会拖垮整个系统。但它通常只逼近全局最优而非保证最优,也不需要精确的全局同步。

Q10. 关于通信拓扑对分布式共识的影响,下列说法正确的有?

多选题 · extreme

  • A.拓扑决定信息传播的范围← 正确答案
  • B.拓扑连通性决定收敛成败← 正确答案
  • C.节点增多必然加快收敛
  • D.边权重可表示信任程度← 正确答案

答案:ABD。信息只能沿拓扑的边传播,连通性不满足时共识无法收敛;边权重可以建模信道质量或信任度。节点增多会加重通信开销,收敛速度由 $\lambda_2$ 决定,并不是越多越快。