异或，构造递增序列

题目

#include<bits/stdc++.h>
using namespace std;
#define int long long
const int maxn = 1e6 + 5;
int sum[maxn], bt[35];
int get_bits(int x){
    for(int j = 30; j >= 0; j--){
        if((x >> j & 1)) return j + 1;
    }
    return 0;
}
void solve(){
    int n, k, i, j;
    cin >> n >> k;
    k--;
    for(i = 2; i <= n; i++){
        cin >> sum[i];
        sum[i] ^= sum[i - 1];
    }
    //for(i = 1; i <= n; i++) cout << sum[i] << ' ';
    memset(bt, -1, sizeof(bt));
    vector<pair<int, int>> s, t;
    s.push_back({1, n});
    for(j = 29; j >= 0; j--){
        for(auto x : s){
            int l = x.first, r = x.second;
            bool flag = 0;
            for(i = l + 1; i <= r; i++){
                if((sum[i] >> j & 1) != (sum[l] >> j & 1)){
                    for(int k = i + 1; k <= r; k++){
                        if((sum[k] >> j & 1) != (sum[i] >> j & 1)){
                            cout << -1 << '\n';
                            return;
                        }
                    }
                    int bit = (sum[l] >> j & 1);
                    if(bt[j] != -1 && bt[j] != bit){
                        cout << -1 << '\n';
                        return;
                    }
                    bt[j] = bit;
                    flag = 1;
                    t.push_back({l, i - 1}), t.push_back({i, r});
                    break;
                }
            }
            if(!flag) t.push_back({l, r});
        }
        s = t;
        t.clear();
    }
//法一：
//     int pos[35] = {0}, m = 0;
//     for(j = 0; j <= 29; j++){
//         //cout << bt[j];
//         if(bt[j] == -1) pos[++m] = j;
//     }
// //     for(j = 1; j <= m; j++) cout << pos[j] << ' ';
// //     cout << '\n';
    
//     int cnt = get_bits(k);
//     if(cnt > m){
//         cout << -1 << '\n';
//         return;
//     }
//     for(j = 0; j < cnt; j++){
//         if(k >> j & 1){
//             bt[pos[j + 1]] = 1;
//         }
//         else bt[pos[j + 1]] = 0;
//     }
//     int a = 0;
//     for(j = 0; j <= 29; j++){
//         if(bt[j] == -1) bt[j] = 0;
//         a += (bt[j] << j);
//     }
//法二：
    int a = 0;
    for(j = 0; j <= 29; j++){
        if(bt[j] == -1){
            a |= (k & 1) << j;
            k >>= 1;
        }
        else a |= bt[j] << j;
    }
    if(k){
        cout << -1 << '\n';
        return;
    }
    for(i = 1; i <= n; i++){
        cout << (a ^ sum[i]) << ' ';
    }
    cout << '\n';
}
signed main(){
    int T;
    cin >> T;
    while(T--){
        solve();
    }
    return 0;
}