动态智能体拓扑：生成式演化与固定模块集重排序两种范式

简介
多智能体 Agent 领域，动态拓扑是近年 arxiv 上的热点方向。海外大量研究聚焦运行时修改计算图结构，代表工作 MermaidFlow、HyEvo、AdaptOrch，核心做法是允许节点新增、删除、重新连线，依靠演化算法、强化学习搜索适配任务的 DAG 图，目标直接指向做题准确率、token 开销这类外在指标。
国内前沿代表 MMAT（MechMath Agent Team，中科院数学院数学智能体）采用控制‑执行‑增强三层 Harness 架构，拆分 20 个专项子 Agent，已经实际攻克数论、代数 8 个公开数学问题，完整做完 IMO2026 全部六道题的推理加形式化验证。但这套分层调度只停留在课题组内部科研，没有下沉到大学本科教学。高校课堂普遍讲授固定计算图、固定执行流程，训练学生在给定流程下求解给定问题，几乎不会把 “工作流拓扑本身当作可调节的自由度”。
两类路线存在本质区分：一类是生成全新拓扑，可以改动节点集合；另一类是模块集合完全守恒，仅重排执行次序、改变数据流走向，算子与模块内部逻辑完全不变，依靠切换顺序来切换系统推演视角，不去新增销毁组件。
现实真实案例
案例1：海外生成式动态拓扑（允许增删节点，arxiv 公开工作）
1）HyEvo 数学题演化工作流
初始只有一个简单大模型解题节点。系统发现数学计算经常出错，运行时新增独立 Python 代码校验节点；又发现错误之后没有修正通道，新增自我纠正循环节点；后续还把原始解题节点拆成 “问题分析”“逻辑推理” 两个新节点。
整个过程节点数量越变越多，图结构被改写。同一个数学题，系统自动演化出一套越来越复杂的图，追求解题正确率提升。
特点：会新增、拆分节点；模块集合不是固定不变。
2）MermaidFlow 代码任务演化工作流
针对 HumanEval 代码数据集，系统把两套旧工作流做交叉变异：把 A 工作流的测试节点、B 工作流的多模型集成节点拼接在一起，生成全新的 Agent 图。过程里可以删掉没用的节点、新增中间校验节点，最后选出在代码生成上表现最好的新拓扑。
特点：不固守预先定义好的组件池，允许通过变异产生新的图结构。
3）AdaptOrch 任务自适应编排
拿到一个复杂任务，首先分解出一批子任务节点，实时构建 DAG 依赖图；任务执行失败，直接修改图的链路，调换部分子任务的依赖关系。它是为这个具体输入任务现场搭建一套图，任务换一张，拓扑往往也要重新生成。
以上海外全部动态拓扑的共性：为性能指标服务；节点可以增删、拆分、销毁。它们没有探索这样一种模式：所有模块完全不动，仅仅改变启动顺序，以此切换整套系统看待问题的视角。
案例2：MMAT（中科院 MechMath Agent Team）分层调度真实场景
以稀疏多项式公开问题的长期科研项目为例：
控制平面作为总调度，调度文献检索 Agent、猜想生成 Agent、反例搜索 Agent、形式证明 Agent 等 20 个子单元。
调度可以让文献 Agent 先跑，再交给猜想 Agent；也可以先生成猜想，再调用检索。
但各个子 Agent 的基础执行流水线本身是写死的。调度只是选择调用谁、什么时候调用谁，不会做 “全套模块全集保留，仅仅系统性重排全部模块的先后次序，以此切换推演范式”。
MMAT 解决公开数学问题时：可以回溯失败分支，可以切换子任务；但不会出现同一套完整组件，换一遍全局执行顺序，就从 “复盘验证模式” 切换到 “反向企划设计模式”。
这套架构能力很强，但 “顺序作为元自由度” 不是它原生设计目标。并且这套前沿系统普通本科生课程完全接触不到。
案例3：高校课程里的固定计算图现实例子
本科《大模型应用开发》、智能体相关实验作业，典型作业：搭建 “意图识别‑工具调用‑结果整理” 三段 Agent。
代码里面执行顺序硬编码：意图识别→工具调用→结果整理。
学生只允许修改每个模块内部提示词、参数；作业、习题、考试不会提出问题：如果我把工具调用放到最前面，整套系统会变成什么模式？
流程被看作是写死的工程骨架，不属于可以实验、可以切换的变量。绝大多数学生的思维里，模型 = 模块 + 固定顺序。
案例4：“模块全部保留，仅重排执行顺序” 的现实类比（现实业务逻辑，非 AI 论文）
项目评审的一套固定组件：风险评审、硬件资源核算、方案推演、效益评估，一共 4 个环节，组件功能全部固定不变。
顺序 A：方案推演→硬件核算→效益评估→风险评审。先推演方案，最后看风险。对应复盘、事后评估。
顺序 B：效益评估先行→风险评审→硬件核算→方案推演。先定效益目标、锁死风险红线，反推可以接受的硬件，最后生成适配的方案。属于企划设计。
顺序 C：风险评审最先启动→硬件核算→方案推演→效益评估。风险红线第一，不合格直接拦截，只做绝境保守推演。
四个环节没有新增，没有删除，每个环节内部判断逻辑一行不改，仅仅改变先后次序，整套业务的思考范式、适用场景彻底改变。
这就是 “固定模块集合，流转顺序作为自由度” 的现实实例。当前 AI 公开研究很少专门针对该模式做系统研究。
范式区分（用案例说明差异）
生成式动态拓扑（HyEvo/MermaidFlow）
真实行为：遇到数学题，我新增校验节点、拆分推理节点，造出新图，拿到更高正确率。
变化对象：节点数量、节点功能、连接关系。
目标：任务指标优化。
MMAT 分层调度
真实行为：有一堆数学专用子 Agent，总调度挑选部分 Agent、分配子任务，可以回溯失败分支；但全套组件不会做全局完整重排来切换推演范式。
变化对象：任务分配、调用时机、分支回溯；整套组件的全局执行排列不作为一等元操作。
固定模块‑仅重排序（上面项目评审类比）
真实行为：所有模块一个不少，内部逻辑完全不变；只改变全部模块的启动先后与数据流回流路径，切换系统的思考立场。
变化对象：执行排列、数据流向；模块集合、模块内部函数完全不变。
目标：切换推演范式（复盘 / 企划 / 风险优先），不是单纯刷准确率。
教科书固定计算图
真实行为：顺序写死，学生不能改动执行次序，只能调内部参数。
变化对象：无，流程属于不可操作的实现细节。
一、拓扑范式数学形式化定义
为清晰量化两类核心拓扑范式的本质差异，本文给出统一数学定义，区分生成式演化拓扑与固定模块重排序拓扑。
1.1 基础定义
智能体工作流拓扑可抽象为有向无环图：$$G=(V,E)$$
其中：
$$V$$：模块/节点集合（子智能体、工具、推理单元）
$$E$$：有向边集合（数据流依赖、执行先后关系）
$$F(v)$$：节点内部固定算子逻辑，不可动态修改
1.2 生成式动态拓扑范式（海外主流范式）
核心特征：节点集合、边集合均可动态变更，模块集合不守恒
$$G_{t+1}=\text{Evolve}(G_t),V_{t+1}\ne V_t\cup E_{t+1}\ne E_t$$
优化目标：最大化任务外在指标
$$\max \text{Acc}(G)\text{or}\min \text{TokenCost}(G)$$
该范式允许节点新增、拆分、删除、链路重组，通过改变系统组件基数适配任务，HyEvo、MermaidFlow、AdaptOrch 均属于此类。
1.3 固定模块重排序范式（本文核心新范式）
核心特征：模块全集严格守恒，仅置换执行顺序与数据流链路
$$V_{t+1}=V_t,\forall v\in V,F(v{)}_{t+1}=F(v{)}_t$$
$$E_{t+1}=\text{Permute}(E_t)$$
核心约束：无节点增删、无算子修改、仅排列置换
优化目标：切换系统推演范式，而非单一指标优化
Mode(G)∈{复盘验证,正向企划,风险优先}\text{Mode}(G) \in \{\text{复盘验证},\text{正向企划},\text{风险优先}\}Mode(G)∈{复盘验证,正向企划,风险优先}
1.4 关键区分公式（分支路由 vs 全局重排）
传统条件分支（if-else 动态路由）：存在节点舍弃
$$V_{\text{run}}\subset V_{\text{all}}$$
固定模块全局重排：全模块参与推演
$$V_{\text{run}}=V_{\text{all}}$$
这是现有研究最容易混淆的核心边界：路由是筛节点，重排是换顺序。
二、核心范式极简伪代码

