考虑固定一个左端点向右扫,逐个把数加入线性基中,每次不用新加入的数去消原来的数,那么只要再维护每个数在原数列中的位置,那么这个线性基其实是可以知道历史版本的,也就是你可以看成可持久化线性基。
那么我们把左端点从右到左处理,每次新加入一个数,而且这个数是最优的。【优劣定义为出现顺序,显然越早出现越优】这样我们在线性基上扫一遍,能替换就替换,替换下来的再去替换之后的。复杂度
O((n+q)logai)
。
#include<cstdio>
#include<vector>
#include<algorithm>
using namespace std;
const int maxn=500010,m=30;
int rd()
{
int x=0;
char c=getchar();
while (c<'0'||c>'9') c=getchar();
while (c>='0'&&c<='9')
{
x=x*10+c-'0';
c=getchar();
}
return x;
}
struct query
{
int r,k,id;
};
int a[maxn],f[m+5],pos[m+5],ans[maxn],
n,q,num;
vector<query> v[maxn];
int main()
{
int x,y,z,ok;
n=rd();
for (int i=1;i<=n;i++) a[i]=rd();
q=rd();
for (int i=1;i<=q;i++)
{
scanf("%d%d%d",&x,&y,&z);
v[x].push_back((query){y,z,i});
}
for (int i=n;i>=1;i--)
{
x=a[i];
y=i;
for (int j=m-1;j>=0;j--)
if (x&(1<<j))
{
if (!f[j])
{
f[j]=x;
pos[j]=y;
break;
}
if (y<pos[j])
{
swap(x,f[j]);
swap(y,pos[j]);
}
x^=f[j];
}
for (vector<query>::iterator it=v[i].begin();it!=v[i].end();++it)
{
x=(*it).k;
ok=1;
for (int j=m-1;j>=0&&ok;j--)
if (x&(1<<j))
{
if (f[j]&&pos[j]<=(*it).r) x^=f[j];
else ok=0;
}
ans[(*it).id]=ok;
}
}
for (int i=1;i<=q;i++)
if (ans[i]) puts("YES");
else puts("NO");
}