看動(dòng)畫(huà)輕松理解“遞歸”與“動(dòng)態(tài)規(guī)劃”

在學(xué)習(xí)「數(shù)據(jù)結(jié)構(gòu)和算法」的過(guò)程中，因?yàn)槿肆?xí)慣了平鋪直敘的思維方式，所以「遞歸」與「動(dòng)態(tài)規(guī)劃」這種帶循環(huán)概念（繞來(lái)繞去）的往往是相對(duì)比較難以理解的兩個(gè)抽象知識(shí)點(diǎn)。

程序員小吳打算使用動(dòng)畫(huà)的形式來(lái)幫助理解「遞歸」，然后通過(guò)「遞歸」的概念延伸至理解「動(dòng)態(tài)規(guī)劃」算法思想。

什么是遞歸

先下定義：遞歸算法是一種直接或者間接調(diào)用自身函數(shù)或者方法的算法。

通俗來(lái)說(shuō)，遞歸算法的實(shí)質(zhì)是把問(wèn)題分解成規(guī)?？s小的同類(lèi)問(wèn)題的子問(wèn)題，然后遞歸調(diào)用方法來(lái)表示問(wèn)題的解。它有如下特點(diǎn)：

一個(gè)問(wèn)題的解可以分解為幾個(gè)子問(wèn)題的解

這個(gè)問(wèn)題與分解之后的子問(wèn)題，除了數(shù)據(jù)規(guī)模不同，求解思路完全一樣

存在遞歸終止條件，即必須有一個(gè)明確的遞歸結(jié)束條件，稱(chēng)之為遞歸出口

遞歸動(dòng)畫(huà)

通過(guò)動(dòng)畫(huà)一個(gè)一個(gè)特點(diǎn)來(lái)進(jìn)行分析。

1.一個(gè)問(wèn)題的解可以分解為幾個(gè)子問(wèn)題的解

子問(wèn)題就是相對(duì)與其前面的問(wèn)題數(shù)據(jù)規(guī)模更小的問(wèn)題。

在動(dòng)圖中①號(hào)問(wèn)題（一塊大區(qū)域）劃分為②號(hào)問(wèn)題，②號(hào)問(wèn)題由兩個(gè)子問(wèn)題（兩塊中區(qū)域）組成。

2. 這個(gè)問(wèn)題與分解之后的子問(wèn)題，除了數(shù)據(jù)規(guī)模不同，求解思路完全一樣

「①號(hào)劃分為②號(hào)」與「②號(hào)劃分為③號(hào)」的邏輯是一致的，求解思路是一樣的。

3. 存在遞歸終止條件，即存在遞歸出口

把問(wèn)題分解為子問(wèn)題，把子問(wèn)題再分解為子子問(wèn)題，一層一層分解下去，不能存在無(wú)限循環(huán)，這就需要有終止條件。

①號(hào)劃分為②號(hào)，②號(hào)劃分為③號(hào)，③號(hào)劃分為④號(hào)，劃分到④號(hào)的時(shí)候每個(gè)區(qū)域只有一個(gè)不能劃分的問(wèn)題，這就表明存在遞歸終止條件。

從遞歸的經(jīng)典示例開(kāi)始

一、數(shù)組求和

數(shù)組求和

11Sum(arr[0...n-1])=arr[0]+Sum(arr[1...n-1])

后面的 Sum 函數(shù)要解決的就是比前一個(gè) Sum 更小的同一問(wèn)題。

11Sum(arr[1...n-1])=arr[1]+Sum(arr[2...n-1])

以此類(lèi)推，直到對(duì)一個(gè)空數(shù)組求和，空數(shù)組和為 0 ，此時(shí)變成了最基本的問(wèn)題。

11Sum(arr[n-1...n-1])=arr[n-1]+Sum([])

二、漢諾塔問(wèn)題

漢諾塔（Hanoi Tower）問(wèn)題也是一個(gè)經(jīng)典的遞歸問(wèn)題，該問(wèn)題描述如下：

