題目
有N件物品和壹個容量為V的背包。第i件物品的費用是c[i],價值是w[i]。求解將哪些物品裝入背包可使這些物品的費用總和不超過背包容量,且價值總和最大。
基本思路
這是最基礎的背包問題,特點是:每種物品僅有壹件,可以選擇放或不放。
用子問題定義狀態:即f[i][v]表示前i件物品恰放入壹個容量為v的背包可以獲得的最大價值。則其狀態轉移方程便是:f[i][v]=max。
這個方程非常重要,基本上所有跟背包相關的問題的方程都是由它衍生出來的。所以有必要將它詳細解釋壹下:“將前i件物品放入容量為v的背包中”這個子問題,若只考慮第i件物品的策略(放或不放),那麽就可以轉化為壹個只牽扯前i-1件物品的問題。如果不放第i件物品,那麽問題就轉化為“前i-1件物品放入容量為v的背包中”;如果放第i件物品,那麽問題就轉化為“前i-1件物品放入剩下的容量為v-c[i]的背包中”,此時能獲得的最大價值就是f[i-1][v-c[i]]再加上通過放入第i件物品獲得的價值w[i]。
註意f[i][v]有意義當且僅當存在壹個前i件物品的子集,其費用總和為v。所以按照這個方程遞推完畢後,最終的答案並不壹定是f[N][V],而是f[N][0..V]的最大值。如果將狀態的定義中的“恰”字去掉,在轉移方程中就要再加入壹項f[i][v-1],這樣就可以保證f[N][V]就是最後的答案。至於為什麽這樣就可以,由妳自己來體會了。
優化空間復雜度
以上方法的時間和空間復雜度均為O(N*V),其中時間復雜度基本已經不能再優化了,但空間復雜度卻可以優化到O(V)。
先考慮上面講的基本思路如何實現,肯定是有壹個主循環i=1..N,每次算出來二維數組f[i][0..V]的所有值。那麽,如果只用壹個數組f[0..V],能不能保證第i次循環結束後f[v]中表示的就是我們定義的狀態f[i][v]呢?f[i][v]是由f[i-1][v]和f[i-1][v-c[i]]兩個子問題遞推而來,能否保證在推f[i][v]時(也即在第i次主循環中推f[v]時)能夠得到f[i-1][v]和f[i-1][v-c[i]]的值呢?事實上,這要求在每次主循環中我們以v=V..0的順序推f[v],這樣才能保證推f[v]時f[v-c[i]]保存的是狀態f[i-1][v-c[i]]的值。偽代碼如下:
for i=1..N
for v=V..0
f[v]=max;
其中的f[v]=max壹句恰就相當於我們的轉移方程f[i][v]=max,因為現在的f[v-c[i]]就相當於原來的f[i-1][v-c[i]]。如果將v的循環順序從上面的逆序改成順序的話,那麽則成了f[i][v]由f[i][v-c[i]]推知,與本題意不符,但它卻是另壹個重要的背包問題P02最簡捷的解決方案,故學習只用壹維數組解01背包問題是十分必要的。
總結
01背包問題是最基本的背包問題,它包含了背包問題中設計狀態、方程的最基本思想,另外,別的類型的背包問題往往也可以轉換成01背包問題求解。故壹定要仔細體會上面基本思路的得出方法,狀態轉移方程的意義,以及最後怎樣優化的空間復雜度。
P02: 完全背包問題
題目
有N種物品和壹個容量為V的背包,每種物品都有無限件可用。第i種物品的費用是c[i],價值是w[i]。求解將哪些物品裝入背包可使這些物品的費用總和不超過背包容量,且價值總和最大。
基本思路
這個問題非常類似於01背包問題,所不同的是每種物品有無限件。也就是從每種物品的角度考慮,與它相關的策略已並非取或不取兩種,而是有取0件、取1件、取2件……等很多種。如果仍然按照解01背包時的思路,令f[i][v]表示前i種物品恰放入壹個容量為v的背包的最大權值。仍然可以按照每種物品不同的策略寫出狀態轉移方程,像這樣:f[i][v]=max。這跟01背包問題壹樣有O(N*V)個狀態需要求解,但求解每個狀態的時間則不是常數了,求解狀態f[i][v]的時間是O(v/c[i]),總的復雜度是超過O(VN)的。
將01背包問題的基本思路加以改進,得到了這樣壹個清晰的方法。這說明01背包問題的方程的確是很重要,可以推及其它類型的背包問題。但我們還是試圖改進這個復雜度。
壹個簡單有效的優化
完全背包問題有壹個很簡單有效的優化,是這樣的:若兩件物品i、j滿足c[i]<=c[j]且w[i]>=w[j],則將物品j去掉,不用考慮。這個優化的正確性顯然:任何情況下都可將價值小費用高得j換成物美價廉的i,得到至少不會更差的方案。對於隨機生成的數據,這個方法往往會大大減少物品的件數,從而加快速度。然而這個並不能改善最壞情況的復雜度,因為有可能特別設計的數據可以壹件物品也去不掉。
轉化為01背包問題求解
既然01背包問題是最基本的背包問題,那麽我們可以考慮把完全背包問題轉化為01背包問題來解。最簡單的想法是,考慮到第i種物品最多選V/c[i]件,於是可以把第i種物品轉化為V/c[i]件費用及價值均不變的物品,然後求解這個01背包問題。這樣完全沒有改進基本思路的時間復雜度,但這畢竟給了我們將完全背包問題轉化為01背包問題的思路:將壹種物品拆成多件物品。
更高效的轉化方法是:把第i種物品拆成費用為c[i]*2^k、價值為w[i]*2^k的若幹件物品,其中k滿足c[i]*2^k<V。這是二進制的思想,因為不管最優策略選幾件第i種物品,總可以表示成若幹個2^k件物品的和。這樣把每種物品拆成O(log(V/c[i]))件物品,是壹個很大的改進。 但我們有更優的O(VN)的算法。 * O(VN)的算法 這個算法使用壹維數組,先看偽代碼: <pre class"example"> for i=1..N for v=0..V f[v]=max;
妳會發現,這個偽代碼與P01的偽代碼只有v的循環次序不同而已。為什麽這樣壹改就可行呢?首先想想為什麽P01中要按照v=V..0的逆序來循環。這是因為要保證第i次循環中的狀態f[i][v]是由狀態f[i-1][v-c[i]]遞推而來。換句話說,這正是為了保證每件物品只選壹次,保證在考慮“選入第i件物品”這件策略時,依據的是壹個絕無已經選入第i件物品的子結果f[i-1][v-c[i]]。而現在完全背包的特點恰是每種物品可選無限件,所以在考慮“加選壹件第i種物品”這種策略時,卻正需要壹個可能已選入第i種物品的子結果f[i][v-c[i]],所以就可以並且必須采用v=0..V的順序循環。這就是這個簡單的程序為何成立的道理。
這個算法也可以以另外的思路得出。例如,基本思路中的狀態轉移方程可以等價地變形成這種形式:f[i][v]=max,將這個方程用壹維數組實現,便得到了上面的偽代碼。
總結
完全背包問題也是壹個相當基礎的背包問題,它有兩個狀態轉移方程,分別在“基本思路”以及“O(VN)的算法“的小節中給出。希望妳能夠對這兩個狀態轉移方程都仔細地體會,不僅記住,也要弄明白它們是怎麽得出來的,最好能夠自己想壹種得到這些方程的方法。事實上,對每壹道動態規劃題目都思考其方程的意義以及如何得來,是加深對動態規劃的理解、提高動態規劃功力的好方法。
P03: 多重背包問題
題目
有N種物品和壹個容量為V的背包。第i種物品最多有n[i]件可用,每件費用是c[i],價值是w[i]。求解將哪些物品裝入背包可使這些物品的費用總和不超過背包容量,且價值總和最大。
基本算法
這題目和完全背包問題很類似。基本的方程只需將完全背包問題的方程略微壹改即可,因為對於第i種物品有n[i]+1種策略:取0件,取1件……取n[i]件。令f[i][v]表示前i種物品恰放入壹個容量為v的背包的最大權值,則:f[i][v]=max。復雜度是O(V*∑n[i])。
轉化為01背包問題
另壹種好想好寫的基本方法是轉化為01背包求解:把第i種物品換成n[i]件01背包中的物品,則得到了物品數為∑n[i]的01背包問題,直接求解,復雜度仍然是O(V*∑n[i])。
但是我們期望將它轉化為01背包問題之後能夠像完全背包壹樣降低復雜度。仍然考慮二進制的思想,我們考慮把第i種物品換成若幹件物品,使得原問題中第i種物品可取的每種策略——取0..n[i]件——均能等價於取若幹件代換以後的物品。另外,取超過n[i]件的策略必不能出現。
方法是:將第i種物品分成若幹件物品,其中每件物品有壹個系數,這件物品的費用和價值均是原來的費用和價值乘以這個系數。使這些系數分別為1,2,4,...,2^(k-1),n[i]-2^k+1,且k是滿足n[i]-2^k+1>0的最大整數。例如,如果n[i]為13,就將這種物品分成系數分別為1,2,4,6的四件物品。
分成的這幾件物品的系數和為n[i],表明不可能取多於n[i]件的第i種物品。另外這種方法也能保證對於0..n[i]間的每壹個整數,均可以用若幹個系數的和表示,這個證明可以分0..2^k-1和2^k..n[i]兩段來分別討論得出,並不難,希望妳自己思考嘗試壹下。
這樣就將第i種物品分成了O(log n[i])種物品,將原問題轉化為了復雜度為O(V*∑log n[i])的01背包問題,是很大的改進。
O(VN)的算法
多重背包問題同樣有O(VN)的算法。這個算法基於基本算法的狀態轉移方程,但應用單調隊列的方法使每個狀態的值可以以均攤O(1)的時間求解。由於用單調隊列優化的DP已超出了NOIP的範圍,故本文不再展開講解。我最初了解到這個方法是在樓天成的“男人八題”幻燈片上。
小結
這裏我們看到了將壹個算法的復雜度由O(V*∑n[i])改進到O(V*∑log n[i])的過程,還知道了存在應用超出NOIP範圍的知識的O(VN)算法。希望妳特別註意“拆分物品”的思想和方法,自己證明壹下它的正確性,並用盡量簡潔的程序來實現。
P04: 混合三種背包問題
問題
如果將P01、P02、P03混合起來。也就是說,有的物品只可以取壹次(01背包),有的物品可以取無限次(完全背包),有的物品可以取的次數有壹個上限(多重背包)。應該怎麽求解呢?
01背包與完全背包的混合
考慮到在P01和P02中最後給出的偽代碼只有壹處不同,故如果只有兩類物品:壹類物品只能取壹次,另壹類物品可以取無限次,那麽只需在對每個物品應用轉移方程時,根據物品的類別選用順序或逆序的循環即可,復雜度是O(VN)。偽代碼如下:
for i=1..N
if 第i件物品是01背包
for v=V..0
f[v]=max;
else if 第i件物品是完全背包
for v=0..V
f[v]=max;
再加上多重背包
如果再加上有的物品最多可以取有限次,那麽原則上也可以給出O(VN)的解法:遇到多重背包類型的物品用單調隊列解即可。但如果不考慮超過NOIP範圍的算法的話,用P03中將每個這類物品分成O(log n[i])個01背包的物品的方法也已經很優了。
小結
有人說,困難的題目都是由簡單的題目疊加而來的。這句話是否公理暫且存之不論,但它在本講中已經得到了充分的體現。本來01背包、完全背包、多重背包都不是什麽難題,但將它們簡單地組合起來以後就得到了這樣壹道壹定能嚇倒不少人的題目。但只要基礎紮實,領會三種基本背包問題的思想,就可以做到把困難的題目拆分成簡單的題目來解決。
P05: 二維費用的背包問題
問題
二維費用的背包問題是指:對於每件物品,具有兩種不同的費用;選擇這件物品必須同時付出這兩種代價;對於每種代價都有壹個可付出的最大值(背包容量)。問怎樣選擇物品可以得到最大的價值。設這兩種代價分別為代價1和代價2,第i件物品所需的兩種代價分別為a[i]和b[i]。兩種代價可付出的最大值(兩種背包容量)分別為V和U。物品的價值為w[i]。
算法
費用加了壹維,只需狀態也加壹維即可。設f[i][v][u]表示前i件物品付出兩種代價分別為v和u時可獲得的最大價值。狀態轉移方程就是:f[i][v][u]=max。如前述方法,可以只使用二維的數組:當每件物品只可以取壹次時變量v和u采用順序的循環,當物品有如完全背包問題時采用逆序的循環。當物品有如多重背包問題時拆分物品。
物品總個數的限制
有時,“二維費用”的條件是以這樣壹種隱含的方式給出的:最多只能取M件物品。這事實上相當於每件物品多了壹種“件數”的費用,每個物品的件數費用均為1,可以付出的最大件數費用為M。換句話說,設f[v][m]表示付出費用v、最多選m件時可得到的最大價值,則根據物品的類型(01、完全、多重)用不同的方法循環更新,最後在f[0..V][0..M]範圍內尋找答案。
另外,如果要求“恰取M件物品”,則在f[0..V][M]範圍內尋找答案。
小結
事實上,當發現由熟悉的動態規劃題目變形得來的題目時,在原來的狀態中加壹緯以滿足新的限制是壹種比較通用的方法。希望妳能從本講中初步體會到這種方法。
P06: 分組的背包問題
問題
有N件物品和壹個容量為V的背包。第i件物品的費用是c[i],價值是w[i]。這些物品被劃分為若幹組,每組中的物品互相沖突,最多選壹件。求解將哪些物品裝入背包可使這些物品的費用總和不超過背包容量,且價值總和最大。
算法
這個問題變成了每組物品有若幹種策略:是選擇本組的某壹件,還是壹件都不選。也就是說設f[k][v]表示前k組物品花費費用v能取得的最大權值,則有f[k][v]=max。
使用壹維數組的偽代碼如下:
for 所有的組k
for 所有的i屬於組k
for v=V..0
f[v]=max
另外,顯然可以對每組中的物品應用P02中“壹個簡單有效的優化”。
小結
分組的背包問題將彼此互斥的若幹物品稱為壹個組,這建立了壹個很好的模型。不少背包問題的變形都可以轉化為分組的背包問題(例如P07),由分組的背包問題進壹步可定義“泛化物品”的概念,十分有利於解題。
P07: 有依賴的背包問題
簡化的問題
這種背包問題的物品間存在某種“依賴”的關系。也就是說,i依賴於j,表示若選物品i,則必須選物品j。為了簡化起見,我們先設沒有某個物品既依賴於別的物品,又被別的物品所依賴;另外,沒有某件物品同時依賴多件物品。
算法
這個問題由NOIP2006金明的預算方案壹題擴展而來。遵從該題的提法,將不依賴於別的物品的物品稱為“主件”,依賴於某主件的物品稱為“附件”。由這個問題的簡化條件可知所有的物品由若幹主件和依賴於每個主件的壹個附件集合組成。
按照背包問題的壹般思路,僅考慮壹個主件和它的附件集合。可是,可用的策略非常多,包括:壹個也不選,僅選擇主件,選擇主件後再選擇壹個附件,選擇主件後再選擇兩個附件……無法用狀態轉移方程來表示如此多的策略。(事實上,設有n個附件,則策略有2^n+1個,為指數級。)
考慮到所有這些策略都是互斥的(也就是說,妳只能選擇壹種策略),所以壹個主件和它的附件集合實際上對應於P06中的壹個物品組,每個選擇了主件又選擇了若幹個附件的策略對應於這個物品組中的壹個物品,其費用和價值都是這個策略中的物品的值的和。但僅僅是這壹步轉化並不能給出壹個好的算法,因為物品組中的物品還是像原問題的策略壹樣多。
再考慮P06中的壹句話: 可以對每組中的物品應用P02中“壹個簡單有效的優化”。 這提示我們,對於壹個物品組中的物品,所有費用相同的物品只留壹個價值最大的,不影響結果。所以,我們可以對主件i的“附件集合”先進行壹次01背包,得到費用依次為0..V-c[i]所有這些值時相應的最大價值f'[0..V-c[i]]。那麽這個主件及它的附件集合相當於V-c[i]+1個物品的物品組,其中費用為c[i]+k的物品的價值為f'[k]+w[i]。也就是說原來指數級的策略中有很多策略都是冗余的,通過壹次01背包後,將主件i轉化為V-c[i]+1個物品的物品組,就可以直接應用P06的算法解決問題了。
更壹般的問題
更壹般的問題是:依賴關系以圖論中“森林”的形式給出(森林即多叉樹的集合),也就是說,主件的附件仍然可以具有自己的附件集合,限制只是每個物品最多只依賴於壹個物品(只有壹個主件)且不出現循環依賴。
解決這個問題仍然可以用將每個主件及其附件集合轉化為物品組的方式。唯壹不同的是,由於附件可能還有附件,就不能將每個附件都看作壹個壹般的01背包中的物品了。若這個附件也有附件集合,則它必定要被先轉化為物品組,然後用分組的背包問題解出主件及其附件集合所對應的附件組中各個費用的附件所對應的價值。
事實上,這是壹種樹形DP,其特點是每個父節點都需要對它的各個兒子的屬性進行壹次DP以求得自己的相關屬性。這已經觸及到了“泛化物品”的思想。看完P08後,妳會發現這個“依賴關系樹”每壹個子樹都等價於壹件泛化物品,求某節點為根的子樹對應的泛化物品相當於求其所有兒子的對應的泛化物品之和。
小結
NOIP2006的那道背包問題我做得很失敗,寫了上百行的代碼,卻壹分未得。後來我通過思考發現通過引入“物品組”和“依賴”的概念可以加深對這題的理解,還可以解決它的推廣問題。用物品組的思想考慮那題中極其特殊的依賴關系:物品不能既作主件又作附件,每個主件最多有兩個附件,可以發現壹個主件和它的兩個附件等價於壹個由四個物品組成的物品組,這便揭示了問題的某種本質。
我想說:失敗不是什麽丟人的事情,從失敗中全無收獲才是。
P08: 泛化物品
定義
考慮這樣壹種物品,它並沒有固定的費用和價值,而是它的價值隨著妳分配給它的費用而變化。這就是泛化物品的概念。
更嚴格的定義之。在背包容量為V的背包問題中,泛化物品是壹個定義域為0..V中的整數的函數h,當分配給它的費用為v時,能得到的價值就是h(v)。
這個定義有壹點點抽象,另壹種理解是壹個泛化物品就是壹個數組h[0..V],給它費用v,可得到價值h[V]。
壹個費用為c價值為w的物品,如果它是01背包中的物品,那麽把它看成泛化物品,它就是除了h(c)=w其它函數值都為0的壹個函數。如果它是完全背包中的物品,那麽它可以看成這樣壹個函數,僅當v被c整除時有h(v)=v/c*w,其它函數值均為0。如果它是多重背包中重復次數最多為n的物品,那麽它對應的泛化物品的函數有h(v)=v/c*w僅當v被c整除且v/c<=n,其它情況函數值均為0。
壹個物品組可以看作壹個泛化物品h。對於壹個0..V中的v,若物品組中不存在費用為v的的物品,則h(v)=0,否則h(v)為所有費用為v的物品的最大價值。P07中每個主件及其附件集合等價於壹個物品組,自然也可看作壹個泛化物品。
泛化物品的和
如果面對兩個泛化物品h和l,要用給定的費用從這兩個泛化物品中得到最大的價值,怎麽求呢?事實上,對於壹個給定的費用v,只需枚舉將這個費用如何分配給兩個泛化物品就可以了。同樣的,對於0..V的每壹個整數v,可以求得費用v分配到h和l中的最大價值f(v)。也即f(v)=max。可以看到,f也是壹個由泛化物品h和l決定的定義域為0..V的函數,也就是說,f是壹個由泛化物品h和l決定的泛化物品。
由此可以定義泛化物品的和:h、l都是泛化物品,若泛化物品f滿足f(v)=max,則稱f是h與l的和,即f=h+l。這個運算的時間復雜度是O(V^2)。
泛化物品的定義表明:在壹個背包問題中,若將兩個泛化物品代以它們的和,不影響問題的答案。事實上,對於其中的物品都是泛化物品的背包問題,求它的答案的過程也就是求所有這些泛化物品之和的過程。設此和為s,則答案就是s[0..V]中的最大值。
背包問題的泛化物品
壹個背包問題中,可能會給出很多條件,包括每種物品的費用、價值等屬性,物品之間的分組、依賴等關系等。但肯定能將問題對應於某個泛化物品。也就是說,給定了所有條件以後,就可以對每個非負整數v求得:若背包容量為v,將物品裝入背包可得到的最大價值是多少,這可以認為是定義在非負整數集上的壹件泛化物品。這個泛化物品——或者說問題所對應的壹個定義域為非負整數的函數——包含了關於問題本身的高度濃縮的信息。壹般而言,求得這個泛化物品的壹個子域(例如0..V)的值之後,就可以根據這個函數的取值得到背包問題的最終答案。
綜上所述,壹般而言,求解背包問題,即求解這個問題所對應的壹個函數,即該問題的泛化物品。而求解某個泛化物品的壹種方法就是將它表示為若幹泛化物品的和然後求之。
小結
本講可以說都是我自己的原創思想。具體來說,是我在學習函數式編程的 Scheme 語言時,用函數編程的眼光審視各類背包問題得出的理論。這壹講真的很抽象,也許在“模型的抽象程度”這壹方面已經超出了NOIP的要求,所以暫且看不懂也沒關系。相信隨著妳的OI之路逐漸延伸,有壹天妳會理解的。
我想說:“思考”是壹個OIer最重要的品質。簡單的問題,深入思考以後,也能發現更多。
P09: 背包問題問法的變化
以上涉及的各種背包問題都是要求在背包容量(費用)的限制下求可以取到的最大價值,但背包問題還有很多種靈活的問法,在這裏值得提壹下。但是我認為,只要深入理解了求背包問題最大價值的方法,即使問法變化了,也是不難想出算法的。
例如,求解最多可以放多少件物品或者最多可以裝滿多少背包的空間。這都可以根據具體問題利用前面的方程求出所有狀態的值(f數組)之後得到。
還有,如果要求的是“總價值最小”“總件數最小”,只需簡單的將上面的狀態轉移方程中的max改成min即可。
下面說壹些變化更大的問法。
輸出方案
壹般而言,背包問題是要求壹個最優值,如果要求輸出這個最優值的方案,可以參照壹般動態規劃問題輸出方案的方法:記錄下每個狀態的最優值是由狀態轉移方程的哪壹項推出來的,換句話說,記錄下它是由哪壹個策略推出來的。便可根據這條策略找到上壹個狀態,從上壹個狀態接著向前推即可。
還是以01背包為例,方程為f[i][v]=max。再用壹個數組g[i][v],設g[i][v]=0表示推出f[i][v]的值時是采用了方程的前壹項(也即f[i][v]=f[i-1][v]),g[i][v]表示采用了方程的後壹項。註意這兩項分別表示了兩種策略:未選第i個物品及選了第i個物品。那麽輸出方案的偽代碼可以這樣寫(設最終狀態為f[N][V]):
i=N
v=V
while(i>0)
if(g[i][v]==0)
print "未選第i項物品"
else if(g[i][v]==1)
print "選了第i項物品"
v=v-c[i]
另外,采用方程的前壹項或後壹項也可以在輸出方案的過程中根據f[i][v]的值實時地求出來,也即不須紀錄g數組,將上述代碼中的g[i][v]==0改成f[i][v]==f[i-1][v],g[i][v]==1改成f[i][v]==f[i-1][v-c[i]]+w[i]也可。
輸出字典序最小的最優方案
這裏“字典序最小”的意思是1..N號物品的選擇方案排列出來以後字典序最小。以輸出01背包最小字典序的方案為例。
壹般而言,求壹個字典序最小的最優方案,只需要在轉移時註意策略。首先,子問題的定義要略改壹些。我們註意到,如果存在壹個選了物品1的最優方案,那麽答案壹定包含物品1,原問題轉化為壹個背包容量為v-c[1],物品為2..N的子問題。反之,如果答案不包含物品1,則轉化成背包容量仍為V,物品為2..N的子問題。不管答案怎樣,子問題的物品都是以i..N而非前所述的1..i的形式來定義的,所以狀態的定義和轉移方程都需要改壹下。但也許更簡易的方法是先把物品逆序排列壹下,以下按物品已被逆序排列來敘述。
在這種情況下,可以按照前面經典的狀態轉移方程來求值,只是輸出方案的時候要註意:從N到1輸入時,如果f[i][v]==f[i-v]及f[i][v]==f[i-1][f-c[i]]+w[i]同時成立,應該按照後者(即選擇了物品i)來輸出方案。
求方案總數
對於壹個給定了背包容量、物品費用、物品間相互關系(分組、依賴等)的背包問題,除了再給定每個物品的價值後求可得到的最大價值外,還可以得到裝滿背包或將背包裝至某壹指定容量的方案總數。
對於這類改變問法的問題,壹般只需將狀態轉移方程中的max改成sum即可。例如若每件物品均是01背包中的物品,轉移方程即為f[i][v]=sum,初始條件f[0][0]=1。
事實上,這樣做可行的原因在於狀態轉移方程已經考察了所有可能的背包組成方案。
最優方案的總數
這裏的最優方案是指物品總價值最大的方案。還是以01背包為例。
結合求最大總價值和方案總數兩個問題的思路,最優方案的總數可以這樣求:f[i][v]意義同前述,g[i][v]表示這個子問題的最優方案的總數,則在求f[i][v]的同時求g[i][v]的偽代碼如下:
for i=1..N
for v=0..V
f[i][v]=max
g[i][v]=0
if(f[i][v]==f[i-1][v])
inc(g[i][v],g[i-1][v]
if(f[i][v]==f[i-1][v-c[i]]+w[i])
inc(g[i][v],g[i-1][v-c[i]])
如果妳是第壹次看到這樣的問題,請仔細體會上面的偽代碼。
小結
顯然,這裏不可能窮盡背包類動態規劃問題所有的問法。甚至還存在壹類將背包類動態規劃問題與其它領域(例如數論、圖論)結合起來的問題,在這篇論背包問題的專文中也不會論及。但只要深刻領會前述所有類別的背包問題的思路和狀態轉移方程,遇到其它的變形問法,只要題目難度還屬於NOIP,應該也不難想出算法。
觸類旁通、舉壹反三,應該也是壹個OIer應有的品質吧。