狀態圖示法
圖的基本概念
圖由節點(不一定是有限的節點)的集合構成。一對節點用弧線連線起來，從一個節點指向另一個節點。這種圖叫做有向圖(directed graph)。
某個節點序列(ni1,ni2,…,nik)當j=2，3，…，k時，如果對於每一個ni，j-1都有一個後繼節點nij存在，那么就把這個節點序列叫做從節點ni1至節點nik的長度為k的路徑。
代價(cost) 是給各弧線指定數值以表示加在相應算符上的代價。
圖的顯式說明 是指各節點及其具有代價的弧線由一張表明確給出。
圖的隱式說明 是指各節點及其具有代價的弧線不能由一張表明確給出。