漢諾塔問(wèn)題：古代有一個(gè)梵塔，塔內(nèi)有三個(gè)座A、B、C，A座上有64個(gè)盤(pán)子，盤(pán)子大小不等，大的在下，小的在上。有一個(gè)和尚想把這個(gè)盤(pán)子從A座移到B座，但每次只能允許移動(dòng)一個(gè)盤(pán)子，并且在移動(dòng)過(guò)程中，3個(gè)座上的盤(pán)子始終保持大盤(pán)在下，小盤(pán)在上。

兩個(gè)盤(pán)子

三個(gè)盤(pán)子

① 如果只有 1 個(gè)盤(pán)子，則不需要利用 B 塔，直接將盤(pán)子從 A 移動(dòng)到 C 。

② 如果有 2 個(gè)盤(pán)子，可以先將盤(pán)子 2 上的盤(pán)子 1 移動(dòng)到 B ；將盤(pán)子 2 移動(dòng)到 C ；將盤(pán)子 1 移動(dòng)到 C 。這說(shuō)明了：可以借助 B 將 2 個(gè)盤(pán)子從 A 移動(dòng)到 C ，當(dāng)然，也可以借助 C 將 2 個(gè)盤(pán)子從 A 移動(dòng)到 B 。

③ 如果有 3 個(gè)盤(pán)子，那么根據(jù) 2 個(gè)盤(pán)子的結(jié)論，可以借助 C 將盤(pán)子 3 上的兩個(gè)盤(pán)子從 A 移動(dòng)到 B ；將盤(pán)子 3 從 A 移動(dòng)到 C ，A 變成空座；借助 A 座，將 B 上的兩個(gè)盤(pán)子移動(dòng)到 C 。

④ 以此類(lèi)推，上述的思路可以一直擴(kuò)展到 n 個(gè)盤(pán)子的情況，將將較小的 n-1個(gè)盤(pán)子看做一個(gè)整體，也就是我們要求的子問(wèn)題，以借助 B 塔為例，可以借助空塔 B 將盤(pán)子A上面的 n-1 個(gè)盤(pán)子從 A 移動(dòng)到 B ；將A 最大的盤(pán)子移動(dòng)到 C ， A 變成空塔；借助空塔 A ，將 B 塔上的 n-2 個(gè)盤(pán)子移動(dòng)到 A，將 C 最大的盤(pán)子移動(dòng)到 C， B 變成空塔……

三、爬臺(tái)階問(wèn)題

問(wèn)題描述：

一個(gè)人爬樓梯，每次只能爬1個(gè)或2個(gè)臺(tái)階，假設(shè)有n個(gè)臺(tái)階，那么這個(gè)人有多少種不同的爬樓梯方法？

先從簡(jiǎn)單的開(kāi)始，以 4 個(gè)臺(tái)階為例，可以通過(guò)每次爬 1 個(gè)臺(tái)階爬完樓梯：

每次爬 1 個(gè)臺(tái)階

可以通過(guò)先爬 2 個(gè)臺(tái)階，剩下的每次爬 1 個(gè)臺(tái)階爬完樓梯

先爬 2 個(gè)臺(tái)階

在這里，可以思考一下：可以根據(jù)第一步的走法把所有走法分為兩類(lèi)：

① 第一類(lèi)是第一步走了 1 個(gè)臺(tái)階② 第二類(lèi)是第一步走了 2 個(gè)臺(tái)階

所以 n 個(gè)臺(tái)階的走法就等于先走 1 階后，n-1 個(gè)臺(tái)階的走法 ，然后加上先走 2 階后，n-2 個(gè)臺(tái)階的走法。

用公式表示就是：

f(n) = f(n-1)+f(n-2)

有了遞推公式，遞歸代碼基本上就完成了一半。那么接下來(lái)考慮遞歸終止條件。

當(dāng)有一個(gè)臺(tái)階時(shí)，我們不需要再繼續(xù)遞歸，就只有一種走法。

所以 f(1)=1。

通過(guò)用 n = 2，n = 3 這樣比較小的數(shù)試驗(yàn)一下后發(fā)現(xiàn)這個(gè)遞歸終止條件還不足夠。

