Codeforces Round #563 (Div. 2)

Codeforces Round #563 (Div. 2)
D:
题意是给定 $n$ 和 $x$ ，构建这样最长的数组 $a$ 满足：$1\le a_i\le 2^n$ 且任意一个连续区间的异或和不等于 $0$ 或 $x$ 。
一个区间[l, r]的异或和可以由l-1的异或前缀和和r的异或前缀和异或起来表示。

1. 连续区间异或和不为0则说明构造出的数组中，没有任何一个点的异或前缀和相等。
2. 连续区间异或和不为 $x$ 则表示，数组中每个点的异或前缀和异或上 $x$，不等于任何一个点的异或前缀和。

综合以上两点可知每一个点的异或前缀和和异或前缀和异或上x两两不等。因此可以通过已知的异或前缀和构造出整个数组。当 $x>2^n$ 时，不受限制2的影响。

#include <bits/stdc++.h>
using namespace std;
const int N = 1e6;
bool vis[N];
int p[N];
int a[N];
int main() {
   
    int n, x;
    scanf("%d%d", &n, &x);
    int m = 0;
    if(x>=(1<<n)) {
   
        // 不可能有区间异或为x，所有前缀和可用
        for(int i=1; i<(1<<n); ++i) {
   
            p[m++]=i;
        }
    } else {
   
        // 排除互斥
        vis[0]=vis[x]=true;
        for(int i=0; i<(1<<n); ++i) {
   
            if(vis[i]) continue;
            vis[i]=vis[i^x]=true;
            p[m++]=i;
        }
    }
    a[0]=p[0];
    for(int i=1; i<m; ++i) {
   
        a[i]=p[i-1]^p[i]