bzoj2741: 【FOTILE模拟赛】L

2741: 【FOTILE模拟赛】L

Time Limit: 15 Sec  Memory Limit: 162 MB
Submit: 2679  Solved: 766
[Submit][Status][Discuss]

Description

FOTILE得到了一个长为N的序列A，为了拯救地球，他希望知道某些区间内的最大的连续XOR和。

即对于一个询问，你需要求出max(Ai xor Ai+1 xor Ai+2 ... xor Aj)，其中l<=i<=j<=r。

为了体现在线操作，对于一个询问(x,y)：

l = min ( ((x+lastans) mod N)+1 , ((y+lastans) mod N)+1 ).
r = max ( ((x+lastans) mod N)+1 , ((y+lastans) mod N)+1 ).

其中lastans是上次询问的答案，一开始为0。

Input

第一行两个整数N和M。

第二行有N个正整数，其中第i个数为Ai，有多余空格。

后M行每行两个数x,y表示一对询问。

 

 

Output

 

共M行，第i行一个正整数表示第i个询问的结果。

Sample Input

3 3
1 4 3
0 1
0 1
4 3

Sample Output

5
7
7

HINT

HINT

N=12000，M=6000，x,y,Ai在signed longint范围内。

题解

 首先很显然的转换是先求下前缀和sum,然后求某个区间内两个数xor最大是多少。

 对于xor的东西我们经常用到可持久化trie，考虑暴力就是直接枚举每个数然后在[l,r]的trie上走一下就出来了。这样我们可以分块来预处理。首先求出f[i,j]表示第j个数和第i块里的数所能产生的最大xor和，然后可以很方便的处理出从第i块的第一个数到整个序列中的第j个数与第i块中的数产生的最大价值（为了方便还是用f[i,j]表示）。

之后对于每个询问我们看一下每个完整的块的f[i,r]，再对两端多出来的部分在可持久化trie上走一遍就行了

program j01;
const maxn=12086;
var f:array[0..2000,0..maxn]of longint;
    t:array[0..maxn*100]of record son:array[0..1]of longint; sum:longint; end;
    sum,root,l,r,bel:array[0..maxn]of longint;
    bin:array[0..30]of longint;
    a,n,m,i,tt,size,cnt,j,now,ll,rr:longint;
    x,y,ans:int64;

function max(a,b:int64):int64;
begin
  if a>b then exit(a) else exit(b);
end;

function min(a,b:int64):int64;
begin
  if a<b then exit(a) else exit(b);
end;

procedure insert(id:longint);
var nowx,nowy,i,dd:longint;
begin
  nowx:=root[id-1];inc(tt);root[id]:=tt;nowy:=tt;
  for i:=30 downto 0 do
  begin
    t[nowy]:=t[nowx];inc(t[nowy].sum);
    dd:=ord(sum[id] and bin[i]>0);
    inc(tt);t[nowy].son[dd]:=tt;
    nowx:=t[nowx].son[dd];nowy:=t[nowy].son[dd];
  end;
  t[nowy]:=t[nowx];inc(t[nowy].sum);
end;

function ask(v,rl,rr:longint):longint;
var tmp,i,dd,d2:longint;
begin
  tmp:=0;
  for i:=30 downto 0 do
  begin
    dd:=1-ord(v and bin[i]>0);
    if t[t[rr].son[dd]].sum-t[t[rl].son[dd]].sum>0 then
      tmp:=tmp+bin[i] else dd:=1-dd;
    rl:=t[rl].son[dd];rr:=t[rr].son[dd];
  end;
  exit(tmp);
end;

function query(x,y:longint):longint;
var tmp,i:longint;
begin
  tmp:=0;
  for i:=bel[x]+1 to bel[y]-1 do tmp:=max(tmp,f[i,y]);
  for i:=x to min(y,r[bel[x]]) do tmp:=max(tmp,ask(sum[i],root[x-1],root[y]));
  for i:=max(l[bel[y]],x) to y do tmp:=max(tmp,ask(sum[i],root[x-1],root[y]));
  exit(tmp);
end;

begin
  readln(n,m);
  bin[0]:=1;
  for i:=1 to 30 do bin[i]:=bin[i-1] shl 1;
  for i:=2 to n+1 do
  begin
    read(a);sum[i]:=sum[i-1] xor a;
  end;
  for i:=1 to n+1 do insert(i);
  inc(n);
  size:=trunc(sqrt(n));
  ans:=0;
  for i:=1 to n do bel[i]:=(i-1) div size+1;
  cnt:=bel[n];
  for i:=1 to cnt do
  begin
    l[i]:=(i-1)*size+1;
    if i<>cnt then r[i]:=i*size else r[i]:=n;
  end;
  for i:=1 to cnt do
    for j:=l[i] to n do
      f[i,j]:=ask(sum[j],root[l[i]-1],root[r[i]]);
  for i:=1 to cnt do
   for j:=l[i]+1 to n do f[i,j]:=max(f[i,j],f[i,j-1]);
  dec(n);
  for i:=1 to m do
  begin
    readln(x,y);
    x:=x mod n;y:=y mod n;ans:=ans mod n;
    ll:=min((x+ans)mod n+1,(y+ans)mod n+1);rr:=max((x+ans)mod n+1,(y+ans)mod n+1)+1;
    ans:=query(ll,rr);
    writeln(ans);
  end;
end.