51nod独木舟问题

思路：用一个数组存储这n个人的体重，把这n个人的体重排序，然后遍历数组，最重的人乘船，如果他和最轻的人的体重不超过船的承重m，那么共用一艘船，否则，自己坐一艘船。也就是重的要走能带走轻的就带走，否则自己走，这只是局部最优，是否能保证整体最优呢？
证明：
关键在于这种贪心策略是正确的。我们可以证明，最优解也可以变为这种策略。
（1） 假设最重的人和最轻的人的体重和超过了船的承重，那么最优解中，显然也是最重的人单独占一条船，所以这种情况下最优解和贪心策略是相同的。
（2） 假设最重的人和最轻的人的体重和没超过船的承重。
（2.1）如果最优解中，最重的人单独占用一条船，则可以把最轻的人也放上去，这样最优解用的船数不增加。如果最轻的人占用一条船，同样我们可以把最重的人放上去，最优解船数不增。
（2.2） 如果最优解中最重的人x和x’占用一只船(x, x’)，而最轻的人y和y’占用一只船(y, y’)
我们换成(x, y) (x’,y’)
(x, y)显然没超过船的承重——因为我们假设就是如此。关键看(x’, y’)。
x’ + y’<= x’ + x 因为(x’, x)没超重，所以(x’,y’)也合法。所以换一下，最优解船数也不增。这样我们就证明了如果可能把最重的人和最轻的人放在一条船上，不会影响最优解。
反复应用这个策略，就可以把n降低为(n – 1)或者(n – 2)个人的规模，从而解决这个问题。

代码：

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#include<algorithm>
#include<iostream>
#define Max 10002
using namespace std;
long long a[Max];
bool cmp(int a,int b)
{
    return a>b;
}
int main()
{
    int n;
    long long m;
    int sum=0;
    cin>>n>>m;
    int i;
    for(i=0;i<n;i++)
        cin>>a[i];
    sort(a,a+n,cmp);
    int start=0;
    int eend=n-1;
    while(start<=eend)
    {
        if(a[start]+a[eend]<=m)
        {
            start++;
            eend--;
        }
        else
        {
            start++;
        }
        sum++;
    }

    cout<<sum<<endl;
}