n = 2 時(shí)，f(2) = f(1) + f(0)。如果遞歸終止條件只有一個(gè)f(1) = 1，那 f(2)就無(wú)法求解，遞歸無(wú)法結(jié)束。 所以除了 f(1) = 1這一個(gè)遞歸終止條件外，還要有f(0) = 1，表示走 0 個(gè)臺(tái)階有一種走法，從思維上以及動(dòng)圖上來(lái)看，這顯得的有點(diǎn)不符合邏輯。所以為了便于理解，把 f(2) = 2 作為一種終止條件，表示走 2 個(gè)臺(tái)階，有兩種走法，一步走完或者分兩步來(lái)走。

總結(jié)如下：

① 假設(shè)只有一個(gè)臺(tái)階，那么只有一種走法，那就是爬 1 個(gè)臺(tái)階② 假設(shè)有兩個(gè)個(gè)臺(tái)階，那么有兩種走法，一步走完或者分兩步來(lái)走

遞歸終止條件

通過(guò)遞歸條件：

11f(1)=1;22f(2)=2;33f(n)=f(n-1)+f(n-2)

很容易推導(dǎo)出遞歸代碼：

11intf(intn){22if(n==1)return1;33if(n==2)return2;44returnf(n-1)+f(n-2);55}

通過(guò)上述三個(gè)示例，總結(jié)一下如何寫(xiě)遞歸代碼：

找到如何將大問(wèn)題分解為小問(wèn)題的規(guī)律

通過(guò)規(guī)律寫(xiě)出遞推公式

通過(guò)遞歸公式的臨界點(diǎn)推敲出終止條件、

將遞推公式和終止條件翻譯成代碼

什么是動(dòng)態(tài)規(guī)劃

介紹動(dòng)態(tài)規(guī)劃之前先介紹一下分治策略（Divide and Conquer）。

分治策略

將原問(wèn)題分解為若干個(gè)規(guī)模較小但類(lèi)似于原問(wèn)題的子問(wèn)題（Divide），「遞歸」的求解這些子問(wèn)題（Conquer），然后再合并這些子問(wèn)題的解來(lái)建立原問(wèn)題的解。

因?yàn)樵谇蠼獯髥?wèn)題時(shí)，需要遞歸的求小問(wèn)題，因此一般用「遞歸」的方法實(shí)現(xiàn)，即自頂向下。

動(dòng)態(tài)規(guī)劃（Dynamic Programming）

動(dòng)態(tài)規(guī)劃其實(shí)和分治策略是類(lèi)似的，也是將一個(gè)原問(wèn)題分解為若干個(gè)規(guī)模較小的子問(wèn)題，遞歸的求解這些子問(wèn)題，然后合并子問(wèn)題的解得到原問(wèn)題的解。

區(qū)別在于這些子問(wèn)題會(huì)有重疊，一個(gè)子問(wèn)題在求解后，可能會(huì)再次求解，于是我們想到將這些子問(wèn)題的解存儲(chǔ)起來(lái)，當(dāng)下次再次求解這個(gè)子問(wèn)題時(shí)，直接拿過(guò)來(lái)就是。

其實(shí)就是說(shuō)，動(dòng)態(tài)規(guī)劃所解決的問(wèn)題是分治策略所解決問(wèn)題的一個(gè)子集，只是這個(gè)子集更適合用動(dòng)態(tài)規(guī)劃來(lái)解決從而得到更小的運(yùn)行時(shí)間。

即用動(dòng)態(tài)規(guī)劃能解決的問(wèn)題分治策略肯定能解決，只是運(yùn)行時(shí)間長(zhǎng)了。因此，分治策略一般用來(lái)解決子問(wèn)題相互對(duì)立的問(wèn)題，稱(chēng)為標(biāo)準(zhǔn)分治，而動(dòng)態(tài)規(guī)劃用來(lái)解決子問(wèn)題重疊的問(wèn)題。

與「分治策略」「動(dòng)態(tài)規(guī)劃」概念接近的還有「貪心算法」「回溯算法」，由于篇幅限制，程序員小吳就不在這進(jìn)行展開(kāi)，在后續(xù)的文章中將分別詳細(xì)的介紹「貪心算法」、「回溯算法」、「分治算法」，敬請(qǐng)關(guān)注：）

將「動(dòng)態(tài)規(guī)劃」的概念關(guān)鍵點(diǎn)抽離出來(lái)描述就是這樣的：

