11届湖南省赛 Internet of Lights and Switches【状压+二分】

题目大意：目前有n个灯全亮，给你m个开关，每个开关可以控制一组灯泡，让你连续按一组开关，开关数目在[a,b]中，使得所有灯泡全灭，求多少种按法【每个开关都只被按了一次】

n<50 m<3e5

题目分析，我们现在简单看一下这个题，每个开关控制一组灯泡，由于开关非常多，我们要求某一个区间能够把灯全部点亮，这个区间显然不可能枚举任意两个区间：所以，我们很自然的想到前缀和，由于灯泡的亮灭只有两种情况，那么我们把这个前缀和用模二加来做，也就是求一个异或前缀和，然后求了前缀和，我们还觉得不够，因为即使我们能判断某个区间能够构成一组解，难道我们要判断每一组区间吗？显然是不可能的，因此我们再仔细观察，发现，我们只要找到一组灯泡与之前某一组的灯泡的亮暗恰好相反，也就是意味着，在这个区间范围内，所有的灯泡都只被按了一次。必然能够全部暗灭，那么，我们只需要找到相反状态的灯的开关所在的位置，即可，由于 他给了a,b的范围，因此，只要在 i-a,i-b中查询即可；

代码

/*
2 4 1 4
01
10
11
00
2 4 3 3
01
10
11
00
6 3 1 3
101001
010110
101001
*/

#include <iostream>
#include <cstdio>
#include <vector>
#include <cstdlib>
#include <cstring>
#include <vector>
#include <map>
#include <algorithm>
#define cl(arr) memset(arr,0,sizeof(arr))
using namespace std;
typedef long long ll;
const int maxn=300005;
const int inf=0x3f3f3f3f;
char on[maxn];
ll pre[maxn];
int n,m,a,b;
int main()
{
    int CASE=1;
    while(scanf("%d%d%d%d",&n,&m,&a,&b)!=EOF)
    {
        ll ans=0;
        cl(pre);
        map<ll,vector<int> >mp;
        mp[0].push_back(0);
        for(int i=1;i<=m;i++)
        {
            scanf("%s",on);
            ll state=0;
            for(int j=0;j<n;j++)
            {
                if(on[j]=='1')
                {
                    state += (1ll<<j);
                }
            }
           // cout<<state<<endl;
            pre[i]=state^pre[i-1];
            mp[pre[i]].push_back(i);
        }
        for(int i=1;i<=m;i++)
        {
            ll t=(~pre[i])&((1ll<<n)-1);
            if(!mp[t].empty())
            {
                int l=lower_bound(mp[t].begin(),mp[t].end(),i-b)-mp[t].begin();
                int r=upper_bound(mp[t].begin(),mp[t].end(),i-a)-mp[t].begin();
                ans+=(r-l);
            }
        }
        printf("Case %d: %I64d\n",CASE++,ans);
    }
    return 0;
}