线性基
最近刚学习了一个叫线性基的东西.
还是很有意思的.
线性基的性质
线性基有一些很妙的性质.
- 线性基是一个\(x\)维向量\(a_1,a_2,a_3...a_x\),其中\(a_i\)最高位的\(1\)在第\(i\)位上.
- 由线性基中的数异或出来的数值域和原来的数异或和值域相同.
线性基的构造
插入一个数\(x\)时,从最高位向最低位扫,如果这一位上线性基为空,那么就插入.否则就让\(x\)异或上这一位的数.
线性基求最大值
从高位往低位扫,如果异或上这一位使答案变大,那么异或.
线性基判断是否出现
从高位往低位扫,如果\(x\)这一位是\(1\),那么异或上这一位.
线性基求第\(k\)小值
首先先重构一下线性基.
如果\(i<j,a_j\)的第\(i\)位是\(1\),那么让\(a_j\)异或上\(a_i\).
那么只有\(a_i\)的第\(i\)位是\(1\),其他都是\(0\).
我们称重构后的线性基为\(b\)
查询时,如果\(k\)的第\(i\)位是\(1\),就异或上\(b_i\)
下面是封装的线性基
struct LB{
bool flag;
LL a[N],b[N];
int cnt;
void clear(){
memset(a,0,sizeof(a)),flag=0;
memset(b,0,sizeof(b)),cnt=0;
}
void insert(LL x){
bool ins=0;
for(int i=62;i>=0;i--){
if(!((x>>(LL)i)&1ll))continue;
if(!a[i]){a[i]=x,ins=1;break;}
x^=a[i];
}
if(!ins)flag=1;
}
LL getmax(){
LL ans=0;
for(int i=62;i>=0;i--)
if(ans<(ans^a[i]))ans^=a[i];
return ans;
}
bool exist(LL x){
if(!x)return flag;
for(LL i=62;i>=0;i--)
if((x>>i)&1)x^=a[i];
return x?0:1;
}
void rebuild(){
for(LL i=62;i>=0;i--)
for(LL j=i-1;j>=0;--j)
if((a[i]>>j)&1)a[i]^=a[j];
for(LL i=0;i<=62;++i)if(a[i])b[cnt++]=a[i];
}
LL query_kth(LL k){
if(flag)if(!(--k))return 0;
if(k>=(1ll<<cnt))return -1;
LL ans=0;
for(LL i=62;i>=0;--i)
if((k>>i)&1)ans^=b[i];
return ans;
}
}S;
例题
首先来几道模板题
\(Luogu3812\)
\(HDU3969\)
接下来是一道简单题
\(BZOJ2460\)
只要先按\(v\)从大到小排序,然后每次看看是否能插入\(num\),如果可以,答案就加上\(v\)即可.
接下来是一道稍难题
\(BZOJ2115\)
详细题解戳这里