贪心法：乘船问题

描述
进行一次独木舟的旅行活动，独木舟可以在港口租到，并且之间没有区别。一条独木舟最多只能乘坐两个人，且乘客的总重量不能超过独木舟的最大承载量。我们要尽量减少这次活动中的花销，所以要找出可以安置所有旅客的最少的独木舟条数。现在请写一个程序，读入独木舟的最大承载量、旅客数目和每位旅客的重量。根据给出的规则，计算要安置所有旅客必须的最少的独木舟条数，并输出结果。

输入
第一行输入s,表示测试数据的组数；
每组数据的第一行包括两个整数w，n，80<=w<=200,1<=n<=300，w为一条独木舟的最大承载量,n为人数；
接下来的一组数据为每个人的重量（不能大于船的承载量）；
输出
每组人数所需要的最少独木舟的条数。

样例输入
3
85 6
5 84 85 80 84 83
90 3
90 45 60
100 5
50 50 90 40 60

样例输出
5
3
3

详细的解说可以见《算法竞赛入门》P231;
思路很简单，
1）将所有人的重量进行排序；
2）从当前最轻的重量i开始考虑，找能跟其坐一只船的最重的人j；
3）比那个最重的人j都重的人都单独坐一个船；

现在关键的问题是，用这么简单的贪心法得到的是否是最优解？
可以用反证法：
1.假设i不与任何人同船，如果将j拉来与其同船，用的船数会小于等于原来的船数；
2.假设i与k同船，因为j是与i匹配的最重的，所以w(k)<=w(j)，则j加入其它船可能会使其它船超重，用的船数会变多；
综上，说明这样的贪心法不会丢失最优解。

#include<iostream>
#include<cstdio>
#include<vector>
#include<algorithm>
using namespace std;

int main(){
    freopen("a.txt","r",stdin);//

    int s, w, n;
    cin >> s;
    while (s--){
        cin >> w >> n;

        vector<int> weights(n);
        for (int i = 0; i < n;i++){
            cin >> weights[i];
        }

        sort(weights.begin(),weights.end());

        int res = 0;

        int i = 0, j = n - 1;
        while (i<=j){//
            //用i<j的循环终止条件不行；
            //比方说，当满足第一个if条件导致j--,使i==j,但此时i表示的人还有分配船，所以遗漏了；
            if (i==j){
                res++;
                break;
            }
            if (weights[i]+weights[j]>w){
                res++;
                j--;
            }
            else {
                res++;
                i++;
                j--;
            }
        }

        cout << res<<endl;
    }


    return 0;
}