2.1 生成式拓扑演化伪代码（对标 HyEvo/MermaidFlow）

# 生成式动态拓扑：允许增删节点、重构图结构
def evolve_topology(origin_graph, task_sample):
    # 1. 评测当前拓扑性能
    score = evaluate_task(origin_graph, task_sample)
    
    # 2. 图变异：新增/删除/拆分节点（核心特征）
    new_graph = mutate_graph(
        origin_graph,
        add_node=True,    
        del_useless_node=True,
        split_complex_node=True
    )
    
    # 3. 择优保留新拓扑
    new_score = evaluate_task(new_graph, task_sample)
    return new_graph if new_score > score else origin_graph

2.2 固定模块重排序伪代码

# 固定模块重排序：模块守恒、逻辑不变、仅换顺序
class FixedModuleRearrangeAgent:
    def __init__(self):
        # 固定模块池：全集守恒，运行时不增删
        self.module_pool = [
            risk_audit,
            resource_check,
            scheme_simulate,
            benefit_evaluate
        ]
    
    # 通过排序策略切换推演范式
    def switch_infer_mode(self, mode="review"):
        if mode == "review":
            # 复盘模式：先推演、后校验
            self.exec_order = [scheme_simulate, resource_check, benefit_evaluate, risk_audit]
        elif mode == "plan":
            # 企划模式：先定目标、反推方案
            self.exec_order = [benefit_evaluate, risk_audit, resource_check, scheme_simulate]
        elif mode == "risk_first":
            # 风险优先模式：前置拦截
            self.exec_order = [risk_audit, resource_check, scheme_simulate, benefit_evaluate]
    
    def run(self, input_data):
        # 全模块遍历、无舍弃、无修改，仅顺序不同
        res = input_data
        for module in self.exec_order:
            res = module(res)
        return res

