题意:把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 ;
}