1082: [SCOI2005]栅栏

题目链接

题目大意：现有M根木板，要裁成N个，问最多能裁成几根

题解：二分，然后取排序后前mid块进行验证，我YY了不少贪心姿势，感觉都容易被卡，感觉全上+随机能骗不少分(雾。
看了题解发现是搜索+剪枝……
优化1：去掉无用的木板
优化2：有序化，从大到小搜索（大的满足条件的少，这样可以减少搜索树上层结点）
优化3：对于相邻的两块所需要的木板，如果长度相等，那么强制从上一次放的那一块开始枚举，显然这样对答案是没有影响的，可以避免重复运算
优化4：可行性：对于一块已有的木板，如果其裁掉一部分后剩余部分小于目前需要的最小木板，则剩下的部分浪费。若waste+所需要的木板总长度>提供的木板总长度，方案不可行
优化5：贪心算初始值，进行最优性剪枝，这个没写
优化6：缩小二分范围卡常
优化7：bool函数不用从递归中跳出

我的收获：剪枝强啊

#include <iostream>
#include <cstring>
#include <cstdio>
#include <algorithm>
using namespace std;

const int M=1005;

int n,m,mid,ans,sum;
int a[M],b[M],s[M],c[M];

bool dfs(int cur,int last,int waste)
{
    if(!cur) return true;
    if(waste+s[mid]>sum) return false;
    for(int i=last;i<=m;i++)  
        if(c[i]>=a[cur]){
            c[i]-=a[cur]; 
            int tmp=c[i]<a[1]?c[i]:0;  
            int nxt=a[cur]==a[cur-1]?i:1;  
            if(dfs(cur-1,nxt,waste+tmp)) return true;
            c[i]+=a[cur];
        }
    return false;
}

void work()
{
    for(int l=0,r=n;l<=r;){
        mid=(l+r)>>1;
        memcpy(c,b,sizeof(b));
        if(dfs(mid,1,0)) ans=mid,l=mid+1;
        else r=mid-1;
    }
    cout<<ans<<endl;
}

void uniqe()
{
    while(a[n]>b[m]) n--;
    int tot=0;
    for(int i=1;i<=m;i++)    
        if(b[i]>a[1]) b[++tot]=b[i],sum+=b[i];
    m=tot;
}

void init()
{
    cin>>m;for(int i=1;i<=m;i++) scanf("%d",&b[i]);
    cin>>n;for(int i=1;i<=n;i++) scanf("%d",&a[i]);
    sort(a+1,a+n+1);sort(b+1,b+m+1);uniqe();
    for(int i=1;i<=n;i++) s[i]=s[i-1]+a[i];
}

int main()
{
    init();
    work();
    return 0;
}