题意:两个操作,0.求L,R区间内最大异或和 1.序列末尾加一个数 强制在线
题解:
- 首先引用下大佬博客alpc_qleonardo的一段话
-
所谓线性基,就是线性代数里面的概念。一组线性无关的向量便可以作为一组基底,张起一个线性的向量空间,这个基地又称之为线性基。这个线性基的基底进行线性运算,可以表示向量空间内的所有向量,也即所有向量可以拆成基底的线性组合。在ACM领域,线性基主要用来处理有关异或和的极值问题。根据异或按照二进制数位进行的方式,我们可以把一个数字拆成它的二进制表示形式,而这个二进制形式拆成一位一位的,可以用向量来表示。显然,一组线性无关的向量可以张起一个向量空间,我们同样可以考虑构造这样一组数字的二进制形式组成的线性基。在这个线性基里面,我可以通过基底的线性组合、异或运算,表示所有的异或结果。
-
要构造这样的线性基,首先要满足一个性质:任取向量组中两个向量a、b,把其中一个替换成a xor b,这组向量线性组合得到的线性空间相同。这个性质对于xor来说是显然的,因为xor偶数具有抵消性。有了这个性质,就可以利用它对加入的向量进行修改。基本思路是:对于一个新加入的数字,从最高位开始往后扫,如果某一位该向量是1,但是之前的向量组中没有一个这一位是1,那么这一位就放如这个数字并且break;如果之前已经有该位为1的,那么该数字异或该位之前对应的数字。最后的结果是,新加入的数字x,要么被添加到某一个二进制位,要么变成0,说明这个数字对应的二进制向量不属于极大线性无关组
- 看上面后再看我的理解。
- 由于求L,R区间异或和,那么,在扫一遍序列过程中,依次把数加入线性基中,求出并保存 在1~i中的线性基,同时记录插入基中的数和位置,最后通过控制L即可找到区间最大异或值
- 区间异或最大值,插入时,当前位已有基时,位置尽量存偏大,更靠右的数当做基,并且还得取出原来的基消掉高位的1去对低位进行贡献,考虑将换出来的数字向基的低位尝试加入线性基中即可,这样对于线性基的每一位,与它异或过的线性基更高位置上的数字肯定都出现在它右侧 (就满足贪心的把更右的数放在基里);当前位无基时,直接记录为基。
#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int maxn = 1e6 + 5;
const int INF = 0x3f3f3f3f;
const ll MOD = 1e9 + 7;
struct LBs{
int d[maxn],pos[maxn];
int tmp_d[maxn][35],tmp_pos[maxn][35];
int tot;
void init(){
tot=0;
memset(d,0,sizeof(d));
memset(pos,0,sizeof(pos));
}
void insert(int x,int r){
int R=r;
for(int i=30;i>=0;i--){
if(x&(1<<i)){
if(!d[i]){//该位没有出现过 插入基
d[i]=x;
pos[i]=r;
break;
}else if(pos[i]<r){//取出位置靠前的基
swap(pos[i],r);//贪心的让更右边的数放在高位
swap(d[i],x);
}
x=x^d[i];//原来的位置上的基取出来继续去贡献低位
}
}
for(int i=30;i>=0;i--){//保存当前1~R区间的基和位置
tmp_pos[R][i]=pos[i];
tmp_d[R][i]=d[i];
}
}
int getMax(int l,int r){//求最大异或
int ans=0;
for(int i=30;i>=0;i--){
if(tmp_pos[r][i]>=l)//控制区间
ans=max(ans,ans^tmp_d[r][i]);
}
return ans;
}
}LB;
int main(){
std::ios::sync_with_stdio(false);
int t;
cin>>t;
while(t--){
LB.init();
int n,m;
cin>>n>>m;
for(int i=1;i<=n;i++){
int x;
cin>>x;
LB.insert(x,i);
}
int last=0;
while(m--){
int op;
cin>>op;
if(op==1){
int x;
cin>>x;
x=x^last;
LB.insert(x,++n);
}else{
int l,r;
cin>>l>>r;
l=(l^last)%n+1;
r=(r^last)%n+1;
if(l>r) swap(l,r);
last=LB.getMax(l,r);
cout<<last<<endl;
}
}
}
return 0;
}