概念
函式疊代法(function iteration method)亦稱函式空間疊代。動態規劃的求解方法之一是以段數作為參變數,先求在各個不同段數下的最優策略,然後從對應的最優解中選出最優者,從而同時確定了最優段數。
![函式疊代法](/img/a/e3f/wZwpmL1AzN1kDO3ATMwEDN0UTMyITNykTO0EDMwAjMwUzLwEzL4UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/2/3fb/wZwpmLyEzN4czN0czM2EzM1UTM1QDN5MjM5ADMwAjMwUzL3MzLxczLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/6/281/wZwpmL0MDOxIjMxMTMzEDN0UTMyITNykTO0EDMwAjMwUzLzEzL0czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/a/d17/wZwpmL4cTO0EDM4ADO3EDN0UTMyITNykTO0EDMwAjMwUzLwgzL3YzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/0/02f/wZwpmLwYjNxADMyYzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL2czLyczLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![函式疊代法](/img/4/da1/wZwpmL0EzM0cjN4ADN3UzM1UTM1QDN5MjM5ADMwAjMwUzLwQzLwUzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/0b6/wZwpmL1MjNxEDMykDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL5gzLxAzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/6/281/wZwpmL0MDOxIjMxMTMzEDN0UTMyITNykTO0EDMwAjMwUzLzEzL0czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/a/d17/wZwpmL4cTO0EDM4ADO3EDN0UTMyITNykTO0EDMwAjMwUzLwgzL3YzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/d/ef6/wZwpmLyUTMwITOygTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLzMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/920/wZwpmL4gDNyADO0IjMzEzM1UTM1QDN5MjM5ADMwAjMwUzLyIzLyYzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/a/e3f/wZwpmL1AzN1kDO3ATMwEDN0UTMyITNykTO0EDMwAjMwUzLwEzL4UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
設有 個點: ,任意兩點 與 之間的距離(或行程時間,運費等)為 , 。 表示 與 為同一點, 表示兩點間無通路。由一點直接到另一點算作一步。要求在不限步數的條件下,找出點 到點 的最短路線。
我們把類似上述不限定數的有限階段決策問題稱為階段數不固定的有限階段決策過程。在解此問題時可以不考慮迴路,因為含有迴路的路線一定不是最短路。
![函式疊代法](/img/5/84c/wZwpmL3ADOzcDN3MjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL2IzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![函式疊代法](/img/6/281/wZwpmL0MDOxIjMxMTMzEDN0UTMyITNykTO0EDMwAjMwUzLzEzL0czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/a/e3f/wZwpmL1AzN1kDO3ATMwEDN0UTMyITNykTO0EDMwAjMwUzLwEzL4UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/e/8b7/wZwpmL0gjMzAzM4MDO2UzM1UTM1QDN5MjM5ADMwAjMwUzLzgzL2YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
設 表示由點 到點 的最短距離,則由 最優性原理,得:
![函式疊代法](/img/0/9e8/wZwpmL3ADN1MTOxUjN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1YzL1IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/5/84c/wZwpmL3ADOzcDN3MjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL2IzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
該方程是上述問題的動態規劃函式的基本方程。它是關於最優值函式的函式方程,而不是遞推關係式,這給求解帶來一定的困難,下面介紹求解該方程的函式疊代法。
![函式疊代法](/img/d/8e2/wZwpmL3IjNxIjMwgTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLwAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/5/84c/wZwpmL3ADOzcDN3MjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL2IzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
函式疊代法的基本思想是構造一個函式序列 來逼近最優值函式 ,其算法步驟如下:
![函式疊代法](/img/c/ebc/wZwpmL4QDOwIzM0UzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1czLwMzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/920/wZwpmL4gDNyADO0IjMzEzM1UTM1QDN5MjM5ADMwAjMwUzLyIzLyYzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/5/f67/wZwpmL0YzMwIDN4QTO2UzM1UTM1QDN5MjM5ADMwAjMwUzL0kzL4IzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/f/c5a/wZwpmLxgjN1IzM1QDM3UzM1UTM1QDN5MjM5ADMwAjMwUzL0AzL2EzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
:令
![函式疊代法](/img/c/ebc/wZwpmL4QDOwIzM0UzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1czLwMzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/6/63e/wZwpmLyMzN0QTO5QDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL0gzLyMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/e/31d/wZwpmL0UTM5cTM2cjN2UzM1UTM1QDN5MjM5ADMwAjMwUzL3YzL0MzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
:
![函式疊代法](/img/c/ebc/wZwpmL4QDOwIzM0UzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1czLwMzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/e/6c7/wZwpmLygzN0UDNzQzMxMzM1UTM1QDN5MjM5ADMwAjMwUzL0MzLxUzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/f/eb5/wZwpmL1UTM5czM1IzM3UzM1UTM1QDN5MjM5ADMwAjMwUzLyMzL0AzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/0/ecf/wZwpmLwQDO0gDN4cDMyMzM1UTM1QDN5MjM5ADMwAjMwUzL3AzLxgzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/1/5b9/wZwpmL2QzN5AzM3ITO2UzM1UTM1QDN5MjM5ADMwAjMwUzLykzL3AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/0/ecf/wZwpmLwQDO0gDN4cDMyMzM1UTM1QDN5MjM5ADMwAjMwUzL3AzLxgzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/6/2aa/wZwpmL2ETN0kDM1czN2UzM1UTM1QDN5MjM5ADMwAjMwUzL3czL3EzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/c/ebc/wZwpmL4QDOwIzM0UzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1czLwMzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/6/63e/wZwpmLyMzN0QTO5QDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL0gzLyMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
:若,,則令,,停;否則,令,轉。
![函式疊代法](/img/7/bf1/wZwpmLzMzNxQzN0UDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL1gzL3IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/6/281/wZwpmL0MDOxIjMxMTMzEDN0UTMyITNykTO0EDMwAjMwUzLzEzL0czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/7/79d/wZwpmLyMDO1UDMxQzMxADN0UTMyITNykTO0EDMwAjMwUzL0MzL2QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/2/dca/wZwpmLxgjN4UTN0MDM3UzM1UTM1QDN5MjM5ADMwAjMwUzLzAzL2czLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/a/e3f/wZwpmL1AzN1kDO3ATMwEDN0UTMyITNykTO0EDMwAjMwUzLwEzL4UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/1/3f1/wZwpmL3EDN2IDNzgTO5kzM0UTMyITNykTO0EDMwAjMwUzL4kzLwYzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
算法中的意義十分直觀,表示由點出發,至多走步(即經過個點)到達點的最短路線的長度。因為不考慮迴路,所以算法的疊代次數一定不超過。
函式疊代法收斂性
![函式疊代法](/img/d/8e2/wZwpmL3IjNxIjMwgTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLwAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/7/79d/wZwpmLyMDO1UDMxQzMxADN0UTMyITNykTO0EDMwAjMwUzL0MzL2QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/f6b/wZwpmLzADOyUTN2MDN3UzM1UTM1QDN5MjM5ADMwAjMwUzLzQzL2AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
由函式疊代法的算法產生的函式序列關於單調下降且收斂到的解。
![函式疊代法](/img/f/4f2/wZwpmL0cjN5gjM2gTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzL1UzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/69d/wZwpmL3AzN4YTM4IDM3UzM1UTM1QDN5MjM5ADMwAjMwUzLyAzLxMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
證明:任意的,有。
![函式疊代法](/img/d/e38/wZwpmLxEjMygjNyMDM3UzM1UTM1QDN5MjM5ADMwAjMwUzLzAzL4IzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/7/0b6/wZwpmL1MjNxEDMykDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL5gzLxAzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/4/f97/wZwpmLwgjN1kTMxUzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1czL2AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/1/836/wZwpmL0QzNxkjN1gTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzL3czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/7/bf1/wZwpmLzMzNxQzN0UDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL1gzL3IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/79d/wZwpmLyMDO1UDMxQzMxADN0UTMyITNykTO0EDMwAjMwUzL0MzL2QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
取,則,故對皆成立。即關於單調下降。
![函式疊代法](/img/6/cce/wZwpmLxUzN5EDOyYTO2UzM1UTM1QDN5MjM5ADMwAjMwUzL2kzL2EzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![函式疊代法](/img/d/8e2/wZwpmL3IjNxIjMwgTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLwAzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/7/79d/wZwpmLyMDO1UDMxQzMxADN0UTMyITNykTO0EDMwAjMwUzL0MzL2QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/bf1/wZwpmLzMzNxQzN0UDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL1gzL3IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/5/84c/wZwpmL3ADOzcDN3MjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL2IzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![函式疊代法](/img/5/84c/wZwpmL3ADOzcDN3MjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL2IzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/f6b/wZwpmLzADOyUTN2MDN3UzM1UTM1QDN5MjM5ADMwAjMwUzLzQzL2AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
由,所以關於是單調有界序列,因而收斂,設收斂到,下面證明是的解。
![函式疊代法](/img/6/281/wZwpmL0MDOxIjMxMTMzEDN0UTMyITNykTO0EDMwAjMwUzLzEzL0czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/a/325/wZwpmL2czMzMTO3QjN0kTO0UTMyITNykTO0EDMwAjMwUzL0YzLwQzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/8/b3c/wZwpmLxUzM2AjNyYTMzEzM1UTM1QDN5MjM5ADMwAjMwUzL2EzL0MzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/5/93e/wZwpmL3IDM3cjN4IDM3UzM1UTM1QDN5MjM5ADMwAjMwUzLyAzL4czLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/f/01d/wZwpmLzYjM5QjN3MTO2UzM1UTM1QDN5MjM5ADMwAjMwUzLzkzLxczLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![函式疊代法](/img/2/bf8/wZwpmLxAzMxMDN0UzN2UzM1UTM1QDN5MjM5ADMwAjMwUzL1czL3IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
由於狀態僅取有限多個值,所以上述收斂是一致收斂。按定義,任給,總存在,當時,有,。
由此得:
![函式疊代法](/img/e/bd3/wZwpmL4ETN3kDO3cTO2UzM1UTM1QDN5MjM5ADMwAjMwUzL3kzLzIzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
從而
![函式疊代法](/img/5/784/wZwpmLwIjM5YTN4AjN2UzM1UTM1QDN5MjM5ADMwAjMwUzLwYzLzAzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![函式疊代法](/img/f/15c/wZwpmLyQDMyQTOxYDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL2gzLyYzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/9/370/wZwpmL0MjM5MzN4EDM3UzM1UTM1QDN5MjM5ADMwAjMwUzLxAzL2QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
令,由上面兩式有:
![函式疊代法](/img/e/99b/wZwpmLyYzNwkDNwYTN2UzM1UTM1QDN5MjM5ADMwAjMwUzL2UzL4czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![函式疊代法](/img/7/bf1/wZwpmLzMzNxQzN0UDO2UzM1UTM1QDN5MjM5ADMwAjMwUzL1gzL3IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![函式疊代法](/img/7/f6b/wZwpmLzADOyUTN2MDN3UzM1UTM1QDN5MjM5ADMwAjMwUzLzQzL2AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
這表明收斂到方程的解。