BZOJ 2844 异或线性基（HDU3949 升级版

最新推荐文章于 2020-05-16 10:31:30 发布

新熊君

最新推荐文章于 2020-05-16 10:31:30 发布

阅读量420

点赞数

分类专栏： ACM算法题目和总结文章标签：线性基异或线性基 BZOJ BZOJ2844 高斯消元

本文链接：https://blog.csdn.net/WuBaizhe/article/details/77887828

版权

ACM算法题目和总结专栏收录该内容

25 篇文章 0 订阅

订阅专栏

博客详细介绍了BZOJ 2844题目的解题思路，这是一个基于异或线性基的升级版问题。作者通过分析样例得出每个结果出现次数相同，并推导出每个数的出现次数与线性基的关系。解题方法涉及线性基的构造和高斯消元，通过计算去重后的名次来确定询问结果。

摘要由CSDN通过智能技术生成

题目链接

题意：给出 $n$ 个数和一个询问，询问为一个数 $x$ ，问 $n$ 个数任意组合异或后排序得到的结果中（不去重），数 $x$ 最先出现在第几位？

思路：
类似于HDU 3949

不过这是不去重，故难度大大增加。

不过从样例的解释上来看，我们可以试着大胆猜想，每一个结果出现的次数都是一样的。

然后推导一番可发现，每个数的出现次数 $c n t$ 恰好是 $n$ 个数中不参与构成线性基的数任意组合的次数，即假设线性基的个数为 $t o t$ ，则： $cnt = 2^{n-tot}$

可以这么来理解这件事。

对于 $n$ 个数异或出的任意结果，都可以由线性基唯一表示，而不参与构成线性基的那 $n - t o t$ 个数也可以由线性基唯一线性表示。

那么 $n - t o t$ 个数的任意 $2^{n-tot}$ 个子集，都可以和原本的结果 $x$ 异或组合，那么只需要多异或上一部分线性基，使这部分线性基异或上该子集异或和后为 $0$ ，则对答案不产生影响。（若一个线性基取了两次则等价于没取因为异或后为0）

故不去重的名次只不过是去重的名次乘上一个 $2^{n-tot}$ 罢了。

代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;

const int mod = 10086;
const int A = 1e5 + 10;
int a[A],b[A],c[A],tot,n;

void init_Xor(){
    for(int i=1 ;i<=n ;i++) for(int j=31 ;j>=0 ;j--){
        if((a[i]>>j)&1){
            if(b[j]) a[i] ^= b[j];
            else{
                b[j] = a[i];
                for(int k=j-1 ;k>=0 ;k--) if(b[k]&&(b[j]>>k&1)) b[j]^=b[k];
                for(int k=j+1 ;k<=31;k++) if(b[k]>>j&1)         b[k]^=b[j];
                break;
            }
        }
    }
    for(int i=0 ;i<=31 ;i++) if(b[i]) c[tot++] = i;
}

int fast_pow(int a,int b){
    int res = 1;
    while(b){
        if(b&1) res = 1LL*res*a%mod;
        a = 1LL*a*a%mod;
        b >>= 1;
    }
    return res;
}

int main(){
    scanf("%d",&n);
    for(int i=1 ;i<=n ;i++) scanf("%d",&a[i]);
    init_Xor();
    int Q;scanf("%d",&Q);
    ll rank = 0;
    for(int i=0 ;i<tot ;i++) if((Q>>c[i])&1) rank += 1<<i;
    printf("%lld\n",(rank%mod*fast_pow(2,n-tot)%mod+1)%mod);
    return 0;
}