acwing165. 小猫爬山（dfs剪枝优化）

翰翰和达达饲养了 NN 只小猫，这天，小猫们要去爬山。
经历了千辛万苦，小猫们终于爬上了山顶，但是疲倦的它们再也不想徒步走下山了（呜咕>_<）。
翰翰和达达只好花钱让它们坐索道下山。
索道上的缆车最大承重量为 WW，而 NN 只小猫的重量分别是 C1、C2……CNC1、C2……CN。
当然，每辆缆车上的小猫的重量之和不能超过 WW。
每租用一辆缆车，翰翰和达达就要付 11 美元，所以他们想知道，最少需要付多少美元才能把这 NN 只小猫都运送下山？

输入格式

第 11 行：包含两个用空格隔开的整数，NN 和 WW。
第 2..N+12..N+1 行：每行一个整数，其中第 i+1i+1 行的整数表示第 ii 只小猫的重量 CiCi。

输出格式

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

数据范围

1≤N≤181≤N≤18,
1≤Ci≤W≤1081≤Ci≤W≤108

输入样例：

5 1996 1 2 1994 12 29

输出样例：

2

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 18;
int n, m;
int w[N];
int sum[N];     //记录每个缆车的重量
int res = N;
//u代表第几个小兔子, k表示有多少个缆车
void dfs(int u, int k) {
    //最优性剪枝
    if (k >= res) return;
    if (u == n) {
        res = k;
        return;
    }
    for (int i = 0; i < k; ++i) {
        //可行性剪枝
        if (sum[i] + w[u] <= m) {
            sum[i] += w[u];
            dfs(u + 1, k);
            //恢复现场
            sum[i] -= w[u];
        } 
    }
    //新开一个缆车
    sum[k] = w[u];
    dfs(u + 1, k + 1);
    sum[k] = 0;
}
int main() {
    cin >> n >> m;
    for (int i = 0; i < n; ++i) cin >> w[i];
    //优化搜索顺序, 体重大的,后面的选择更少
    sort(w, w + n);
    reverse(w, w + n);
    dfs(0, 0);
    cout << res << endl;
    return 0;
}