题意:
有60种内存库,每种有a【i】个,每种的存储容量等于2^i,现在有N个工作站,
每个工作站的搭建需要b【i】的存储空间,一个内存库(不是一种)不能若使用则不能有
剩余,且只能给一个工作站。问能不能将所有工作站全部搭建起来,能,输出内存库剩余
容量,不能输出-1。
思路:
有一个很明显的思路是对于一个工作站,从内存空间大的内存库开始给其分配,
一直到没法完成该工作站或者该工作站搭建完毕,显然的问题就是会不会存在一种仅能由
小容量的某几个内存库构成而无法由较大容量内存库构成的方案。
现在假设这种情况是存在的,对于我们需要的N,现在有最大的x(2的某次幂)。那么
N的第x二进制位若为1,显然与假设相悖。
如果不一样的情况不能严格证明,抽象理解其正确性感觉也很困难,所以这个问题没有
被解决。
代码实现:(注意 1<<i 超32位时要强制转换)
#include <iostream>
#include <string.h>
#include <math.h>
#include <stdio.h>
#include <queue>
#include <algorithm>
#define LL long long
#define inf 0x3f3f3f3f3f3f3f3f
#define ull unsigned long long
using namespace std;
const int N = 2e5 + 100;
const int M = 4e5 + 100;
const int mod = 1e9 + 7;
long long x[62],arr[N],s[62];
int main() {
#ifdef MYHOME_Wjvje
freopen("input.txt","r",stdin);
#endif
int n;
long long ans;
while(cin>>x[0]) {
s[0]=1;
ans=0;
for(int i=1; i<60; i++)
cin>>x[i],s[i]=1LL<<i;
cin>>n;
for(int i=0; i<n; i++)cin>>arr[i];
for(int i=0; i<n; i++) {
long long tmp=arr[i];
for(int j=59; j>=0; j--) {
// ************ 常用的判断结构
long long num=tmp/s[j];
if(x[j]<num)
tmp-=x[j]*s[j],x[j]=0;
else
tmp-=s[j]*num,x[j]-=num;
}
if(tmp) {
ans=-1;
break;
}
}
if(ans==-1)cout<<ans<<endl;
else {
ans=0;
for(int i=0; i<60; i++)
ans=(ans+((x[i]%mod)*(s[i]%mod)%mod))%mod;
cout<<ans<<endl;
}
}
return 0;
}
THE END;