状态图示法

图的基本概念

图由节点(不一定是有限的节点)的集合构成。一对节点用弧线连接起来，从一个节点指向另一个节点。这种图叫做有向图(directed graph)。

某个节点序列(ni1,ni2,…,nik)当j=2，3，…，k时，如果对于每一个ni，j-1都有一个后继节点nij存在，那么就把这个节点序列叫做从节点ni1至节点nik的长度为k的路径。

代价(cost) 是给各弧线指定数值以表示加在相应算符上的代价。

图的显式说明 是指各节点及其具有代价的弧线由一张表明确给出。

图的隐式说明 是指各节点及其具有代价的弧线不能由一张表明确给出。