1082: [SCOI2005]栅栏 二分+dfs+剪枝

首先贪心的性质是显然的，我们如果要取k个一定要取最小的k个，且尽量用最小的木材满足最大的需求，以减少浪费。

既然所取的k个是单调的，那么可以考虑二分，贪心的判断是否可行。

剪枝：

如果当前用了的+剩下所需最少的（即维护b[i]的前缀和）>所有的a。那么不可能合法，剪掉。

qwq。。只想到这一个剪枝，题解还给提供了另一个，我感觉应该用处不大吧。。。就是如果下一个和这一个相同，那么可以不从第一块木材开始搜。。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int n,m,ans,rest,s;
int a[55],c[55],b[1005],s0[1005];
inline int read()
{
int a=0,f=1; char c=getchar();
while (c<'0'||c>'9') {if (c=='-') f=-1; c=getchar();}
while (c>='0'&&c<='9') {a=a*10+c-'0'; c=getchar();}
return a*f;
}
bool dfs(int now,int last)
{
if (now<=0) return 1;
if (rest+s0[now]>s) return 0;
for (int i=last;i<=m;i++)
if (c[i]>=b[now])
{
c[i]-=b[now];
if (c[i]<b[1]) rest+=c[i];
if (b[now]==b[now-1])
{
if (dfs(now-1,i)) return 1;
}
else
{
if (dfs(now-1,1)) return 1;
}
if (c[i]<b[1]) rest-=c[i];
c[i]+=b[now];
}
return 0;
}
inline bool judge(int mid)
{
memcpy(c,a,sizeof(a));
rest=0;
return dfs(mid,1);
}
int main()
{
m=read();
for (int i=1;i<=m;i++) a[i]=read(),s+=a[i];
n=read();
for (int i=1;i<=n;i++) b[i]=read();
sort(a+1,a+m+1); sort(b+1,b+n+1);
for (int i=1;i<=n;i++) s0[i]=s0[i-1]+b[i];
while (s0
>s) n--;
int l=0,r=n;
while (l<=r)
{
int mid=l+r>>1;
if (judge(mid)) ans=mid,l=mid+1; else r=mid-1;
}
cout << ans;
return 0;
}