USACO 6.3 Fence Rails（一道纯剪枝应用）

Fence Rails
Burch, Kolstad, and Schrijvers

Farmer John is trying to erect a fence around part of his field. He has decided on the shape of the fence and has even already installed the posts, but he's having a problem with the rails. The local lumber store has dropped off boards of varying lengths; Farmer John must create as many of the rails he needs from the supplied boards.

Of course, Farmer John can cut the boards, so a 9 foot board can be cut into a 5 foot rail and a 4 foot rail (or three 3 foot rails, etc.). Farmer John has an `ideal saw', so ignore the `kerf' (distance lost during sawing); presume that perfect cuts can be made.

The lengths required for the rails might or might not include duplicates (e.g., a three foot rail and also another three foot rail might both be required). There is no need to manufacture more rails (or more of any kind of rail) than called for the list of required rails.

PROGRAM NAME: fence8

INPUT FORMAT

Line 1:	N (1 <= N <= 50), the number of boards
Line 2..N+1:	N lines, each containing a single integer that represents the length of one supplied board
Line N+2:	R (1 <= R <= 1023), the number of rails
Line N+3..N+R+1:	R lines, each containing a single integer (1 <= r_i <= 128) that represents the length of a single required fence rail

SAMPLE INPUT (file fence8.in)

OUTPUT FORMAT

A single integer on a line that is the total number of fence rails that can be cut from the supplied boards. Of course, it might not be possible to cut all the possible rails from the given boards.

SAMPLE OUTPUT (file fence8.out)

HINTS (use them carefully!)

HINT 1

This is a high dimensionality multiple knapsack problem, so we just have to test the cases. Given that the search space has a high out-degree, we will use depth first search with iterative deepening in order to limit the depth of the tree. However, straight DFSID will be too slow, so some tree-pruning is necessary.

————————————————————题解

题解给了四个优化

1、某两个要砍出的木板同长，我们就总在木料的非降序中砍它们

2、有两个木料是同长的，我们总是去砍第一个

3、一个木板和木料同长，那么一定要这么砍【这个优化很迷，没有加上】

4、如果一个木料砍完后的长度小于最小的木板长，这个木料的剩余部分直接丢掉

还有个优化是二分答案求最优解，所有点0.000

一开始写的是针对每个背包往里面塞东西……应该是针对每个木板去看能不能割出来

USACO总能让人关注到一些基础算法中你啥也不会的东西……这是最有趣的……也是最痛苦的……因为发现最后真是啥也不会……

 /*

 ID: ivorysi

 LANG: C++

 PROG: fence8

 */

 #include <iostream>

 #include <cstdio>

 #include <cstring>

 #include <queue>

 #include <set>

 #include <vector>

 #include <algorithm>

 #define siji(i,x,y) for(int i=(x);i<=(y);++i)

 #define gongzi(j,x,y) for(int j=(x);j>=(y);--j)

 #define xiaosiji(i,x,y) for(int i=(x);i<(y);++i)

 #define sigongzi(j,x,y) for(int j=(x);j>(y);--j)

 #define inf 0x5f5f5f5f

 #define ivorysi

 #define mo 97797977

 #define hash 974711

 #define base 47

 #define fi first

 #define se second

 #define pii pair<int,int>

 #define esp 1e-8

 typedef long long ll;

 using namespace std;

 int n,r;

 int bag[],sp;

 int wood[],sum[],mid,now;

 bool used[];

 void init() {

     scanf("%d",&n);

     siji(i,,n) {

         scanf("%d",&bag[i]);

         sp+=bag[i];

     }

     sort(bag+,bag+n+);

     scanf("%d",&r);

     siji(i,,r) {

         scanf("%d",&wood[i]);

     }

     sort(wood+,wood+r+);

     siji(i,,r) {

         sum[i]=sum[i-]+wood[i];

     }

 }

 bool dfs(int k,int pred) {

     if(k<=) return ;

     if(sp<sum[k]) return ;

     sp-=wood[k];

     for(int i= k<mid&&wood[k]==wood[k+] ?pred: ;i<=n;++i) {

         //有两个相同长度的木板需要切，让它们以一种非降序的顺序切出来

         if(bag[i]==bag[i-]) continue;//这个木料和前一个一样，那么切之后会搜出来一个一模一样的结果

         if(bag[i]>=wood[k]) {

             bag[i]-=wood[k];

             if(bag[i]<wood[]) sp-=bag[i];//这个木料不能切除任何一块木板了

             if(dfs(k-,i)) {

                 if(bag[i]<wood[]) sp+=bag[i];

                 sp+=wood[k];

                 bag[i]+=wood[k];

                 return ;

             }

             if(bag[i]<wood[]) sp+=bag[i];

             bag[i]+=wood[k];

         }

     }

     sp+=wood[k];

     return ;

 }

 int binary() {

     int left=,right=r;

     while(left<right) {

         mid=(left+right+)>>;

         if(sum[mid]>sp || wood[mid]>bag[n]) {right=mid-;continue;}

         if(dfs(mid,)) left=mid;

         else right=mid-;

     }

     return left;

 }

 void solve() {

     init();

     printf("%d\n",binary());

 }

 int main(int argc, char const *argv[])

 {

 #ifdef ivorysi

     freopen("fence8.in","r",stdin);

     freopen("fence8.out","w",stdout);

 #else

     freopen("f1.in","r",stdin);

 #endif

     solve();

     return ;

 }