标签：CF1100F int 个块 Burgers rg 线性 Ivan gc define
给定\(n\)和\(a_{1\cdots n}\)，有\(q\)个询问，每个询问要求区间\([l,r]\)内选出任意个数的异或最大值。\((n,q\leq 5\times 10^5, a_i\leq 10^6)\)
不知道怎么就想到了分块。先按\(\sqrt n\)分块，预处理出\(f[l][r]\)表示第\(l\)个块到第\(r\)个块所有数的线性基，这个可以\(\mathcal O(nlog^2a)\)算出来。
然后我们还可以处理出\(pre[x][i]\)表示第\(x\)个块的第\(1\) ~ \(i\)个数组成的线性基，类似地有\(suf[x][i]\)表示第\(x\)个块的第\(i\) ~ \(\sqrt n\)个数组成的线性基。
对于每个询问，我们可以把它包含的所有完整的块直接通过\(f\)数组加进答案的线性基里，然后再通过\(pre\)和\(suf\)数组把不完整的加进答案的线性基里。
最后对于每个询问的线性基，贪心地求最大值即可。时间复杂度\(\mathcal O((n+q)log^2a)\)
#include<bits/stdc++.h>
#define rg register
#define il inline
#define cn const
#define gc getchar()
#define fp(i, a, b) for(rg int i = (a), ed = (b); i <= ed; ++i)
#define fb(i, a, b) for(rg int i = (a), ed = (b); i >= ed; --i)
#define go(u) for(int i = head[u]; ~i; i = e[i].nxt)
using namespace std;
typedef cn int cint;
typedef long long LL;
typedef pair<int, int> pr;
il void rd(int &x){
x = 0;
rg int f(1); rg char c(gc);
while(c < '0' || '9' < c){if(c == '-')f = -1; c = gc;}
while('0' <= c && c <= '9')x = (x<<1)+(x<<3)+(c^48), c = gc;
x *= f;
}
cint maxn = 500010, maxm = 710;
int n, cnt, m, unit, a[maxn], col[maxn];
struct query{int l, r;}q[maxn];
vector<pr> qry[maxn<<2];
struct base{int v[20];}f[maxm][maxm], ans[maxn], pre[maxm], suf[maxm];
il void add(base &a, int x){
fb(i, 19, 0)if(x>>i&1){
if(!a.v[i])return a.v[i] = x, void();
x ^= a.v[i];
}
}
il void merge(base &a, cn base &b){fp(i, 0, 19)add(a, b.v[i]);}
int main(){
rd(n), unit = sqrt(n);
fp(i, 1, n)rd(a[i]);
for(rg int l = 1; l<=n; l += unit, ++cnt){
rg int r = min(n, l+unit-1);
fp(j, l, r)add(f[cnt][cnt], a[j]), col[j] = cnt;
}
--cnt;
fb(i, cnt-1, 0)fp(j, i+1, cnt)f[i][j] = f[i+1][j], merge(f[i][j], f[i][i]);
rd(m);
fp(i, 1, m){
rd(q[i].l), rd(q[i].r);
if(col[q[i].l] == col[q[i].r]){
fp(j, q[i].l, q[i].r)add(ans[i], a[j]);
continue;
}
qry[col[q[i].l]].push_back(make_pair(i, 0));
qry[col[q[i].r]].push_back(make_pair(i, 1));
if(col[q[i].r]-col[q[i].l] > 1)merge(ans[i], f[col[q[i].l]+1][col[q[i].r]-1]);
}
for(rg int l = 1, nw = 0; l<=n; l += unit, ++nw){
rg int r = min(n, l+unit-1);
fp(j, l, r)pre[j-l+1] = pre[j-l], add(pre[j-l+1], a[j]);
fb(j, r, l)suf[j-l+1] = suf[j-l+2], add(suf[j-l+1], a[j]);
for(auto &x : qry[nw]){
if(!x.second)merge(ans[x.first], suf[q[x.first].l-l+1]);
else merge(ans[x.first], pre[q[x.first].r-l+1]);
}
}
fp(i, 1, m){
rg int res = 0;
fb(j, 19, 0)if(ans[i].v[j] && !(res>>j&1))res ^= ans[i].v[j];
printf("%d\n", res);
}
return 0;
}
标签：CF1100F,int,个块,Burgers,rg,线性,Ivan,gc,define 来源： https://www.cnblogs.com/akura/p/14407432.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。