定义仅给出初始结点、目标结点以及生成子结点的约束条件（题意隐含给出），要求按扩展规则应用于扩展结点的过程，找出其他结点，使得隐式图的足够大的一部分编程显式，直到包含目标结点为止。
基本算法盲目搜索 结点的扩展次序不受目标结点位置影响，扩展结点不估计路径代价。这种求解实际上是产生问题状态空间的全部结点及相互关系，搜索效率低
启发式搜索
结点扩展次序受问题的性质和目标结点的一般方向的影响，扩展结点时要估计由初始结点经结点至目标结点的路径代价。它只需要产生全部的状态空间的部分结点及相互关系就可以求解问题了，因此搜索效率高