AcWing 刷题计划：0x20 搜索——AcWing 165. 小猫爬山

1.题目描述：

2.题意：
略。

3.思路：
深搜。 深搜很重要的是搜索的顺序以及决策的方式。
1）枚举猫。直接枚举猫在哪辆车里面，结果是T飞了。【不过我不知道为啥，可能的一个原因是，直接枚举猫不好剪枝，会超时。】
部分代码：

void dfs(int cnt)
{
	if(cnt==n){ans=min(tmp+1,ans);return;}
	if(tmp>=ans) return;
	rep(i,0,n)
	{
		if(vis[i]) continue;
		vis[i]=true;
		if(res[tmp]+c[i]>w) tmp++;
		res[tmp]+=c[i];
		dfs(cnt+1);
		vis[i]=false;
		if(res[tmp]-c[i]<0) res[tmp--]=0;
		res[tmp]-=c[i];
	}
}

2）枚举车。枚举每辆车装哪些猫。这个可以加两个剪枝。
(a)最优性剪枝：当前的车的数量大于等于我已有的答案，那么这个答案必然不会是最优解，我们可以直接减掉。
(b)搜索顺序剪枝：由于有最优性剪枝，那么我们当然希望我们一开始找到的答案越小越好，或者换句话说就是：我们希望我们一开始枚举的分支越少越好，即靠近根的分支越少越好。我们有两种决策：1）：把猫猫放到已有的车。2）：把猫猫单独放到一个车里。后者无论搜索顺序如何，也必定可以进行决策的；前者则不然。由于有最优性剪枝，当前者由大到小地选择时，车很容易就会满，所以如果从大到小地选择，那么前者的选择将变少。【举个例子：我前面选大了，那么答案就很快可以达到我已有的答案，就有更大的可能性可以减枝掉】。
代码：

//AcWing 165. 小猫爬山
//#include<bits/stdc++.h>
//#pragma GCC optimize(3,"Ofast","inline")
#include<iostream>
#include<string>
#include<algorithm>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<vector>
//#include<random>
#include<cstdlib>
#include<ctime>
#include<map>
#include<set>
#include<stack>
#include<queue>
#define FAST ios::sync_with_stdio(false)
#define DEV_RND ((int)rand()*RAND_MAX+rand())
#define RND(L,R) (DEV_RND%((R)-(L)+1)+(L))
#define abs(a) ((a)>=0?(a):-(a))
#define sz(x) ((int)(x).size())
#define all(x) (x).begin(),(x).end()
#define mem(a,b) memset(a,b,sizeof(a))
#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)<(b)?(a):(b))
#define rep(i,a,n) for(int i=a;i<n;++i)
#define per(i,n,a) for(int i=n-1;i>=a;--i)
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define li inline
#define re register
using namespace std;
//typedef uniform_int_distribution<int> RNDI;
typedef pair<int,int> PII;
typedef vector<int> VI;
typedef double db;
typedef long long ll;
typedef long double ld;
typedef unsigned long long ull;
const int Hash = 131;//13331
const int maxn = 1e5+5;
const int maxm = 100000+5;
const int mod = 1e9+7;
const int inf = 0x3f3f3f3f;
const double eps = 1e-7;
const double pi = acos(-1);
//int dir[4][2]={{-1,0},{1,0},{0,-1},{0,1}};
//li int f(int x){return x==par[x]?par[x]:par[x]=f(par[x]);}
//mt19937 eng(time(0));
//li int RND(int L,int R){RNDI rnd(L,R);return rnd(eng);}
li ll lowbit(ll x){return x&(-x);}
ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}
void ex_gcd(ll a,ll b,ll &d,ll &x,ll &y){if(!b){d=a,x=1,y=0;}else{ex_gcd(b,a%b,d,y,x);y-=x*(a/b);}}//x=(x%(b/d)+(b/d))%(b/d);
li ll qpow(ll a,ll b,ll MOD=mod){ll res=1;a%=MOD;while(b>0){if(b&1)res=res*a%MOD;a=a*a%MOD;b>>=1;}return res%MOD;}
li ll qmul(ll a,ll b,ll MOD=mod){return (a*b-(ll)((long double)a/MOD*b)*MOD+MOD)%MOD;}
li ll inv(ll x,ll p){return qpow(x,p-2,p);}
li ll jos(ll n,ll k,ll s=1){ll res=0;rep(i,1,n+1) res=(res+k)%i;return (res+s)%n;}
db f(db x){return x;}
li db sim(db l,db r){return (f(l)+4.*f((l+r)/2.)+f(r))*(r-l)/6.;}
db asr(db l,db r,db ans,db eps){db m=l+(r-l)/2.,L=sim(l,m),R=sim(m,r);return fabs(L+R-ans)<=15.*eps?L+R+(L+R-ans)/15.:asr(l,m,L,eps/2)+asr(m,r,R,eps/2);}
db asr(db l,db r,db eps){return asr(l,r,sim(l,r),eps);}
namespace IO
{
	li ll read()
	{
		ll x=0,sign=1;char c=getchar();
		while(c>'9'||c<'0') {if(c=='-') sign=-1;c=getchar();}
		while('0'<=c&&c<='9') x=x*10+c-'0',c=getchar();
		return x*sign;
	}
	template<typename T>
	li void write(T x,char t='\n')
	{
		if(x<0){x=-x;putchar('-');};
		static int sta[25];int top=0;
		do{sta[top++]=x%10;}while(x/=10);
		while(top) putchar(sta[--top]+'0');
		putchar(t);
	}
}
using namespace IO;
/*-------------head-------------*/
//
int n,w;
int c[20],res[20];
int ans=20;
void dfs(int cat,int car)
{
	if(car>=ans) return;
	if(cat==n){ans=car;return;}
	rep(i,0,car)
	{
		if(res[i]+c[cat]>w) continue;
		res[i]+=c[cat];
		dfs(cat+1,car);
		res[i]-=c[cat];
	}
	res[car]=c[cat];
	dfs(cat+1,car+1);
	res[car]=0;
}
li void solve()
{
	w=read();
	rep(i,0,n) c[i]=read();
	sort(c,c+n,[&](int a,int b){return a>b;});
	dfs(0,0);
	write(ans);
	//puts("");
}
int main()
{
	//srand(time(0));
	//freopen("C:\\Users\\Administrator\\Desktop\\in.txt","r",stdin);
	//for(int QwQ=read();QwQ;QwQ--) solve();
	while(~scanf("%d",&n)) solve();
	return 0;
}