【分析】
我们开始胡思乱想,结果发现这道题一定是用容斥问题解决。
不是很看得懂。。。
#include<bits/stdc++.h>
using namespace std;
const int maxn=1<<20;
const int mod=1e9+7;
template <typename T> void read(T &x){
x=0;int fl=1;char tmp=getchar();
while((tmp<'0'||tmp>'9')&&tmp!='-')tmp=getchar();
if(tmp=='-') fl=-1,tmp=getchar();
while(tmp>='0'&&tmp<='9')x=(x<<1)+(x<<3)+tmp-'0',tmp=getchar();
x*=fl; return ;
}
int n,m,k,cnt[maxn],bits[maxn];
inline int power(int x,int p){//快速幂
int ret=1;
while(p){
if(p&1) ret=1ll*ret*x%mod;
x=1ll*x*x%mod;
p=p>>1;
}
return ret;
}
inline int lowbit(int x){
return x&-x;
}
int main(){
int num; read(num);
read(n),read(m),read(k);
for(int i=1;i<=m;i++){
int x;read(x);
cnt[x]++;//初始状态
}
int ans=power(m,k),goal=(1<<n)-1;//状态转移
for(int len=1;len<(1<<n);len<<=1){//对位枚举
for(int i=0;i<=goal;i+=len<<1)//每次跨度为0~(len<<1)-1
for(int j=i,k=i+len;j<i+len;j++,k++)//单位跨度内枚举
cnt[j]+=cnt[k];//不选择第len号话题时的选择数
}
for(int i=1;i<=goal;i++)
bits[i]=bits[i-lowbit(i)]+1;
for(int i=0;i<=goal;i++){
if(bits[i]&1) ans=(ans+power(cnt[i],k))%mod;
else ans=(ans-power(cnt[i],k)+mod)%mod;
}
cout<<ans<<endl;
return 0;
}