题意
给你 n n 个长度为的 01 01 串
你可以在每个串前面加一个运算符 ∧ ∧ 或 ∨, ∨ , 分别表示 and a n d 和 or o r 运算
每次询问一个长度为 m m 的串 , , 问有多少总操作序列能得到这个串
题解
因为是二进制数所以考虑按位处理( i i 表示第个数字 ,j , j 表示第 j j 位)
0∨1=1,1∨1=1 0 ∨ 1 = 1 , 1 ∨ 1 = 1
0∧0=0,1∧0=0 0 ∧ 0 = 0 , 1 ∧ 0 = 0
也就是说如果第 j j 位是且 i i 前面的运算符是那么不管前面是什么最后的运算结果都确定了是 0 0 (另外一种情况同理)
0∨0=0,1∨0=1 0 ∨ 0 = 0 , 1 ∨ 0 = 1
0∧1=0,1∧1=1 0 ∧ 1 = 0 , 1 ∧ 1 = 1
也就是说如果第 j j 位是且 i i 前面的运算符是那么不管前面是什么最后的运算结果都不会发生改变(另外一种情况同理)
考虑把操作序列转化成 01 01 序列 (∨→0,∧→1) ( ∨ → 0 , ∧ → 1 )
可以观察到
如果 i i 前面的运算符和第位相同那么运算结果就不会改变
否则的话运算结果也是可以直接得出的
设最后一位是最高位
把第 j j 位的串提出来得到一个长度是 n n 的二进制数
因为要使得第 j j 位运算结果是则最后一个 ∨1 ∨ 1 操作的位置一定要在 ∧0 ∧ 0 后面
转化一下就是就要求 x> x > 操作串
e.g e . g
x=1011,op=0011,x>op x = 1011 , o p = 0011 , x > o p
0∨1∨0∧1∧1=1 0 ∨ 1 ∨ 0 ∧ 1 ∧ 1 = 1
x=1011,op=1011,x≤op x = 1011 , o p = 1011 , x ≤ o p
0∧1∨0∧1∧1=0 0 ∧ 1 ∨ 0 ∧ 1 ∧ 1 = 0
那么这道题就成功的转化为一个比大小的题目了
每一位按照其二进制数的值排序
判断一下每一位二进制数和 op o p 的大小关系
如果有解最后可以得到 x≤op<y, x ≤ o p < y , 那么方案数就是 y−x y − x
#include<bits/stdc++.h>
#define fp(i,a,b) for(register int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(register int i=a,I=b-1;i>I;--i)
#define go(u) for(register int i=fi[u],v=e[i].to;i;v=e[i=e[i].nx].to)
#define file(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout)
template<class T>inline bool cmax(T&a,const T&b){return a<b?a=b,1:0;}
template<class T>inline bool cmin(T&a,const T&b){return a>b?a=b,1:0;}
using namespace std;
const int N=5005,P=1e9+7;
typedef int arr[N];
int n,m,q,c[2];arr a,b,s,t,Mi;char p[N];
inline int pls(int a,int b){return a+=b,a<P?a:a-P;}
inline int sub(int a,int b){return a-=b,a<0?a+P:a;}
int main(){
#ifndef ONLINE_JUDGE
file("s");
#endif
scanf("%d%d%d\n",&n,&m,&q);
Mi[1]=1;fp(i,2,n+1)Mi[i]=(Mi[i-1]<<1)%P;
fp(i,1,m)a[i]=i;
fp(i,1,n){
gets(p+1);c[0]=0,c[1]=m;
fp(j,1,m)p[j]=='1'?s[j]=pls(s[j],Mi[i]):++c[0];
fd(j,m,1)b[c[p[a[j]]-48]--]=a[j];swap(a,b);
}
fp(i,1,m)t[i]=s[a[i]];
register int up,dw;t[m+1]=Mi[n+1];
while(q--){
gets(p+1);up=m+1,dw=0;
fd(i,m,1)if(p[a[i]]=='0'){dw=i;break;}
fp(i,1,m)if(p[a[i]]=='1'){up=i;break;}
printf("%d\n",up<dw?0:sub(t[up],t[dw]));
}
return 0;
}