CF 1968 F. Equal XOR Segments (*1800) 思维

CF 1968 F. Equal XOR Segments (*1800) 思维

题目链接

题意：

给你一个长度为 $n$ 的数组，如何可以把数组分成 $k(k>1)$ 组，并且使得每组的异或和相等，那么这个数组就是完美的。现在给你 $q$ 组询问，每次给你 $l,r$ 。请你判断 $a_l$ 到 $a_r$ 之间是否是完美的。

思路：

对于每次询问，不妨我们令 $a_l\oplus a_{l+1}\oplus ...\oplus a_{r-1}\oplus a_r=S$。

显然如果 $S=0$ ，那么我们一定可以分成两组。

接着考虑 $S!=0$ 的情况，首先一定只能分成奇数组，并且每组的异或和都为 $S$, 那么我们只用考虑能否分成三组即可。因为其他组数的情况，我们都可以通过合并来变成三组的情况。

首先，我们需要维护一下前缀异或和，并且维护每个前缀异或和值出现的所有位置。(可以开一个map套vector即可，这个东西真的超级好用)。接下来我们只需要在对应的vector中二分找到对应位置即可。判断一下边界即可。

代码：

#include<bits/stdc++.h>

using namespace std;

#define ff first
#define ss second
#define pb push_back
#define all(u) u.begin(), u.end()
#define endl '\n'
#define debug(x) cout<<#x<<":"<<x<<endl;

typedef pair<int, int> PII;
typedef long long LL;
const int inf = 0x3f3f3f3f;
const int N = 1e5 + 10, M = 105;
const int mod = 1e9 + 7;
const int cases = 1;

void Showball(){
   int n,q;
   cin>>n>>q;
   vector<int> a(n+1),s(n+1);
   for(int i=1;i<=n;i++){
      cin>>a[i];
      s[i]=s[i-1]^a[i];
   }
   map<int,vector<int>> mp;
   for(int i=0;i<=n;i++) mp[s[i]].pb(i);

   while(q--){
      int l,r;
      cin>>l>>r;
      int S=s[r]^s[l-1];
      if(!S){
         cout<<"YES\n";
         continue;
      }
      auto it=lower_bound(all(mp[S^s[l-1]]),l);
      if(it==mp[S^s[l-1]].end()||*it>=r){
         cout<<"NO\n";
         continue;
      }
      int p=*it;
      it=lower_bound(all(mp[S^s[p]]),p+1);
      if(it==mp[S^s[p]].end()||*it>=r){
         cout<<"NO\n";
         continue;
      }
      int q=*it;
      cout<<(s[r]^s[q]==S?"YES\n":"NO\n"); 
   }
   cout<<endl;
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout.tie(nullptr);
    int T=1;
    if(cases) cin>>T;
    while(T--)
    Showball();
    return 0;
}