165. 小猫爬山

165. 小猫爬山

翰翰和达达饲养了N只小猫，这天，小猫们要去爬山。

经历了千辛万苦，小猫们终于爬上了山顶，但是疲倦的它们再也不想徒步走下山了（呜咕>_<）。

翰翰和达达只好花钱让它们坐索道下山。

索道上的缆车最大承重量为W，而N只小猫的重量分别是C1、C2……CN。

当然，每辆缆车上的小猫的重量之和不能超过W。

每租用一辆缆车，翰翰和达达就要付1美元，所以他们想知道，最少需要付多少美元才能把这N只小猫都运送下山？

输入格式
第1行：包含两个用空格隔开的整数，N和W。

第2…N+1行：每行一个整数，其中第i+1行的整数表示第i只小猫的重量Ci。

输出格式
输出一个整数，表示最少需要多少美元，也就是最少需要多少辆缆车。

数据范围
1≤N≤18,
1≤Ci≤W≤108
输入样例：
5 1996
1
2
1994
12
29
输出样例：
2

#include <bits/stdc++.h>

using namespace std;
const int N=3e4+5;
int n,m,a[20],sum[20],res=1e9;

void dfs(int x,int k)
{
    if(k>=res)//剪枝1
        return;
    if(x==n)
    {
        res=min(res,k);
        return;
    }
    for(int i=0;i<k;i++)
    {
        if(a[x]+sum[i]<=m)
        {
            sum[i]+=a[x];
            dfs(x+1,k);
            sum[i]-=a[x];//二选一，装入或新车两个分支
        }
    }
    sum[k]=a[x];
    dfs(x+1,k+1);
    sum[k]=0;//回溯
}
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    cin >> n >> m;
    for(int i=0;i<n;i++)
        cin >> a[i];
    sort(a,a+n,greater<int>());//剪枝2  使上层分支少点
    dfs(0,0);
    cout << res << endl;
    return 0;
}