JaydenAI的博客

我们通过添加节点和边创建`StateGraph`对象，其`compile`方法将其编译生成`CompiledStateGraph`，整个编译过程就是将`StateGraph`的节点和边转换成`Pregel`的节点和通道的过程。整个编译流程主要划分为三个步骤。

边（Edge）建立起两个节点之间基于执行顺序的依赖关系，后续节点必需在前序节点执行后才能执行。如果节点A和B之间有一条边，并且A是B唯一的前序节点，还进一步保证两个节点会在相邻的两个Superstep中执行。如果某个节点具有多个前序节点，这种场景被称为Fan-in，隐含的是该节点针对所有前序节点的依赖，意味着当前节点只有在确保所有前序节点全部执行后才能执行。具体的边又分为“（无条件）静态边（简称为边）”和“条件边（Conditional Edge）”

`StateGraph`通过两个核心操作，即添加节点和边，来构建具有期望结构的图。节点在LangGraph中如何描述？为什么我们可以将节点定义成签名自由的函数？什么样的对象可以直接注入节点函数？节点函数返回字典和Command有什么不同？如何控制节点执行采用的重试策略和缓存策略？工具存在一个怎样的节点中？这些问题都可以在本篇文章中找到答案。

LangGraph编程基本围绕`StateGraph`进行，所以我们有必要对这个类型具有一个深刻的认识。这是一个泛型类型，四个泛型参数`StateT`、`ContextT`、`InputT`和`OutputT`分别表示状态、静态上下文、输入和输出类型，而且它们的类型都是一个`StateLike`类型。针对`StateLike`的定义，我们一般会使用`TypedDict`、`DataClass`和Pydantic模型。

复杂的任务要求Agent具有复杂的处理流程。加上图的“可组合”特性，Agent自身又可以作为图的一个节点，所以从原则上讲，具有任意复杂度处理流程的Agent都可以由相应的图转变而成。`StateGraph`对象体现的“图”经过编译会称为一个`CompiledStateGraph`对象，这是一个体现为Actor模型的`Pregel`对象，那么实现两者转换的编译是如何实现的呢？