回溯法
回溯法（探索與回溯法）是一種選優搜索法，按選優條件向前搜索，以達到目標。但當探索到某一步時，發現原先選擇並不優或達不到目標，就退回一步重新選擇，這種走不通就退回再走的技術爲回溯法，而滿足回溯條件的某個狀態的點稱爲“回溯點”。
基本思想：
回溯法在問題的解空間樹中，按深度優先策略，從根結點出發搜索解空間樹。算法搜索至解空間樹的任意一點時，先判斷該結點是否包含問題的解。如果肯定不包含（剪枝過程），則跳過對該結點爲根的子樹的搜索，逐層向其祖先結點回溯；否則，進入該子樹，繼續按深度優先策略搜索。
回溯法就是對隱式圖的深度優先搜索算法
回溯法：爲了避免生成那些不可能產生最佳解的問題狀態，要不斷地利用限界函數(bounding function)來處死(剪枝)那些實際上不可能產生所需解的活結點，以減少問題的計算量。具有限界函數的深度優先生成法稱爲回溯法。（回溯法 = 窮舉 + 剪枝）
一般步驟：
(1)針對所給問題，定義問題的解空間；
(2)確定易於搜索的解空間結構；
(3)以深度優先方式搜索解空間，並在搜索過程中用剪枝函數避免無效搜索。
兩個常用的剪枝函數：
(1)約束函數：在擴展結點處減去不滿足約束的子數(2)限界函數：減去得不到最優解的子樹
用回溯法解題的一個顯著特徵是在搜索過程中動態產生問題的解空間。在任何時刻，算法只保存從根結點到當前擴展結點的路徑。如果解空間樹中從根結點到葉結點的最長路徑的長度爲h(n)，則回溯法所需的計算空間通常爲O(h(n))。而顯式地存儲整個解空間則需要O(2^h(n))或O(h(n)!)內存空間。