1.動(dòng)態(tài)規(guī)劃法試圖只解決每個(gè)子問(wèn)題一次2.一旦某個(gè)給定子問(wèn)題的解已經(jīng)算出，則將其記憶化存儲(chǔ)，以便下次需要同一個(gè)子問(wèn)題解之時(shí)直接查表。

從遞歸到動(dòng)態(tài)規(guī)劃

還是以爬臺(tái)階為例，如果以遞歸的方式解決的話，那么這種方法的時(shí)間復(fù)雜度為O(2^n)，具體的計(jì)算可以查看筆者之前的文章 《冰與火之歌：時(shí)間復(fù)雜度與空間復(fù)雜度》。

相同顏色代表著 爬臺(tái)階問(wèn)題 在遞歸計(jì)算過(guò)程中重復(fù)計(jì)算的部分。

爬臺(tái)階的時(shí)間復(fù)雜度

通過(guò)圖片可以發(fā)現(xiàn)一個(gè)現(xiàn)象，我們是 自頂向下 的進(jìn)行遞歸運(yùn)算，比如：f(n) 是f(n-1)與f(n-2)相加，f(n-1) 是f(n-2)與f(n-3)相加。

思考一下：如果反過(guò)來(lái)，采取自底向上，用迭代的方式進(jìn)行推導(dǎo)會(huì)怎么樣了？

下面通過(guò)表格來(lái)解釋 f(n)自底向上的求解過(guò)程。

臺(tái)階數(shù) 1 2 3 4 5 6 7 8 9走法數(shù) 1 2

表格的第一行代表了樓梯臺(tái)階的數(shù)目，第二行代表了若干臺(tái)階對(duì)應(yīng)的走法數(shù)。其中f(1) = 1和 f(2) = 2是前面明確的結(jié)果。

第一次迭代，如果臺(tái)階數(shù)為 3 ，那么走法數(shù)為 3 ，通過(guò) f(3) = f(2) + f(1)得來(lái)。

第二次迭代，如果臺(tái)階數(shù)為 4 ，那么走法數(shù)為 5 ，通過(guò) f(4) = f(3) + f(2)得來(lái)。

由此可見(jiàn)，每一次迭代過(guò)程中，只需要保留之前的兩個(gè)狀態(tài)，就可以推到出新的狀態(tài)。

show me the code

11intf(intn){ 22if(n==1)return1; 33if(n==2)return2; 44//a保存倒數(shù)第二個(gè)子狀態(tài)數(shù)據(jù)，b保存倒數(shù)第一個(gè)子狀態(tài)數(shù)據(jù)，temp保存當(dāng)前狀態(tài)的數(shù)據(jù) 55inta=1,b=2; 66inttemp=a+b; 77for(inti=3;i<=?n;?i++)?{ 8?8????????temp?=?a?+?b; 9?9????????a?=?b;1010????????b?=?temp;?1111????}1212????return?temp;?1313}

程序從 i = 3 開(kāi)始迭代，一直到 i = n 結(jié)束。每一次迭代，都會(huì)計(jì)算出多一級(jí)臺(tái)階的走法數(shù)量。迭代過(guò)程中只需保留兩個(gè)臨時(shí)變量 a 和 b ，分別代表了上一次和上上次迭代的結(jié)果。為了便于理解，引入了temp 變量。temp 代表了當(dāng)前迭代的結(jié)果值。

看一看出，事實(shí)上并沒(méi)有增加太多的代碼，只是簡(jiǎn)單的進(jìn)行了優(yōu)化，時(shí)間復(fù)雜度便就降為O(n)，而空間復(fù)雜度也變?yōu)镺(1)，這，就是「動(dòng)態(tài)規(guī)劃」的強(qiáng)大！

詳解動(dòng)態(tài)規(guī)劃

「動(dòng)態(tài)規(guī)劃」中包含三個(gè)重要的概念：

【最優(yōu)子結(jié)構(gòu)】【邊界】【狀態(tài)轉(zhuǎn)移公式】

在「 爬臺(tái)階問(wèn)題 」中

f(10) = f(9) + f(8) 是【最優(yōu)子結(jié)構(gòu)】 f(1) 與 f(2) 是【邊界】 f(n) = f(n-1) + f(n-2)【狀態(tài)轉(zhuǎn)移公式】

