[loj2494]寻宝游戏

将$n+1$个数字（还有0）标号为$[0,n]$，那么定义$a_{i,j}$表示第j个数上第i位上的值，如果第$i-1$个数与第$i$个数之间的运算符为与，那么令$b_{i}=1$，否则$b_{i}=0$，特别的，$b_{0}=1$（因此很明显有$b_{0}\ne a_{0,0}$，即$b\ne a_{i}$）

考虑对于第i位，那么结果其实就是最大的$a_{i,j}\ne b_{j}$的j上的$a_{i,j}$，如果这一位结果为0，当且仅当$a_{i}<b$（转化为二进制数，0为最低位），同理这一位结果为1，当且仅当$a_{i}>b$，那么我们就可以求出b的范围，又因为每一个b唯一对应一种方案，因此b的数量即为方案数量（细节上，由于$a_{i,0}<b_{0}$，因此$ai<b$等价于去掉最后一位后$ai=b$）

那么预处理将所有ai排序，然后枚举即可求出最小值和最大值，相减即为答案

 

#include<bits/stdc++.h>
using namespace std;
#define N 5005
#define mod 1000000007
struct ji{
    int a[1005];
}ans,a[N];
int n,m,q,id[N],rk[N];
char s[N];
bool cmp(int x,int y){
    for(int i=1000;i;i--)
        if (a[x].a[i]!=a[y].a[i])return a[x].a[i]<a[y].a[i];
    return 0;
}
int main(){
    scanf("%d%d%d",&n,&m,&q);
    for(int i=1;i<=n;i++){
        scanf("%s",s);
        for(int j=0;s[j];j++)a[j].a[i]=s[j]-'0'; 
    }
    for(int i=0;i<m;i++)id[i]=i;
    sort(id,id+m,cmp);
    for(int i=0;i<m;i++)rk[id[i]]=i;
    for(int i=1;i<=q;i++){
        scanf("%s",s);
        int x=-1,y=m;
        for(int j=0;s[j];j++)
            if (s[j]=='0')x=max(x,rk[j]);
            else y=min(y,rk[j]);
        if (x<0)ans=a[id[y]];
        if (y==m)
            for(int j=1;j<=n;j++)ans.a[j]=1-a[id[x]].a[j];
        if ((x>=0)&&(y<m))
            if (!cmp(id[x],id[y]))memset(ans.a,0,sizeof(ans.a));
            else
                for(int j=1,p=0;j<=1000;j++){
                    ans.a[j]=a[id[y]].a[j]-p-a[id[x]].a[j];
                    p=(ans.a[j]<0);
                    ans.a[j]+=p*2;
                }
        ans.a[0]=0;
        for(int j=1000;j;j--)ans.a[0]=(ans.a[0]*2+ans.a[j])%mod;
        printf("%d\n",(ans.a[0]+(y==m))%mod);
    }
}