hdu 1087 Super Jumping! Jumping! Jumping!

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1087

题意：与求最长上升子序列相似，求和最大的上升子序列。

解题方案：

dp，状态转移方程dp[i] = max{ dp[j] } + a[i]，（0 <= j < i，a[i] > a[j]），其中dp[i]为以i结尾的上升子序列的最大和。

这是提出来的“新的原问题”：求以n结尾的上升子序列的最大和。

只要这个“新的原问题”得到了解决，那么“旧的原问题”的解就可以通过枚举dp[i]（0 <= i < n ）取最大得到。下面的“原问题”都指的是“新的原问题”。

上述状态转移方程的正确性证明：

大前提：假定找到了原问题的一个最优解。

在大前提下作出假设：假设在这个最优解的构造过程中dp[i]选的不是前面最大的dp[j]。

推理：那么比如说，可以具体到在这个最优解的构造过程中的最后一步，dp[i]选的不是前面最大的dp[j]，那么就可以去掉之前选的dp[j]，换上更大的dp[j']，从而会构成一个比原问题最优解更优的解，与大前提矛盾，故原假设不成立，即在原问题最优解的构造过程中dp[i]选的就是前面最大的dp[j]（0 <= j < i，a[i] > a[j]）。

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <string>
#include <cmath>
#include <vector>
#include <queue>
#include <stack>
#include <set>
#include <map>

using namespace std;

#define FOR(i,k,n) for(int i=k;i<n;i++)
#define FORR(i,k,n) for(int i=k;i<=n;i++)
#define scan(a) scanf("%d",&a)
#define scann(a,b) scanf("%d%d",&a,&b)
#define scannn(a,b,c) scanf("%d%d%d",&a,&b,&c)
#define mst(a,n)  memset(a,n,sizeof(a))
#define ll long long
#define N 1005
#define mod 1000000007
#define INF 0x3f3f3f3f

const double eps=1e-8;
const double pi=acos(-1.0);
int n;
int a[N],dp[N];

int main()
{
    //freopen("in.txt","r",stdin);
    //freopen("out.txt","w",stdout);

    while(cin>>n&&n)
    {
        FOR(i,0,n)
            cin>>a[i];
        mst(dp,0);
        int ans=0;
        FOR(i,0,n)
        {
            int tmp=0;
            FOR(j,0,i)
            {
                if(a[i]>a[j])
                    tmp=max(tmp,dp[j]);
            }
            dp[i]=a[i]+tmp;
            ans=max(ans,dp[i]);
        }
        cout<<ans<<endl;
    }
    return 0;
}