「 爬臺(tái)階問(wèn)題 」 只是動(dòng)態(tài)規(guī)劃中相對(duì)簡(jiǎn)單的問(wèn)題，因?yàn)樗挥幸粋€(gè)變化維度，如果涉及多個(gè)維度的話，那么問(wèn)題就變得復(fù)雜多了。

難點(diǎn)就在于找出 「動(dòng)態(tài)規(guī)劃」中的這三個(gè)概念。

比如「 國(guó)王和金礦問(wèn)題 」。

國(guó)王和金礦問(wèn)題

有一個(gè)國(guó)家發(fā)現(xiàn)了 5 座金礦，每座金礦的黃金儲(chǔ)量不同，需要參與挖掘的工人數(shù)也不同。參與挖礦工人的總數(shù)是 10 人。每座金礦要么全挖，要么不挖，不能派出一半人挖取一半金礦。要求用程序求解出，要想得到盡可能多的黃金，應(yīng)該選擇挖取哪幾座金礦？

5 座金礦

找出 「動(dòng)態(tài)規(guī)劃」中的這三個(gè)概念

國(guó)王和金礦問(wèn)題中的【最優(yōu)子結(jié)構(gòu)】

國(guó)王和金礦問(wèn)題中的【最優(yōu)子結(jié)構(gòu)】

國(guó)王和金礦問(wèn)題中的【最優(yōu)子結(jié)構(gòu)】有兩個(gè)：

① 4 金礦 10 工人的最優(yōu)選擇② 4 金礦 （10 - 5） 工人的最優(yōu)選擇

4 金礦的最優(yōu)選擇與 5 金礦的最優(yōu)選擇之間的關(guān)系是

MAX[（4 金礦 10 工人的挖金數(shù)量），（4 金礦 5 工人的挖金數(shù)量 + 第 5 座金礦的挖金數(shù)量）]

國(guó)王和金礦問(wèn)題中的【邊界】

國(guó)王和金礦問(wèn)題中的【邊界】 有兩個(gè)：

① 當(dāng)只有 1 座金礦時(shí)，只能挖這座唯一的金礦，得到的黃金數(shù)量為該金礦的數(shù)量② 當(dāng)給定的工人數(shù)量不夠挖 1 座金礦時(shí)，獲取的黃金數(shù)量為 0

國(guó)王和金礦問(wèn)題中的【狀態(tài)轉(zhuǎn)移公式】

我們把金礦數(shù)量設(shè)為 N，工人數(shù)設(shè)為 W，金礦的黃金量設(shè)為數(shù)組G[]，金礦的用工量設(shè)為數(shù)組P[]，得到【狀態(tài)轉(zhuǎn)移公式】：

邊界值：F(n,w) = 0 (n <= 1, w < p[0])

F(n,w) = g[0] (n==1, w >= p[0])

F(n,w) = F(n-1,w) (n > 1, w < p[n-1])

F(n,w) = max(F(n-1,w), F(n-1,w-p[n-1]) + g[n-1]) (n > 1, w >= p[n-1])

國(guó)王和金礦問(wèn)題中的【實(shí)現(xiàn)】

先通過(guò)幾幅動(dòng)畫(huà)來(lái)理解 「工人」 與 「金礦」 搭配的方式

1.只挖第一座金礦

只挖第一座金礦

在只挖第一座金礦前面兩個(gè)工人挖礦收益為 零，當(dāng)有三個(gè)工人時(shí)，才開(kāi)始產(chǎn)生收益為 200，而后即使增加再多的工人收益不變，因?yàn)橹挥幸蛔鸬V可挖。

2.挖第一座與第二座金礦

挖第一座金礦與第二座金礦

在第一座與第二座金礦這種情況中，前面兩個(gè)工人挖礦收益為 零，因?yàn)?W < 3,所以F(N,W) = F(N-1,W) = 0。

當(dāng)有 三 個(gè)工人時(shí)，將其安排挖第 一 個(gè)金礦，開(kāi)始產(chǎn)生收益為 200。

當(dāng)有 四 個(gè)工人時(shí)，挖礦位置變化，將其安排挖第 二 個(gè)金礦，開(kāi)始產(chǎn)生收益為 300。

當(dāng)有 五、六 個(gè)工人時(shí)，由于多于 四 個(gè)工人的人數(shù)不足以去開(kāi)挖第 一 座礦，因此收益還是為 300。

