CodeForces - 1101G (Zero XOR Subset)-less

题意：

给定一个 $n$ 个元素的数组 $a$，将其划分成 $m$ 个区间，使得不存在一个区间集合使得异或和为 $0$，无解则输出 $-1$，否则输出最大的 $m$。$(n\le 2\times 10^5)$

链接：

https://codeforces.com/contest/1101/problem/G

解题思路：

区间异或和，用前缀异或和 $sum[i]$ 表示，则一个区间对应两个单点，且相邻区间共用一个端点，题意转化为求最多的 $sum[i]$ 使得不存在子集异或和为 $0$，并且 $sum[n]$ 必须在这个集合里面。则维护线性基个数即为答案，注意 $sum[n]$ 必须作为一个基，特判即可。

参考代码：

#include<bits/stdc++.h>

using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
#define sz(a) ((int)a.size())
#define pb push_back
#define lson (rt << 1)
#define rson (rt << 1 | 1)
#define gmid (l + r >> 1)
const int maxn = 2e5 + 5;
const int inf = 0x3f3f3f3f;
const int mod = 1e9 + 7;

int b[30];
int a[maxn], sum[maxn];
int n;

void insert(int x){

    for(int i = 29; i >= 0; --i){

        if((x >> i) & 1){

            if(b[i]) x ^= b[i];
            else { b[i] = x; break; }
        }
    }
}

int main(){

    ios::sync_with_stdio(0); cin.tie(0);
    cin >> n;
    for(int i = 1; i <= n; ++i) cin >> a[i];
    for(int i = 1; i <= n; ++i) sum[i] = sum[i - 1] ^ a[i];
    if(!sum[n]){

        cout << "-1" << endl;
        return 0;
    }
    for(int i = n; i >= 1; --i){

        insert(sum[i]);
    }
    int ret = 0;
    for(int i = 29; i >= 0; --i) ret += b[i] != 0;
    cout << ret << endl;
    return 0;
}