[TJOI 2013]拯救小矮人

Description

一群小矮人掉进了一个很深的陷阱里，由于太矮爬不上来，于是他们决定搭一个人梯。即：一个小矮人站在另一小矮人的肩膀上，知道最顶端的小矮人伸直胳膊可以碰到陷阱口。对于每一个小矮人，我们知道他从脚到肩膀的高度Ai，并且他的胳膊长度为Bi。陷阱深度为H。如果我们利用矮人1，矮人2，矮人3,。。。矮人k搭一个梯子，满足A1+A2+A3+....+Ak+Bk>=H,那么矮人k就可以离开陷阱逃跑了，一旦一个矮人逃跑了，他就不能再搭人梯了。
我们希望尽可能多的小矮人逃跑，问最多可以使多少个小矮人逃跑。

Input

第一行一个整数N，表示矮人的个数，接下来N行每一行两个整数Ai和Bi，最后一行是H。（Ai，Bi，H<=10^5）

Output

一个整数表示对多可以逃跑多少小矮人

Sample Input1

2
20 10
5 5
30

Sample Output1

Sample Input2

2
20 10
5 5
35

Sample Output2

HINT

数据范围
30%的数据 N<=200
100%的数据 N<=2000

题解

这道题话说网上很多题解都是错的耶...

基本上都是用“身高+臂长”作为逃生能力来进行解释...

但是如果按照普遍的题解，我们无法解释在$DP$的过程中“第$i$个人不选的情况”...

打个比方，我举出一组反例：

3

5 1

1 6

4 4

12

按普遍的题解来说我们按所谓的“逃生能力”排序，为$5+1$,$1+6$,$4+4$。

那么我们按“逃生顺序”来，我们一个都不能逃出（第一个人就是$1+5+1+4<12$）。然而若我们让最后一个人先走（$5+1+4+4>12$）显然能逃出。

显然这个顺序并不是所谓的“逃生顺序”，那要怎么做？

首先我们还是是要按照身高+臂长来排序，但是为什么呢？

大概证明如下：

考虑对于最上面的两个人，下面的人梯高度一定

如果无论怎样都出不去，那相对顺序肯定是无所谓的

如果怎么都能出去，那相对顺序肯定也是无所谓的

关键就是剩下的情况，两个人都有机会逃出去，但是排的先后顺序会影响逃跑结果

这种情况下就只能让身高+臂长比较小的人较先离开，按照刚才的说法，因为他的逃生能力比较弱

但是对吗？

随之而来的又有一个问题，只贪心到底行不行，而刚刚举出的反例显然说明了这个问题

这怎么办呢？

这时我们就发现“这种情况下就只能让身高+臂长比较小的人较先离开，因为他的逃生能力比较弱”这句话是错的

但是它为我们提供了一个思路，那就是最终的最优逃出方案一定可以是一个按照“身高+臂长”递增的序列

这个怎么证呢？就是当我们发生上述冲突时，我们肯定是选择让高个的留下并且永远留下，矮个那个先走，这样就满足了性质

然后就可以$DP$了！

所以！！我们排序+$DP$的原因不是XX放在XX前面一定更优，而是最终的逃跑序列一定是一个“身高+臂长”递增的序列，为了方便$DP$，所以我们才要排序！！！！

（部分题解源自commonc的博客）

 //It is made by Awson on 2017.9.27

 #include <set>

 #include <map>

 #include <cmath>

 #include <ctime>

 #include <queue>

 #include <stack>

 #include <string>

 #include <cstdio>

 #include <vector>

 #include <cstdlib>

 #include <cstring>

 #include <iostream>

 #include <algorithm>

 #define Min(a, b) ((a) < (b) ? (a) : (b))

 #define Max(a, b) ((a) > (b) ? (a) : (b))

 #define LL long long

 using namespace std;

 const int N = ;

 void read(int &x) {

     char ch; bool flag = ;

     for (ch = getchar(); !isdigit(ch) && ((flag |= (ch == '-')) || ); ch = getchar());

     for (x = ; isdigit(ch); x = (x<<)+(x<<)+ch-, ch = getchar());

     x *= -*flag;

 }

 struct tt {

     int a, b;

     bool operator < (const tt &q) const{

         return a+b < q.a+q.b;

     }

 }a[N+];

 int n, h;

 int f[N+];

 void work() {

     read(n);

     for (int i = ; i <= n; i++)

         read(a[i].a), read(a[i].b);

     sort(a+, a+n+);

     read(h);

     memset(f, -, sizeof(f));

     int ans = ;

     f[] = ;

     for (int i = ; i <= n; i++) f[] += a[i].a;

     for (int i = ; i <= n; i++) {

         for (int j = ans; j >= ; j--) {

             if (f[j]+a[i].b >= h)

                 f[j+] = Max(f[j+], f[j]-a[i].a);

             if (f[ans+] >= ) ans++;

         }

     }

     printf("%d\n", ans);

 }

 int main() {

     work();

     return ;

 }