状态空间图
一种针对搜索问题的数学表示形式
- 节点：抽象的状态
- 边：后继函数（状态执行动作的结果）
- 目标检测：一个目标节点集合（可能只有一个）
在状态空间图中，每一个问题的状态只出现一次。状态空间图中的节点与问题中的状态一一对应。
搜索树
树是有向无环图，有根节点，边的个数是节点个数减一
- 开始状态是根节点。
- 孩子节点对应父亲节点的后继状态。
- 节点对应状态，并且包含了从开始状态达到当前状态的路径。
- 路径表示一个动作序列。
状态空间图到搜索树的转换
对于图中存在环状结构，因此这种是不能完整画出对应的搜索树。
