这个每次修改后缀好像很难搞,但是因为异或可以抵消,求sum[p~n]的最大值可以转化为求sum[1~n] xor sum[1~p-1]的最大值。
\(p-1\in [l-1,r-1]\),用可持久化Trie查区间[l-1,r-1] xor x xor sum[1~n]的最大值即可。 另外可持久化Trie查的是区间某一个数异或另一个数的最大值,所以要插入的是前缀和。注意对于区间[1,1]的询问是可以用0 xor的,所以要在前面加上这个0,而且不能在root[0]加(除非用root[l-2=-1])。不妨直接向右偏移1,在root[1]插入这个0。
//179000kb 3508ms#include#include #include //#define gc() getchar()#define MAXIN 50000#define gc() (SS==TT&&(TT=(SS=IN)+fread(IN,1,MAXIN,stdin),SS==TT)?EOF:*SS++)#define BIT 23const int N=6e5+5;//N+M!int root[N];char IN[MAXIN],*SS=IN,*TT=IN;struct Trie{ #define S N*25 int tot,son[S][2],sz[S]; void Insert(int x,int y,int v) { for(int i=BIT; ~i; --i) { int c=v>>i&1; son[x][c]=++tot, son[x][c^1]=son[y][c^1]; x=tot/*son[x][c]*/, y=son[y][c]; sz[x]=sz[y]+1; } } int Query(int x,int y,int v)//x~y { int res=0; for(int i=BIT; ~i; --i) { int c=(v>>i&1)^1; if(sz[son[y][c]]-sz[son[x][c]]>0) x=son[x][c], y=son[y][c], res|=1<