【BZOJ2844】albus就是要第一个出场——线性基

Time Limit: 6 Sec Memory Limit: 128 MB

Description

已知一个长度为n的正整数序列A（下标从1开始）， 令 S = { x | 1 <= x <= n }, S 的幂集2^S定义为S 所有子
集构成的集合。定义映射 f : 2^S -> Zf(空集) = 0f(T) = XOR A[t] , 对于一切t属于T现在albus把2^S中每个集
合的f值计算出来， 从小到大排成一行， 记为序列B（下标从1开始）。 给定一个数， 那么这个数在序列B中第1
次出现时的下标是多少呢？

Input

第一行一个数n, 为序列A的长度。接下来一行n个数， 为序列A， 用空格隔开。最后一个数Q， 为给定的数.

Output

共一行， 一个整数， 为Q在序列B中第一次出现时的下标模10086的值.

Sample Input

3

1 2 3

1

Sample Output

3

样例解释：

N = 3, A = [1 2 3]

S = {1, 2, 3}

2^S = {空, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}

f(空) = 0

f({1}) = 1

f({2}) = 2

f({3}) = 3

f({1, 2}) = 1 xor 2 = 3

f({1, 3}) = 1 xor 3 = 2

f({2, 3}) = 2 xor 3 = 1

f({1, 2, 3}) = 0

所以

B = [0, 0, 1, 1, 2, 2, 3, 3]

HINT

数据范围：

1 <= N <= 10,0000

其他所有输入均不超过10^9

Source

湖北省队互测

题意：看提示就知道的题意。
对于给定的数组，我们可以通过线性基知道能够构造出的xor的种类数，那么在和任意的0向量进行组合就得到对应值的数量，那么我们可以求出小于Q的种类数，再乘以零向量的自由组合的数量就是小于Q的数，那么Q出现的下标就是之前的数量加1。不过莫名的爆int很伤

#include <iostream>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <stack>

using namespace std;
typedef long long LL;
const LL mod = 10086;
const int maxn = 1e5+100;

int a[maxn],n,q;

void Gauss() {
    int row =0;
    for(int i = 29,j;i>=0;i--) {
        for(j = row;j<n;j++) if((a[j]>>i)&1) break;
        if(j == n) continue;
        swap(a[row],a[j]);
        for(j = 0;j<n;j++) {
            if(j == row || ((a[j]>>i)&1) == 0) continue;
            a[j]^=a[row];
        }
        row++;
    }
}

int main() {
    while(~scanf("%d",&n)) {
        for(int i = 0;i<n;i++) scanf("%d",&a[i]);
        Gauss();
        scanf("%d",&q);
        int num = 0;
        for(int i = 0;i<n;i++) if(a[i]) num++;
        LL st = 0,ans = 0;
        for(int i = 0;i<num;i++) {
            if((st^a[i])>q) continue;
            st^=a[i];
            ans = (ans+(1LL<<(num-i-1))%mod)%mod;   
        }
        for(int i = 1;i<=n-num;i++) {
            ans <<=1LL;
            ans %=mod;
        }
        ans ++;
        ans %= mod;
        printf("%lld\n",ans);
    }
    return 0;
}