多智能体

两个移动智能体观察同一个区域时，合并地图不等于把两张图片拼起来。对于占据栅格，每个格子保存“被占据”的概率；新观测逐次更新这份环境表示。下面从已对齐的格子坐标开始，用log-odds把两个角色的证据合并成三格地图，明确区分没有观察与证据相互抵消。

多移动智能体要随领队转向并保持指定队形，先要把“各自站在哪里”写成几何目标。固定的队形偏移属于领队的局部坐标；领队旋转后，偏移也必须旋转，再加上领队的世界位置。只给每个成员的世界坐标加同一个常量，可以平移，却不能实现队形随朝向转动。

三个AI智能体分别整理资料、审查资料、汇总结果时，日志中的本机时间可能不同步，接收顺序也可能变化。要说明“这次接收发生在那次发送之后”，可以在消息里传递Lamport逻辑时钟，并在接收端推进计数。它记录事件顺序约束，不能单凭数字大小证明两条消息有因果关系。

用固定邻居位置速度核对三类局部转向向量。提供自定输入、完整计算和可核对结果，说明适用条件。

计算两人共享工具时的有限时域联合策略和总成本。提供自定输入、完整计算和可核对结果，说明适用条件。

检查每个节点的有向可达范围，并识别非强连通的通信图。提供自定输入、完整计算和可核对结果，说明适用条件。

固定其他个体动作，对自身动作按策略加权计算基线。提供自定输入、完整计算和可核对结果，说明适用条件。

在三方轮流博弈树中计算根动作价值，避免机械交替最大最小。提供自定输入、完整计算和可核对结果，说明适用条件。

模拟共享工具容量为一的排队，核对到达、开始、结束和等待时间。提供自定输入、完整计算和可核对结果，说明适用条件。

按给定报价计算单件拍卖分配与价格，并区分报价和真实价值。提供自定输入、完整计算和可核对结果，说明适用条件。