动物园

这道题的背景有些牵强，其实 \(q_i\) 完全没有用。

首先，如果《饲养指南》中提到的规则在动物园已有的动物中存在，那么这种饲料一定会购买，那么就可以养 \(p_i\) 位为 \(0/1\) 都可以。但是如果动物园已有的动物中不存在，那么如果新动物 \(p_i=1\) 必定是要买新的饲料，那么不符合题意。综上，发现所有可以供养的动物就是所有 \(p_i\) 可能的乘积。注意 \(2^{64}\) 特判，以及两条规则 \(p_i\) 相等等价的判断。

#include<cstdio>
using namespace std;
#define Ls(i,l,r) for(int i=l;i<r;++i)
#define Rs(i,l,r) for(int i=r;i>l;--i)
#define L(i,l) for(int i=0;i<l;++i)
int n,m,c,k;
typedef unsigned long long ll;
bool st[70];
ll ans=1;
int main(){
    scanf("%d%d%d%d",&n,&m,&c,&k);
    ll r=0;
    L(i, n){
        ll x;
        scanf("%llu",&x);
        r|=x;
    }
    L(i, m){
        int p,q;
        scanf("%d%d",&p,&q);
        if(!(r>>p&1)&&!st[p])st[p]=1,k--;
    }
    if(k==64){
        if(!n)puts("18446744073709551616");
        else printf("%llu",-n);
    }
    else printf("%llu",(1ull<<k)-n);
    return 0;
}