UVA 11729 Commando War (贪心)

题目链接：https://vjudge.net/problem/UVA-11729

一道比较显然的贪心。

我们可以发现如果我们让$a_j$最大的尽可能地往前来交待，那么时间重合地会更多。

一个很明显的贪心策略：按照$j$从大到小排序，记录每一次的$s$（交代的时间）和$s+a_j$（结束的时间），用结束的时间来更新$ans$。

证明其正确性：（蓝书 P4）

可以使用最常见的交换论证法：

假设我们交换相邻的两个任务$X$和$Y$，不难发现交换前后只会对$X$和$Y$有关。

情况一：交换之前，$X$比$Y$后结束：

　　那交换之后$Y$结束的时间会提前很多，同样，$X$也会延迟$B[Y]$的时间结束，总的来说结束时间会延迟，所以该情况不优。

情况二：交换之前，$X$比$Y$先结束：

　　那交换后最终所用的时间肯定$geq$交换前所用的时间。

　　这个条件就可以写成：$B[y]+B[x]+J[x]geq B[x]+B[y]+J[y]$，化简之后可得$J[x]geq J[y]$。

这样就可以支持我们贪心策略的正确性。

AC代码：

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>

using namespace std;

struct node{
    int b,j;
} a[10005];
int t,n;

inline bool cmp(node x,node y){
    return x.j>y.j;
}

int main(){
    while(scanf("%d",&n)==1){
        memset(a,0,sizeof(a));
        t++;
        if(n==0) break;
        for(int i=1;i<=n;i++){
            scanf("%d%d",&a[i].b,&a[i].j);
        }
        sort(a+1,a+n+1,cmp);
        int ans=0,s=0;
        for(int i=1;i<=n;i++){
            s+=a[i].b;
            ans=max(ans,s+a[i].j);
        }
        printf("Case %d: %d
",t,ans);
    }
    return 0;
}