分支设限法多了一个界限函数.PPTVIP

演算法 ＿ 第八章 處理NP-完備問題 8 解NP-完備問題 是否一定要找出正確解（判斷問題）或最佳解（最佳化問題） 回溯法（判斷問題） 分支設限法（最佳化問題） 或者我們可以接受只找出近似解 近似演算法 回溯法與分支設限法 回溯法與分支設限法是兩種用來有系統地檢視候選解的方法 這種有系統地檢視候選解的方法，不管是在最壞的情況還是在平均的情況下，都能省下大量的執行時間 這些方法通常使得我們得以排除大量的候選解；雖然如此，它們卻還是可以保證當演算法執行結束時，我們能找到所要的正確解或最佳解 回溯法 回溯法的作法是利用觀察候選解的一小部分，如果從候選解的這一小部分已經足以判定它不可能形成我們最後要的解，就馬上放棄這個候選解 舉個例子，如果 SAT 問題的給定布林公式中有一個子句是 (x1 ? x2)，則所有可能的真假值指派中只要是 x1 = x2 = false 的都可以直接予以淘汰而不至於影響到最終解的正確性 回溯法 回溯法 回溯法通常會選擇深度優先，即 w = 0, x = 0 的頂點繼續分支 因為它已經指派了兩個變數的真假值，可能很快就可以找到解 深度優先通常比廣度優先還省記憶體 過程中產生的可分支頂點數比較少 回溯法 利用這個方式，回溯法檢視真假值指派的搜尋空間 一旦確定一個頂點所代表的部分真假值指派已經不可能導致正確解，就不再為該頂點做後續的再分支運