2.3 MMAT 式分层调度伪代码

# MMAT 分层调度：选节点执行，不全局重排
def mmat_schedule(task):
    # 从模块池中挑选部分子Agent执行
    selected_agents = schedule_select(task.all_agents, task)
    # 固定子模块内部流程，仅调整调用时机与分支
    for agent in selected_agents:
        agent.fixed_pipeline(task)
    # 支持回溯，但不全局重排所有模块
    return trace_back_failure(task)

三、边界与现存缺口
1）海外动态拓扑方向，精力集中在增删、拆分、拼接节点来生成新图。即便支持条件分支、动态路由，条件分支只是跳过部分节点，不等于全部模块全集参与、仅重排全局次序。它们的优化目标聚焦准确率、token 消耗，不会把 “切换推演思考范式” 作为系统目标。HyEvo 遇到难题，选择新增节点；而不是原地重排已有全部模块。
2）MMAT 代表国内高质量本土多 Agent 工作，实现控制‑执行‑增强分离，面向长周期数学科研；但是该技术封闭在前沿课题组，不会进入本科教学。学生上课接触的仍然是固定流程的 Agent 示例。
3）大学教学体系普遍存在认知盲区：计算图、执行流转被视作底层工程实现细节，没有训练学生把 “流转排列顺序” 当作模型层面的设计自由度。学生擅长使用现成框架，缺少元层次的思考训练。
4）两类范式并不互斥，可以组合使用：外层允许生成新节点，内层允许在固定组件池内部做全局顺序重排。但目前公开论文中，这条组合路径几乎没有探索。
5）关键区分：简单 if‑else 条件分支 ≠ 模块全集重排序。if‑else 是跳过部分节点；重排序模式下，全部模块都参与本轮推演，只是启动先后、数据回流路径发生变化。
现存核心缺口：现有公开研究热衷于 “创造新组件、新连接”，但对 “复用全部已有组件，依靠全局顺序切换改变系统推演范式” 这条路线挖掘不足；教育层面尚未把工作流拓扑提升到模型一等自由度。
四、总结与未来展望
4.1 全文总结
本文系统梳理了多智能体动态拓扑领域的两类核心对立范式：以 HyEvo、MermaidFlow 为代表的生成式拓扑演化范式，以及本文重点阐释的固定模块全集重排序范式，同时对标国内顶尖的 MMAT 分层调度架构与高校传统固定计算图教学模式，完成了范式的边界界定、案例拆解与数学形式化。
现有主流研究的核心逻辑是以结构换性能，通过增删节点、重构计算图拟合任务指标；而固定模块重排序范式的核心价值是以顺序换范式，在零组件新增、零逻辑修改的前提下，通过全局执行排列变换，让同一套智能体系统拥有复盘、企划、风险优先等多种推演思维模式，实现了结构守恒、范式可变的全新设计思路。
同时本文厘清了行业认知误区：条件分支动态路由与全局模块重排存在本质差异，前者是节点筛选的工程优化，后者是顶层推演范式的模型级创新。
4.2 未来研究展望
1）混合拓扑范式是未来核心方向
将海外生成式图演化与国内固定模块重排序结合，构建“外层动态增删节点、内层全局顺序重排”的双层拓扑架构。简单任务复用固定模块重排降本，复杂任务通过拓扑演化增强能力，兼顾范式多样性与任务准确率。
2）拓扑顺序的量化学习与自动调度
当前重排策略依赖人工定义，未来可通过强化学习、大模型语义理解，根据任务类型自动匹配最优执行顺序，实现“输入任务→自动切换推演范式”的端到端自适应智能体。
3）填补高校教学认知空白
将“拓扑顺序作为一等自由度”纳入大模型智能体开发教学，打破学生“模块+固定流程”的固化思维，培养面向拓扑设计、范式切换的高阶工程思维。
4）落地垂直行业场景
固定模块重排序范式极其适配科研推演、工程评审、方案设计、风险管控等结构化场景，可快速落地数学证明、工程立项、代码审计、风控决策等领域，具备极高的工业与科研落地价值。
5）轻量化可解释智能体构建
相较于黑盒拓扑演化，固定模块重排的执行逻辑完全可控、可溯源，模块无新增、逻辑无篡改，在需要高可信、可解释的专业智能体场景，具备天然的合规与技术优势。
结语
动态智能体拓扑的竞争，已经从“能不能改结构”进入“能不能改思维”的新阶段。生成式演化解决了智能体做得更准的问题，而固定模块重排序解决了智能体想得更全、视角更多元的问题，二者互补融合，将是下一代通用智能体工作流架构的核心演进方向。