當(dāng)有 七 個(gè)工人時(shí)，可以同時(shí)開(kāi)采第 一 個(gè)和第 二 個(gè)金礦，開(kāi)始產(chǎn)生收益為 500。

3.挖前三座金礦

這是「國(guó)王和金礦」 問(wèn)題中最重要的一個(gè)動(dòng)畫(huà)之一，可以多看幾遍

挖前三座金礦

4.挖前四座金礦

這是「國(guó)王和金礦」 問(wèn)題中最重要的一個(gè)動(dòng)畫(huà)之一，可以多看幾遍

挖前四座金礦

國(guó)王和金礦問(wèn)題中的【規(guī)律】

仔細(xì)觀察上面的幾組動(dòng)畫(huà)可以發(fā)現(xiàn)：

對(duì)比「挖第一座與第二座金礦」和「挖前三座金礦」，在「挖前三座金礦」中，3 金礦 7 工人的挖礦收益，來(lái)自于 2 金礦 7 工人和 2 金礦 4 工人的結(jié)果，Max(500,300 + 350) = 650；

對(duì)比「挖前三座金礦」和「挖前四座金礦」，在「挖前四座金礦」中，4 金礦 10 工人的挖礦收益，來(lái)自于 3 金礦 10 工人和 3 金礦 5 工人的結(jié)果，Max(850,400 + 300) = 850；

國(guó)王和金礦問(wèn)題中的【動(dòng)態(tài)規(guī)劃代碼】

11代碼來(lái)源：https://www.cnblogs.com/SDJL/archive/2008/08/22/1274312.html 22 33//maxGold[i][j]保存了i個(gè)人挖前j個(gè)金礦能夠得到的最大金子數(shù)，等于-1時(shí)表示未知 44intmaxGold[max_people][max_n]; 55 66intGetMaxGold(intpeople,intmineNum){ 77intretMaxGold;//聲明返回的最大金礦數(shù)量 88//如果這個(gè)問(wèn)題曾經(jīng)計(jì)算過(guò) 99if(maxGold[people][mineNum]!=-1){1010retMaxGold=maxGold[people][mineNum];//獲得保存起來(lái)的值1111}elseif(mineNum==0){//如果僅有一個(gè)金礦時(shí)[對(duì)應(yīng)動(dòng)態(tài)規(guī)劃中的"邊界"]1212if(people>=peopleNeed[mineNum])//當(dāng)給出的人數(shù)足夠開(kāi)采這座金礦1313retMaxGold=gold[mineNum];//得到的最大值就是這座金礦的金子數(shù)1414else//否則這唯一的一座金礦也不能開(kāi)采1515retMaxGold=0;//得到的最大值為0個(gè)金子1616}elseif(people>=peopleNeed[mineNum])//如果人夠開(kāi)采這座金礦[對(duì)應(yīng)動(dòng)態(tài)規(guī)劃中的"最優(yōu)子結(jié)構(gòu)"]1717{1818//考慮開(kāi)采與不開(kāi)采兩種情況，取最大值1919retMaxGold=max(2020GetMaxGold(people-peopleNeed[mineNum],mineNum-1)+gold[mineNum],2121GetMaxGold(people,mineNum-1)2222);2323}else//否則給出的人不夠開(kāi)采這座金礦[對(duì)應(yīng)動(dòng)態(tài)規(guī)劃中的"最優(yōu)子結(jié)構(gòu)"]2424{2525retMaxGold=GetMaxGold(people,mineNum-1);//僅考慮不開(kāi)采的情況2626maxGold[people][mineNum]=retMaxGold;2727}2828returnretMaxGold;2929}

動(dòng)態(tài)規(guī)劃代碼

希望通過(guò)這篇文章，大家能對(duì)「遞歸」與「動(dòng)態(tài)規(guī)劃」有一定的理解。后續(xù)將以「動(dòng)態(tài)規(guī)劃」為基礎(chǔ)研究多重背包算法、迪杰特斯拉算法等更高深的算法問(wèn)題，同時(shí)「遞歸」的更多概念也會(huì)在「分治算法」章節(jié)再次延伸，敬請(qǐng)對(duì)程序員小吳保持關(guān)注。