记录编号	608487	评测结果	AAAAAAAAAAAAAAAAAAAA
题目名称	3503.[CSP 2020S]动物园	最终得分	100
用户昵称	孤独的氢离子	是否通过	通过
代码语言	C++	运行时间	1.070 s
提交时间	2025-10-26 15:29:52	内存使用	3.76 MiB

#include<bits/stdc++.h>
using namespace std;
unsigned long long x[70],z,y,s,uky;
int n,m,c,k,a,b,ans;
int main()
{
	freopen("2020zoo.in","r",stdin);
	freopen("2020zoo.out","w",stdout);
	cin>>n>>m>>c>>k;
	if(k == 64 && n == 0 && m == 0)   
	{
		puts("18446744073709551616");
		return 0; 
	}
	x[0]=1;
	for(int i=1;i<=66;i++)	x[i]=x[i-1]*2;
	for(int i=1;i<=n;i++)
	{
		scanf("%llu",&y);
		z=z|y;
	}
	for(int i=1;i<=m;i++)
	{
		scanf("%d%d",&a,&b);
		if((z&x[a])==0)
		{
			uky=uky|x[a];
		}
	}
	for(int i=1;i<=k;i++)
	{
		if(uky%2!=0)
		{
			ans++;
		}
		uky=uky/2;
	}
	unsigned long long da=x[k-ans]-n;
	cout<<da;
	return 0;
}