小猫爬山 dfs+剪枝

翰翰和达达饲养了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 <iostream>
#include <algorithm>

using namespace std;

const int N=20;
int s[N],sum[N];
int n,m,ans=N;
void dfs(int u,int k)
{
	if(k>ans)//如果k已经大于目前的解 停止搜素
	return;

	if(u==n+1)//已经 安排完n只猫
	{
		ans=k;
		return; 
	}
	for(int i=1;i<=k;i++)//按车枚举。是否有足够空间车能放入猫
	if(sum[i]+s[u]<=m)
	{
		sum[i]+=s[u];
		dfs(u+1,k);
		sum[i]-=s[u];
	}
	sum[k+1]=s[u];//当前无车可放，开一个新车编号k+1
	dfs(u+1,k+1);
	sum[k+1]=0;
}
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++)
	scanf("%d",&s[i]);
	
	sort(s+1,s+n+1);
	reverse(s+1,s+n+1);//排序后反转数组，使小猫体重从大到小排序

	dfs(1,1);
	printf("%d",ans);
}