• k大异或和(线性基)


    前置知识:线性基

    题目

    给出一个由 n n n个数组成的可重集合 S S S,每次给出一个数 k k k,求一个集合 T ⊆ S T\subseteq S TS,使得集合 T T T S S S的所有非空子集的不同的异或和中,其异或和 T 1 ⊕ T 2 ⊕ ⋯ ⊕ T ∣ T ∣ T_1 \oplus T_2 \oplus \cdots \oplus T_{|T|} T1T2TT是第 k k k小的。

    1 ≤ n , m ≤ 1 0 5 , 0 ≤ S ≤ 2 50 1\leq n,m\leq 10^5,0\leq S\leq 2^{50} 1n,m105,0S250

    题解

    构造 S S S线性基 d d d,则 S S S的所有非空子集的不同异或和都可以由 d d d中若干个数的异或和得到且一一对应。我们可以对线性基进行一些操作,使得 d d d在满足 d i d_i di的最高位为 i + 1 i+1 i+1的情况下数组 d d d单调递增。去掉 d i d_i di为空的部分,假设余下的部分长度为 c n t cnt cnt,答案为 a n s ans ans a n s ans ans初始为 0 0 0

    • k > 2 c n t − 1 k>2^{cnt}-1 k>2cnt1,显然不存在
    • k ≤ 2 c n t − 1 k\leq 2^{cnt}-1 k2cnt1,则对于所有 i ∈ [ 1 , c n t ] i\in[1,cnt] i[1,cnt],若 k k k的第 i i i位为 1 1 1,则 a n s = a n s ⊕ d i ans=ans\oplus d_i ans=ansdi

    注意在构造线性基的时候要顺便特判有没有若干个数异或值为 0 0 0,有的话 k k k要减一。

    code

    #include
    using namespace std;
    int n,m,vt,fl,d1=0;
    long long ans=0,k,a[100005],d[55];
    int main()
    {
    	scanf("%d",&n);
    	for(int i=1;i<=n;i++){
    		scanf("%lld",&a[i]);
    	}
    	for(int i=1;i<=n;i++){
    		fl=0;
    		for(int j=50;j>=0;j--){
    			if(a[i]&(1ll<<j)){
    				if(!d[j]){
    					d[j]=a[i];fl=1;
    					break;
    				}
    				a[i]^=d[j];
    			}
    		}
    		if(!fl) vt=1;
    	}
    	for(int i=50;i>=0;i--){
    		for(int j=i-1;j>=0;j--){
    			if(d[i]&(1ll<<j)) d[i]^=d[j];
    		}
    	}
    	for(int i=0;i<=50;i++){
    		if(d[i]) d[d1++]=d[i];
    	}
    	scanf("%d",&m);
    	while(m--){
    		scanf("%lld",&k);
    		k-=vt;
    		if(k>(1ll<<d1)-1){
    			printf("-1\n");continue;
    		}
    		ans=0;
    		for(int i=0;i<d1;i++){
    			if(k&(1ll<<i)) ans^=d[i];
    		}
    		printf("%lld\n",ans);
    	}
    	return 0;
    }
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
    • 10
    • 11
    • 12
    • 13
    • 14
    • 15
    • 16
    • 17
    • 18
    • 19
    • 20
    • 21
    • 22
    • 23
    • 24
    • 25
    • 26
    • 27
    • 28
    • 29
    • 30
    • 31
    • 32
    • 33
    • 34
    • 35
    • 36
    • 37
    • 38
    • 39
    • 40
    • 41
    • 42
    • 43
    • 44
    • 45
    • 46
  • 相关阅读:
    Linux搜索查找命令【详细整理】
    数据结构部分
    动态规划常见实例详解
    关于递归和回溯的一次深入思考
    进入vue之前需要了解的打包工具
    使用eclipce ,将java项目打包成jar包
    【Git】git的安装与使用教程
    qt6 多媒体开发代码分析(一)
    [附源码]Python计算机毕业设计SSM家纺商品展示平台(程序+LW)
    18. Spring类型转换之ConversionService
  • 原文地址:https://blog.csdn.net/tanjunming2020/article/details/128209417