多模型编程任务派发：状态空间搜索

GridTrax v1.1 的 8 个任务派给 Opus / Sonnet / DeepSeek，在依赖、能力、额度、交叉审查约束下求总额度最小的派发序列

配套文章：用 A* 给 AI 编程助手派活 · 求解器源码 solver.py

① 问题定义 任务依赖图 = 迷宫的墙；代价矩阵 = 算符代价

箭头表示前置依赖：前置任务未完成时，后继任务不能派发（相当于迷宫里的墙）。

② 搜索过程回放 OPEN 表 / CLOSED 表逐轮变化

本轮扩展 OPEN 表中 CLOSED 表中 目标节点 解路径
当前扩展节点沿父指针回溯得到的部分派发方案
各模型剩余额度

③ 策略对比 完备性 · 最优性 · 时间（扩展节点数）· 空间（OPEN 峰值）

④ 最优派发方案 A* · h3 求得；逐步状态转移表

⑤ 全状态空间图

目标状态 普通状态 死局（无合法后继且非目标） 最优路径 纵向：已完成任务数（搜索深度）