尝试写了一下优化解法, 结果全WA...

#include <iostream>
#include <set>
using namespace std;
int n, m, c, k;
int a[1000005], p[1000005], q[1000005];
bool food_owned[64];
set<int> vis;
inline bool needfood(int x, int p){
	return (x >> p) & 1;
}
int main(){
    ios::sync_with_stdio(0);
    cin >> n >> m >> c >> k;
    for(int i = 0; i < n; i++) cin >> a[i];
    for(int i = 0; i < m; i++){
        cin >> p[i] >> q[i];
        for(int j = 0; j < n; j++){
            if(needfood(a[j],p[i])){
                food_owned[p[i]]=true;
                vis.insert(a[j]);
                break;
            }
        }
    }
    int ans = (1 << k) - 1;
    for(int i = 0; i < n; i++){
        if(vis.count(a[i])) ans--;
    }
    for(int i = 0; i < m; i++){
        if(!food_owned[p[i]]){
            ans -= ((1 << k) >> 1);
        }
    }
    cout << ans << endl;
    return 0;
}