【NOI模拟】Juice【结论】

传送门题目可以qq找我

这题也是很nb，，服了气。

就是说，如果你看不出结论1，你就GG退赛了。

假设答案为m，将每个果汁的数量乘以m，保证总数量为S*m(S是果汁原数量合）

现在问题转化为将所有果汁放进m个桶，每个桶容积是S。

结论1：对于任何a种果汁数量合为（a-1）*S，均可以用（a-1）个桶装完。

归纳证明：

a=2显然成立。

a>2，令最多果汁数量为Max，最少为Min。Max+Min必然>=S。否则剩下的(a-2)种果汁合>(a-2)*S，最大值一定大于S，必然不是Max。

既然>=S。我们可以令这个桶装所有Min和部分Max。则现在问题转化为了a'=a-1这个子问题。

 

然后你还得看出第二个结论

结论2：若可以把a种果汁放进b个桶（b<=a-1），则a种果汁可以被拆分成a-b个集合。每个集合都形如结论1。

感性证明：b个桶，有2b个放果汁的区间。我们将桶视作边，将每种果汁视作点。一个桶装了两个不同的果汁视作连边。

可以发现每条边最多减少原图的一个联通块。则原图到最后至少有a-b个联通块。存在性得证。

假如刚好是a-b个联通块，说明每个联通块都无环。那么这意味着每个联通块都是由点数-1条边，也就是点数个果汁，放进点数-1个桶里面。即结论1。如果有更多，说明出现环，那将别的单块合并一些又是a-b了（？？）

所以直接模拟。从小到大枚举答案，枚举子集，如果子集合法，就分出去，分到最后看能不能行。

#include<bits/stdc++.h>
using namespace std;
#define in read()
int in{
	int cnt=0,f=1;char ch=0;
	while(!isdigit(ch)){
		ch=getchar();if(ch=='-')f=-1;
	}
	while(isdigit(ch)){
		cnt=cnt*10+ch-48;
		ch=getchar();
	}return cnt*f;
}
int n,a[22];int yzzkal=5261023;
int sumall,all,sum[1<<20],cnt[1<<20],num[1<<20];
bool check(int x){
	int s=0;
	while(yzzkal){
		int t=all^s;int flag=0;
		if((cnt[t]-1)*sumall==(sum[t]*x))return true;
		for(int tt=t;tt;tt=(tt-1)&t){
			if((cnt[tt]-1)*sumall==(sum[tt]*x)){
				flag=1;s|=tt;break;
			}
		}
		if(!flag)return false;
	}
}
int main(){
	n=in;for(int i=1;i<=n;i++)a[i]=in;all=(1<<n)-1;if(n<=2){cout<<"1";return 0;}
	for(int i=1,k=1;i<=n;i++,k<<=1)sumall+=a[i],num[k]=a[i];
	for(int s=1;s<=all;s++)sum[s]=sum[s^s&(-s)]+num[s&(-s)],cnt[s]=cnt[s^s&(-s)]+1;
	for(int i=(n+1)/2;i<=n;i++)if(check(i)){
		cout<<i;break;
	}
	//for(int s=1;s<=20;s++)cout<<s<<" "<<(s&(-s))<<" "<<(s-s&(-s))<<" "<<(s^s&(-s))<<endl;
	return 0;
}