bzoj1082: [SCOI2005]栅栏

这道题一看就是暴搜啊。。
但是暴搜明显会超时啊。。
所以想了想加了个二分。。
发现二分还是过不了啊。。
又是经过了大神的指导。。
发现有一个玄学剪枝啊。。
不想加详细的解释啊啊。。
自己看代码吧不解释了。。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int l,r,mid,s[110000];
int cmp(const void *xx,const void *yy) {
    int n1=*(int *)xx;
    int n2=*(int *)yy;
    return n1-n2;
}
int d,ss;int b[110000],a[110000],n,m;
bool dfs(int x,int ii) {
    if(x==0)
        return true;
    if(d+s[mid]>ss)
        return false;
    for(int i=ii;i<=m;i++) {
        if(b[i]>=a[x]) {
            b[i]-=a[x];
            if(b[i]<a[1])
                d+=b[i];
            bool bk;
            if(a[x]==a[x-1])
                bk=dfs(x-1,ii);
            else
                bk=dfs(x-1,1);
            if(b[i]<a[1])
                d-=b[i];
            b[i]+=a[x];
            if(bk==true)
                return true;
        }
    }
    return false;
}

int main() {
    //freopen("fency.in","r",stdin);freopen("fency.out","w",stdout);
    scanf("%d",&m);ss=0;
    for(int i=1;i<=m;i++) {
        scanf("%d",&b[i]);ss+=b[i];
    }
    scanf("%d",&n);s[0]=0;
    for(int i=1;i<=n;i++) {
        scanf("%d",&a[i]);
    }
    qsort(a+1,n,sizeof(int),cmp);
    qsort(b+1,m,sizeof(int),cmp);
    for(int i=1;i<=n;i++)
        s[i]=s[i-1]+a[i];
    while(s[n]>ss)
        n--;
    l=1;r=n;int ans=0;
    while(l<=r) {
        mid=(l+r)/2;d=0;
        if(dfs(mid,1)==true) {
            l=mid+1;ans=mid;
        }
        else
            r=mid-1;
    }
    printf("%d\n",ans);
    return 0;
}