(动态规划+滚动数组+时间复杂度优化）洛谷1115 最大子段和

目录

题目概述：

AC代码：

分析思路：

---

题目概述：

AC代码：

#include<iostream>
#include<algorithm>
#define maxn 200001
int num[maxn+1];
int dp[maxn+1];
using namespace std;
int main()
{
	std::ios::sync_with_stdio(false);
	int n;
	cin>>n;
	for(int i=1;i<=n;++i)
	cin>>num[i];
	int ans=-1000000;
	for(int i=1;i<=n;++i)
{
		dp[i]=max(dp[i-1]+num[i],num[i]);//要前面的或者不要前面的
		ans=max(dp[i],ans); 
}
	cout<<ans<<endl;
	return 0;
 } 

分析思路：

本题经过了三个版本。

1.第一次写的是动态规划是一个二维数组，dp[i][j]表示开头元素为i下标，结尾元素为j下标的字段和。dp[i][j]=dp[i][j-1],用两层循环爆搜所有字段答案。但是这次写的甚至连运行都运行不起来——二维数组还是200000数据量，爆空间了。

2.爆空间后思考，想到滚动数组。实际上两维没有必要，用dp[j]即可，因为两层循环我们实际上用到（有用的）只有结尾下标，开头下标无实际作用。这次优化后可以运行，但是这样暴力的穷举时间复杂度达到了O（n^2),所以肯定是无法ac的（40分）：

 O（n^2)的算法：

#include<iostream>
#include<algorithm>
#define maxn 200001
using namespace std;
int num[maxn+1];
int dp[maxn+1];
int main()
{
	std::ios::sync_with_stdio(false);
	int n;
	cin>>n;
	for(int i=1;i<=n;++i)
	cin>>num[i];
	int ans=-1000000;
	for(int i=1;i<=n;++i)
{
	for(int j=i;j<=n;++j)
	{
		if(i==j)
		dp[j]=num[j];
		else
		dp[j]=dp[j-1]+num[j];
		ans=max(ans,dp[j]);
	 }
}
	cout<<ans<<endl;
	return 0;
 } 

3.重新整理递推关系，发现不需要计算所有可能情况的答案。定义dp[i]表示前i长度序列的最长子段。dp[i]=max(dp[i-1]+num[i],num[i]),也就是说，要么要前半部分的前缀，要么单独作为一个新列的开头。但是最后的dp[n]并不一定是答案，为什么呢？因为这样的递推不管怎么样都会算上num[i]，实际上有num[i]一定是最优的吗？显然不是，因为num[i]有可能是负数，所以递推的答案完全可能出现在过程中而不是数组最后。所以用到一个技巧，用一个ans伴随循环更新最后答案。在不确定递推的答案会出现在数组最后还是过程中时，可以用这个技巧确保得到正确答案。 

再次贴出AC代码（O复杂度）：

#include<iostream>
#include<algorithm>
#define maxn 200001
int num[maxn+1];
int dp[maxn+1];
using namespace std;
int main()
{
	std::ios::sync_with_stdio(false);
	int n;
	cin>>n;
	for(int i=1;i<=n;++i)
	cin>>num[i];
	int ans=-1000000;
	for(int i=1;i<=n;++i)
{
		dp[i]=max(dp[i-1]+num[i],num[i]);//要前面的或者不要前面的
		ans=max(dp[i],ans); 
}
	cout<<ans<<endl;
	return 0;
 }