1. 程式人生 > >關於記憶化搜尋

關於記憶化搜尋

轉載自:http://blog.csdn.net/urecvbnkuhbh_54245df/article/details/5847876

記憶化搜尋:

演算法上依然是搜尋的流程,但是搜尋到的一些解用動態規劃的那種思想和模式作一些儲存。

一般說來,動態規劃總要遍歷所有的狀態,而搜尋可以排除一些無效狀態。

更重要的是搜尋還可以剪枝,可能剪去大量不必要的狀態,因此在空間開銷上往往比動態規劃要低很多。

記憶化演算法在求解的時候還是按著自頂向下的順序,但是每求解一個狀態,就將它的解儲存下來,以後再次遇到這個狀態的時候,就不必重新求解了。這種方法綜合了搜尋和動態規劃兩方面的優點,因而還是很有實用價值的。上傳/更換附件動態規劃的另一種實現形式——記憶化搜尋的應用。

動態規劃和記憶化搜尋:

動態規劃:就是一個最優化問題,先將問題分解為子問題,並且對於這些分解的子問題自身就是最優的才能在這個基礎上得出我們要解決的問題的最優方案,要不然的話就能找到一個更優的解來替代這個解,得出新的最優自問題,這當然是和前提是矛盾的。動態規劃不同於 貪心演算法,因為貪心演算法是從區域性最優來解決問題,而動態規劃是全域性最優的。用動態規劃的時候不可能在子問題還沒有得到最優解的情況下就做出決策,而是必須等待子問題得到了最優解之後才對當下的情況做出決策,所以往往動態規劃都可以用 一個或多個遞迴式來描述。而貪心演算法卻是先做出一個決策,然後在去解決子問題。這就是貪心和動態規劃的不同。

一般遇到一個動態規劃型別的問題,都先要確定最優子結構,還有重疊子問題,這兩個是動態規劃最大的特徵,然後就是要寫 動態規劃的狀態方程,這個步驟十分十分的重要的,寫動歸方程是需要一定的經驗的,這可以通過訓練來達到目的。接著就是要自底向上的求解問題的,先將最小規模的子問題的最優解求出,一般都用一張表來記錄下求得的解,到後來遇到同樣的子問題的時候就可以直接查表得到答案,最後就是通過一步一步的迭代得出最後問題的答案了。

我的理解最重要的東西就是一定會要一個數組或者其他的儲存結構儲存得到的子問題的解。這樣就可以省很多時間,也就是典型的空間換時間

動態規劃的一種變形就是記憶化搜尋,就是根據動歸方程寫出遞迴式,然後在函式的開頭直接返回以前計算過的結果,當然這樣做也需要一個儲存結構記下前面計算過的結果,所以又稱為記憶化搜尋。

記憶化搜尋/遞迴式動態規劃:

1.記憶化搜尋的思想

    記憶化搜尋的思想是,在搜尋過程中,會有很多重複計算,如果我們能記錄一些狀態的答案,就可以減少重複搜尋量

2、記憶化搜尋的適用範圍

    根據記憶化搜尋的思想,它是解決重複計算,而不是重複生成,也就是說,這些搜尋必須是在搜尋擴充套件路徑的過程中分步計算的題目,也就是“搜尋答案與路徑相關”的題目,而不能是搜尋一個路徑之後才能進行計算的題目,必須要分步計算,並且搜尋過程中,一個搜尋結果必須可以建立在同類型問題的結果上,也就是類似於動態規劃解決的那種。

也就是說,他的問題表達,不是單純生成一個走步方案,而是生成一個走步方案的代價等,而且每走一步,在搜尋樹/圖中生成一個新狀態,都可以精確計算出到此為止的費用,也就是,可以分步計算,這樣才可以套用已經得到的答案

3、記憶化搜尋的核心實現

     a. 首先,要通過一個表記錄已經儲存下的搜尋結果,一般用雜湊表實現

     b.狀態表示,由於是要用雜湊表實現,所以狀態最好可以用數字表示,常用的方法是把一個狀態連寫成一個p進位制數字,然後把這個數字對應的十進位制數字作為狀態

    c.在每一狀態搜尋的開始,高效的使用雜湊表搜尋這個狀態是否出現過,如果已經做過,直接呼叫答案,回溯

    d.如果沒有,則按正常方法搜尋

4、記憶化搜尋是類似於動態規劃的,不同的是,它是倒做的“遞迴式動態規劃”。

 下面POJ 1691 paint a borad的題目:

先用普通的深度優先搜尋來解答。

在這道題中需要注意的是:

1、如何記錄某個矩形的資訊,這裡包括了座標、顏色、是否塗色、上方矩形的個數、下方有哪幾個矩形。

這些都是從便於程式設計的角度抽象出來的。

2、為了得到最少使用刷子的次數,塗色策略應該為:把當前可以塗色的矩形全部塗色。

3、還需要注意如何通過座標判斷:緊鄰的處於上方的矩形

通過這道題可以看到dfs搜尋演算法的特點是這樣的:

核心的搜尋演算法一般使用遞迴的形式,而且遞迴函式的引數往往直接和問題的求解物件有一定的關聯。還有就是,在搜尋演算法函式的開頭一般先放上剪枝條件,這樣主要是起到回溯的作用,否則的話,函式就會無限遞迴了。可以發現對深度搜索進行合適的剪枝可以大大提高搜尋的效率。另外,在執行遞迴之前,一般先對當前的局面狀態進行儲存,在遞迴函式返回時,在進行恢復。這有點類似於回溯演算法的特點。其實dfs函式的引數表示的就是局面的一種狀態。

下面對於這個問題使用記憶化搜尋演算法: