问题 F: Bale Share

题意：把n个物品装入3个等体积的背包，在能装下所有物品的前提下，使背包体积尽可能地小。

分析：
如果去掉限制条件尽可能地小，那么答案将会是[MinV,+∞），相对的，[0,Minv-1]都不存在解。就把解地分布作为二分条件。
二分过程给出一个背包的任意容量X，让A，B尽可能地被装满，然后再看C中装的是否不超过X。如果满足，是可行解，但不一定是最优解。不满足的情况同样分析就行。

//题意：把n个物品装入3个等体积的背包，在能装下所有物品的前提下，使背包体积尽可能地小。
//分析如果去掉限制条件尽可能地小，那么答案将会是[MinV,+∞），相对的，[0,Minv-1]都不存在解。就把解地分布作为二分条件。
//二分过程给出一个背包的任意容量X，让A，B尽可能地被装满，然后再看C中装的是否不超过X。如果满足，是可行解，但不一定是最优解。如果不满足...

#include <bits/stdc++.h>

using namespace std;

int f[25][2100] ;

int a[25] ;
int b[25] ;
int Sum  ;

bool check(int x,int n){

    //留下记录，方便恢复现场
    for(int i = 1 ; i <= n ; i++) b[i] = a[i] ;
    int N = n ;


    

    memset(f,0,sizeof f);
    f[0][0] = 1;
    for(int i = 1 ; i <=n ; i ++){
        
        //当前面值的钞票a[i]试着承接前i-1层产生的各种和，进而产生当前层新的和。
        for(int j = x ; j >= 0 ; j--){

            //不选当前物品的前提下，能否产生和为j取决于前i-1层是否有j这个和。
            f[i][j] = f[i-1][j];

            //这里解一下为什么取max，因为如果上一层恰有f[i-1][j] = 1 , 但同时有f[i-1][j-a[i]] = 0 , 那么显然在不选a[i]的情况下才能产生和为j
            //也就是让j的产生尽可能的继承于上一层的任一合法状态
            if(j>=a[i])f[i][j] = max(f[i-1][j],f[i-1][j-a[i]]);//
        }
    }
    unordered_map<int,bool>use;
    int Haveuse = 0;
    for(int i = x ; i >= 1 ; i--){

        //找到一个最接近x的和i
        if(f[n][i]){
            Haveuse += i ;
            int lef = i;

            //找出选哪些物品能构造出和为lef
            for(int j = n ; j >= 1 ; j--){
                
                //如果选第j层的a[j]，仅凭前j-1层不能获得当前和lef，则必须选上物品a[j]，既然选了a[j]，剩下要分配的量lef = lef - a[j]。
                //把选择的物品做标记use[j] = true 。
                if(!f[j-1][lef])use[j] = true, lef = lef - a[j];
            }
            break;
        }
    }


    

    vector<int>v;
    //把选过的物品踢出数组a。
    for(int i = 1 ; i <= n ; i++){
        if(!use[i])v.push_back(a[i]);
    }
    for(int i = 0 ; i < v.size() ; i++){
        a[i+1] = v[i] ;
    }
    n = v.size();
    memset(f,0,sizeof f);


    


    //再对背包B进行同样的操作，不过B就没必要再找选了哪些物品了（那部分可以删掉）。
    f[0][0] = 1 ;
    for(int i = 1 ; i <=n ; i ++){
        for(int j = x ; j >= 0; j--){
            f[i][j] = f[i-1][j];
            if(j>=a[i])f[i][j] = max(f[i][j],f[i-1][j-a[i]]);
        }
    }

    for(int i = x ; i >= 1 ; i--){
        if(f[n][i]){
            Haveuse += i ;
            break;
        }
    }


    //一次二分完成后，要恢复现场。
    for(int i = 1 ; i <= N ; i++) a[i] = b[i] ;


    //验证第三个背包是否满足二分条件。
    return Sum - Haveuse <= x ;
}

int main()
{
    //freopen("in","r",stdin);
    int n;
    cin >> n ;
    for(int i = 1 ; i <= n ; i++) cin >> a[i] , Sum += a[i];
    int l = 0 , r = Sum ;

    while(l+1<r){
        int mid = (l + r) / 2 ;
        if(check(mid,n))r = mid;
        else l = mid ;
    }


    if(check(l,n))cout << l << endl ;
    else cout << r << endl ;


    return 0 ;
}