本题为:CSPs-2020 T2
星影落九天,鱼雁舞千弦。但为君沉吟,落日天涯圆。
根据题意,显然有:当饲料清单上某一位为0时,不能再加入一种动物使得这一位变为1,其余的位置可以为0或1
令 S S S为所有饲料清单上第 P i P_i Pi位为 0 0 0的个数(注意要去重)
那么最终答案就是 2 k − S − n 2^{k-S}-n 2k−S−n( k , n k,n k,n即为题目中所给的 k , n k,n k,n)
初始的饲料清单可以记录一个数 F = 0 F=0 F=0,则 F F F x o r i = 1 n a i xor_{i=1}^na_i xori=1nai的结果就是饲料清单的值(令结果为 F F F)
判断第 P i P_i Pi位是否为 0 0 0,可以判断 F ∣ ( 1 u l l < < p i ) F|(1ull<<p_i) F∣(1ull<<pi)是否等于 F F F。(这里的 1 1 1要用 u l l ull ull)
需要特别注意的是最 k k k最大可以达到 64 64 64,所以答案一定要用 u n s i g n e d unsigned unsigned l o n g long long l o n g long long保存,不然会爆!
然而太弱的我并没想到 k = 64 , S = 0 , n = 0 k=64,S=0,n=0 k=64,S=0,n=0这种情况,因为它的答案为 2 64 2^{64} 264, u l l ull ull并不能存下它,那么就只有特判了!
Code
#include<bits/stdc++.h>
#define ll long long
using namespace std;
unsigned ll read()
{
unsigned ll x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
bool vis[1000];
unsigned ll n,m,c,k,F,q,p;
int main()
{
freopen("zoo.in","r",stdin);
freopen("zoo.out","w",stdout);
n=read(),m=read(),c=read(),k=read(),F=0;
for(unsigned ll i=1,a;i<=n;i++)a=read(),F=F|a;
for(unsigned ll i=1;i<=m;i++)
{
p=read(),q=read();
if((F|(1ull<<p))!=F&&!vis[p])k--,vis[p]=true;
}
if(k==64&&n==0)printf("18446744073709551616\n"),exit(0);
unsigned ll ans=(unsigned ll)pow(2,k)-n;
printf("%llu\n",ans);
return 0;
}