UVA 10154 Weights and Measures(贪心+DP最长上升子序列)

UVA 10154 Weights and Measures(贪心+DP最长上升子序列)

http://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=1095

题意:

       有n只乌龟,每只乌龟有一个重量属性w[i]和一个力量属性s[i],重量属性代表该乌龟的重量,力量属性表示该乌龟最多能负重多重的东西(当然他自己的重量w[i]也要靠s[i]的力量来支撑). 现在问你最多能把多少只乌龟叠在一起?

分析:

       如果有k个乌龟能叠在一起,那么一定有一个解是这k个乌龟按照力量值从小到大叠在一起的.

       如何证明上述贪心结论?

       假设现在有k个乌龟叠在一起的解,且最上面的乌龟算第1个.假设当前到第i只乌龟的力量>第j只乌龟的力量(但是i<j,即i乌龟在j上面),现在交换i乌龟与j乌龟的位置,依然可以保持k个乌龟叠起的状态(对于其他力量逆序也是同样如下的分析方法).

       因为i乌龟力量s[i]>s[j],既然j乌龟都能支持1到j只乌龟的总重,那么力量比它大的i乌龟肯定也行.所以i到j位置去没问题. 那么j到i位置去更没问题了,因为既然j能支持1到j (j>i) 号乌龟,现在只要j支持1到i-1 (i<j) 号乌龟,j肯定更没问题.

       所以上述贪心结论成立. 下面我们只需要求这个最长的上升乌龟序列(其实就是一个最长上升子序列问题的变形)即可.

       令dp[i][j]==x表示处理完前i个乌龟,最多有j个乌龟叠罗汉时,最小重量为x.

假设当前处理第i只乌龟,且s[i]-w[i]>=dp[i-1][j-1] (这是一个判断是否上升的条件) 时:

dp[i][j] = min( dp[i][j] ,dp[i-1][j-1]+w[i] )

       初值dp[0]=0,其他dp[i]=INF.

AC代码:

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn= 5607+5;
const int INF=1e9;

struct Node
{
    int w,s;
    bool operator<(const Node& rhs)const
    {
        return s<rhs.s;
    }
}nodes[maxn];

int n=1;
int dp[100000];

int main()
{
    while(scanf("%d%d",&nodes[n].w,&nodes[n].s)==2)
    {
        if(nodes[n].w<=nodes[n].s)
            n++;
    }
    n--;
    sort(nodes+1,nodes+n+1);

    for(int i=1;i<=n;i++) dp[i]=INF;
    dp[0]=0;

    int max_len=0;
    for(int i=1;i<=n;i++)
    {
        for(int j=n;j>=1;j--)//这里可以换成j>=max_len+1,想想为什么?
        if(nodes[i].s-nodes[i].w>=dp[j-1])//判断"是否上升"
        {
            dp[j]=min(dp[j], dp[j-1]+nodes[i].w);
            if(dp[j]<INF) max_len=max(max_len, j);
        }

    }
    printf("%d\n",max_len);
    return 0;
}