隱式圖

這種求解實際上是產生問題狀態空間的全部結點及相互關係，搜尋效率低 結點擴展次序受問題的性質和目標結點的一般方向的影響，擴展結點時要估計由初始結點經結點至目標結點的路徑代價。 它只需要產生全部的狀態空間的部分結點及相互關係就可以求解問題了，因此搜尋效率高

定義

僅給出初始結點、目標結點以及生成子結點的約束條件（題意隱含給出），要求按擴展規則套用於擴展結點的過程，找出其他結點，使得隱式圖的足夠大的一部分編程顯式，直到包含目標結點為止。

基本算法

盲目搜尋 結點的擴展次序不受目標結點位置影響，擴展結點不估計路徑代價。這種求解實際上是產生問題狀態空間的全部結點及相互關係，搜尋效率低
啟發式搜尋
結點擴展次序受問題的性質和目標結點的一般方向的影響，擴展結點時要估計由初始結點經結點至目標結點的路徑代價。它只需要產生全部的狀態空間的部分結點及相互關係就可以求解問題了，因此搜尋效率高