bzoj 5285: [Hnoi2018]寻宝游戏 结论题

题意

给你一个N*M的矩阵，每一行之间加一个与或者或的符号，问最后能得到询问的0/1序列的方案数

对于 $100\% 的数据，1≤n≤1000，1≤m≤5000，1≤q≤1000$

分析

考虑中间加什么合法，对于每一位分开考虑
从下标从小到大把这一位取出，然后变成一个二进制bi
然后把每一位之前加个符号，如果是or就是0，如果是and就是1，然后这样的二进制是x
最后的结果是1，当且仅当$x < b_i$

为什么？画一画就知道了，首先假设前面已经为1，结论成立，那么如果当前位是1，你就可以填一个and或者or，否则你只能填or，对于第一位只能填or

代码

#include <bits/stdc++.h>
#define ll long long
using namespace std;
const ll N = 1010;
const ll Mod = 1e9+7;
ll c[5010]; ll n,m,q;
struct node
{
  ll a[N],id;
  node(){}
  friend bool operator < (const node &x,const node &y)
  {
    for(ll i=n+1;i>=1;i--) if(x.a[i] != y.a[i]) return x.a[i] < y.a[i];
    return 0;
  }
}b[5010];
int main()
{
  cin >> n >> m >> q;
  for(ll i=1;i<=n;i++) for(ll j=1;j<=m;j++) // m bit 
  {
    char ch; scanf("\n%c",&ch);
    b[j].a[i] = ch-'0'; b[j].id = j;
  }
  for(ll i=1;i<=n;i++) b[0].a[i] = 0,b[m+1].a[i] = 0; b[m+1].a[n+1] = 1;
  sort(b,b+m+2);
  while(q--)
  {
    for(ll i=1;i<=m;i++){char ch; scanf("\n%c",&ch); c[i] = ch - '0';}
    ll rk0 = 0,rk1 = m+1;
    for(ll i=1;i<=m;i++) if(c[b[i].id] == 1){rk1 = i; break;}
    for(ll i=m;i>=1;i--) if(c[b[i].id] == 0){rk0 = i; break;}
    if(rk0 > rk1){printf("0\n"); continue;}
    else
    {
      ll ans = 0;
      for(ll i=n+1;i>=1;i--) ans =(ans * 2 + b[rk1].a[i] - b[rk0].a[i]) % Mod;
      printf("%lld\n",(ans+Mod) % Mod);
    }
  }
  return 0;
}