原文:http://blog.csdn.net/liufeng_king/article/details/8632430ios
一、最大子段和問題算法
問題定義:對於給定序列a1,a2,a3……an,尋找它的某個連續子段,使得其和最大。如( -2,11,-4,13,-5,-2 )最大子段是{ 11,-4,13 }其和爲20。數組
(1)枚舉法求解數據結構
枚舉法思路以下:app
以a[0]開始: {a[0]}, {a[0],a[1]},{a[0],a[1],a[2]}……{a[0],a[1],……a[n]}共n個oop
以a[1]開始: {a[1]}, {a[1],a[2]},{a[1],a[2],a[3]}……{a[1],a[2],……a[n]}共n-1個this
……spa
以a[n]開始:{a[n]}共1個.net
一共(n+1)*n/2個連續子段,使用枚舉,那麼應該能夠獲得如下算法:
具體代碼以下:設計
- #include "stdafx.h"
- #include <iostream>
- using namespace std;
-
- int MaxSum(int n,int *a,int& besti,int& bestj);
-
- int main()
- {
- int a[] = {-2,11,-4,13,-5,-2};
-
- for(int i=0; i<6; i++)
- {
- cout<<a[i]<<" ";
- }
-
- int besti,bestj;
-
- cout<<endl;
- cout<<"數組a的最大連續子段和爲:a["<<besti<<":"<<bestj<<"]:"<<MaxSum(6,a,besti,bestj)<<endl;
-
- return 0;
- }
-
- int MaxSum(int n,int *a,int& besti,int& bestj)
- {
- int sum = 0;
- for(int i=0; i<n; i++)
- {
- for(int j=i; j<n; j++)
- {
- int thissum = 0;
- for(int k=i; k<=j; k++)
- {
- thissum += a[k];
- }
-
- if(thissum>sum)
- {
- sum = thissum;
- besti = i;
- bestj = j;
- }
- }
- }
- return sum;
- }
從這個算法的三個for循環能夠看出,它所須要的計算時間是O(n^3)。事實上,若是注意到
,則可將算法中的最後一個for循環省去,避免重複計算,從而使算法得以改進。改進後的代碼以下:
- #include "stdafx.h"
- #include <iostream>
- using namespace std;
-
- int MaxSum(int n,int *a,int& besti,int& bestj);
-
- int main()
- {
- int a[] = {-2,11,-4,13,-5,-2};
-
- for(int i=0; i<6; i++)
- {
- cout<<a[i]<<" ";
- }
-
- int besti,bestj;
-
- cout<<endl;
- cout<<"數組a的最大連續子段和爲:a["<<besti<<":"<<bestj<<"]:"<<MaxSum(6,a,besti,bestj)<<endl;
-
- return 0;
- }
-
- int MaxSum(int n,int *a,int& besti,int& bestj)
- {
- int sum = 0;
- for(int i=0; i<n; i++)
- {
- int thissum = 0;
- for(int j=i; j<=n; j++)
- {
- thissum += a[j];
- if(thissum>sum)
- {
- sum = thissum;
- besti = i;
- bestj = j;
- }
-
- }
- }
- return sum;
- }
(2)分治法求解
分治法思路以下:
將序列a[1:n]分紅長度相等的兩段a[1:n/2]和a[n/2+1:n],分別求出這兩段的最大字段和,則a[1:n]的最大子段和有三中情形:
[1]、a[1:n]的最大子段和與a[1:n/2]的最大子段和相同;
[2]、a[1:n]的最大子段和與a[n/2+1:n]的最大子段和相同;
[3]、a[1:n]的最大字段和爲
,且1<=i<=n/2,n/2+1<=j<=n。
可用遞歸方法求得情形[1],[2]。對於情形[3],能夠看出a[n/2]與a[n/2+1]在最優子序列中。所以能夠在a[1:n/2]中計算出
,並在a[n/2+1:n]中計算出
。則s1+s2即爲出現情形[3]時的最優值。
具體代碼以下:
- #include "stdafx.h"
- #include <iostream>
- using namespace std;
-
- int MaxSubSum(int *a,int left,int right);
- int MaxSum(int n,int *a);
-
- int main()
- {
- int a[] = {-2,11,-4,13,-5,-2};
-
- for(int i=0; i<6; i++)
- {
- cout<<a[i]<<" ";
- }
-
- cout<<endl;
- cout<<"數組a的最大連續子段和爲:"<<MaxSum(6,a)<<endl;
-
- return 0;
- }
-
- int MaxSubSum(int *a,int left,int right)
- {
- int sum = 0;
- if(left == right)
- {
- sum = a[left]>0?a[left]:0;
- }
- else
- {
- int center = (left+right)/2;
- int leftsum = MaxSubSum(a,left,center);
- int rightsum = MaxSubSum(a,center+1,right);
-
- int s1 = 0;
- int lefts = 0;
- for(int i=center; i>=left;i--)
- {
- lefts += a[i];
- if(lefts>s1)
- {
- s1=lefts;
- }
- }
-
- int s2 = 0;
- int rights = 0;
- for(int i=center+1; i<=right;i++)
- {
- rights += a[i];
- if(rights>s2)
- {
- s2=rights;
- }
- }
- sum = s1+s2;
- if(sum<leftsum)
- {
- sum = leftsum;
- }
- if(sum<rightsum)
- {
- sum = rightsum;
- }
-
- }
- return sum;
- }
-
- int MaxSum(int n,int *a)
- {
- return MaxSubSum(a,0,n-1);
- }
算法所需的計算時間T(n)知足一下遞歸式:
![](http://static.javashuo.com/static/loading.gif)
![](http://static.javashuo.com/static/loading.gif)
解此遞歸方程可知:T(n)=O(nlogn)。
(3)動態規劃算法求解
算法思路以下:
記![](http://static.javashuo.com/static/loading.gif)
,則所求的最大子段和爲:![](http://static.javashuo.com/static/loading.gif)
![](http://static.javashuo.com/static/loading.gif)
由b[j]的定義知,當b[j-1]>0時,b[j]=b[j-1]+a[j],不然b[j]=a[j]。由此可得b[j]的動態規劃遞推式以下:
b[j]=max{b[j-1]+a[j],a[j]},1<=j<=n。
具體代碼以下:
- #include "stdafx.h"
- #include <iostream>
- using namespace std;
-
- int MaxSum(int n,int *a);
-
- int main()
- {
- int a[] = {-2,11,-4,13,-5,-2};
-
- for(int i=0; i<6; i++)
- {
- cout<<a[i]<<" ";
- }
-
- cout<<endl;
- cout<<"數組a的最大連續子段和爲:"<<MaxSum(6,a)<<endl;
-
- return 0;
- }
-
- int MaxSum(int n,int *a)
- {
- int sum=0,b=0;
- for(int i=1; i<=n; i++)
- {
- if(b>0)
- {
- b+=a[i];
- }
- else
- {
- b=a[i];
- }
- if(b>sum)
- {
- sum = b;
- }
- }
- return sum;
- }
上述算法的時間複雜度和空間複雜度均爲O(n)。
二、最大子矩陣和問題
(1)問題描述:給定一個m行n列的整數矩陣A,試求A的一個子矩陣,使其各元素之和爲最大。
(2)問題分析:
用二維數組a[1:m][1:n]表示給定的m行n列的整數矩陣。子數組a[i1:i2][j1:j2]表示左上角和右下角行列座標分別爲(i1,j1)和(i2,j2)的子矩陣,其各元素之和記爲:![](http://static.javashuo.com/static/loading.gif)
![](http://static.javashuo.com/static/loading.gif)
最大子矩陣問題的最優值爲![](http://static.javashuo.com/static/loading.gif)
。若是用直接枚舉的方法解最大子矩陣和問題,須要O(m^2n^2)時間。注意到![](http://static.javashuo.com/static/loading.gif)
,式中
,設![](http://static.javashuo.com/static/loading.gif)
,則![](http://static.javashuo.com/static/loading.gif)
容易看出,這正是一維情形的最大子段和問題。所以,藉助最大子段和問題的動態規劃算法MaxSum,可設計出最大子矩陣和動態規劃算法以下:
- #include "stdafx.h"
- #include <iostream>
- using namespace std;
-
- const int M=4;
- const int N=3;
-
- int MaxSum(int n,int *a);
- int MaxSum2(int m,int n,int a[M][N]);
-
- int main()
- {
- int a[][N] = {{4,-2,9},{-1,3,8},{-6,7,6},{0,9,-5}};
-
- for(int i=0; i<M; i++)
- {
- for(int j=0; j<N; j++)
- {
- cout<<a[i][j]<<" ";
- }
- cout<<endl;
- }
-
- cout<<endl;
- cout<<"數組a的最大連續子段和爲:"<<MaxSum2(M,N,a)<<endl;
-
- return 0;
- }
-
- int MaxSum2(int m,int n,int a[M][N])
- {
- int sum = 0;
- int *b = new int[n+1];
- for(int i=0; i<m; i++)
- {
- for(int k=0; k<n;k++)
- {
- b[k]=0;
- }
-
- for(int j=i;j<m;j++)
- {
- for(int k=0; k<n; k++)
- {
- b[k] += a[j][k];
- int max = MaxSum(n,b);
- if(max>sum)
- {
- sum = max;
- }
- }
- }
- }
- return sum;
- }
-
- int MaxSum(int n,int *a)
- {
- int sum=0,b=0;
- for(int i=1; i<=n; i++)
- {
- if(b>0)
- {
- b+=a[i];
- }
- else
- {
- b=a[i];
- }
- if(b>sum)
- {
- sum = b;
- }
- }
- return sum;
- }
以上代碼MaxSum2方法的執行過程可用下圖表示:
![](http://static.javashuo.com/static/loading.gif)
![](http://static.javashuo.com/static/loading.gif)
三、最大m子段和問題
(1)問題描述:給定由n個整數(可能爲負數)組成的序列a1,a2,a3……an,以及一個正整數m,要求肯定此序列的m個不相交子段的總和達到最大。最大子段和問題是最大m字段和問題當m=1時的特殊情形。
(2)問題分析:設b(i,j)表示數組a的前j項中i個子段和的最大值,且第i個子段含a[j](1<=i<=m,i<=j<=n),則所求的最優值顯然爲![](http://static.javashuo.com/static/loading.gif)
。與最大子段問題類似,計算b(i,j)的遞歸式爲:![](http://static.javashuo.com/static/loading.gif)
![](http://static.javashuo.com/static/loading.gif)
其中
,
表示第i個子段含a[j-1],而![](http://static.javashuo.com/static/loading.gif)
項表示第i個子段僅含a[j]。初始時,b(0,j)=0,(1<=j<=n);b(i,0)=0,(1<=i<=m)。
具體代碼以下:
- #include "stdafx.h"
- #include <iostream>
- using namespace std;
-
- int MaxSum(int m,int n,int *a);
-
- int main()
- {
- int a[] = {0,2,3,-7,6,4,-5};
- for(int i=1; i<=6; i++)
- {
- cout<<a[i]<<" ";
- }
-
- cout<<endl;
- cout<<"數組a的最大連續子段和爲:"<<MaxSum(3,6,a)<<endl;
- }
-
- int MaxSum(int m,int n,int *a)
- {
- if(n<m || m<1)
- return 0;
- int **b = new int *[m+1];
-
- for(int i=0; i<=m; i++)
- {
- b[i] = new int[n+1];
- }
-
- for(int i=0; i<=m; i++)
- {
- b[i][0] = 0;
- }
-
- for(int j=1;j<=n; j++)
- {
- b[0][j] = 0;
- }
-
-
- for(int i=1; i<=m; i++)
- {
-
- for(int j=i; j<=n-m+i; j++)
- {
- if(j>i)
- {
- b[i][j] = b[i][j-1] + a[j];
- for(int k=i-1; k<j; k++)
- {
- if(b[i][j]<b[i-1][k]+a[j])
- b[i][j] = b[i-1][k]+a[j];
- }
- }
- else
- {
- b[i][j] = b[i-1][j-1]+a[j];
- }
- }
- }
- int sum = 0;
- for(int j=m; j<=n; j++)
- {
- if(sum<b[m][j])
- {
- sum = b[m][j];
- }
- }
- return sum;
- }
上述算法的時間複雜度爲O(mn^2),空間複雜度爲O(mn)。其實,上述算法中,計算b[i][j]時,只用到了數組b的第i-1行和第i行的值。於是,算法中只要存儲數組b的當前行,沒必要存儲整個數組。另外一方面,![](http://static.javashuo.com/static/loading.gif)
的值能夠在計算i-1行時預先計算並保存起來。計算第i行的值時沒必要從新計算,節省了計算時間和空間。所以,算法可繼續改進以下:
- #include "stdafx.h"
- #include <iostream>
- using namespace std;
-
- int MaxSum(int m,int n,int *a);
-
- int main()
- {
- int a[] = {0,2,3,-7,6,4,-5};
- for(int i=1; i<=6; i++)
- {
- cout<<a[i]<<" ";
- }
-
- cout<<endl;
- cout<<"數組a的最大連續子段和爲:"<<MaxSum(3,6,a)<<endl;
- }
-
- int MaxSum(int m,int n,int *a)
- {
- if(n<m || m<1)
- return 0;
- int *b = new int[n+1];
- int *c = new int[n+1];
-
- b[0] = 0;
- c[1] = 0;
-
- for(int i=1; i<=m; i++)
- {
- b[i] = b[i-1] + a[i];
- c[i-1] = b[i];
- int max = b[i];
-
-
- for(int j=i+1; j<=i+n-m;j++)
- {
- b[j] = b[j-1]>c[j-1]?b[j-1]+a[j]:c[j-1]+a[j];
- c[j-1] = max;
-
- if(max<b[j])
- {
- max = b[j];
- }
- }
- c[i+n-m] = max;
- }
-
- int sum = 0;
- for(int j=m; j<=n; j++)
- {
- if(sum<b[j])
- {
- sum = b[j];
- }
- }
- return sum;
- }
上述算法時間複雜度爲O(m(n-m)),空間複雜度爲O(n)。當m或n-m爲常數時,時間複雜度和空間複雜度均爲O(n)。