loj6100 「2017 山东二轮集训 Day1」第一题

传送门：https://loj.ac/problem/6100

【题解】

我们考虑维护从某个端点开始的最长满足条件的长度，如果知道了这个东西显然我们可以用主席树来对每个节点建棵关于右端点的权值线段树，然后区间修改，标记永久化，询问就可以差分了

考虑如何求出某个端点开始的最长满足条件的长度，也就是某个端点$i$开始，到nxt[i]的这一段都满足异或不减性质。

考虑异或什么时候会导致减法：修改了最高位的时候

我们令s[x][i][j]表示$1 \sim i$个位置，二进制下第j位被当做最高位的时候，被操作了几次，$x$为0或1。0表示原来是1，变成0的次数；1表示原来是0，变成1的次数。

那么我们每次找出最高位就能更新了。

我们还要维护一个前缀异或值来进行操作。

然后我们二分右端点，考虑如何判断区间$[l,r]$是否合法。

对于某一位，如果在$l-1$的时候，前缀异或值为1，那么从$l$开始，相当于没有这个前缀异或值，也就是当修改从0改成1的时候，由于我们是假装他有“1”的前缀异或值，来进行s的操作的，所以s从0改成1相当于实际的1改成0，也就是减小。

同理对于在$l-1$的时候，前缀异或值为0,也进行类似操作判断即可。

那么这个复杂度是$O(logn)$的，因为有log位要判断。

预处理复杂度$O(nlog^2n)$

挺好写的吧。。

# include <stdio.h>
# include <string.h>
# include <iostream>
# include <algorithm>

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;

const int M = 2e5 + , N = 1e5 + ;
const int mod = 1e9 + , Max = 5e6 + ;

int n, a[N], nxt[N];
int s[][N][], sxor[N];
// 前i个数，第j位为最高位的时候，有多少次从1变成0 (1)，以及从0变成1 (0). 

# define bit(x, i) (((x) >> (i)) & )
# define len(l, r) ((r) - (l) + )

inline bool chk(int l, int r) {
    for (int i=; ~i; --i) {
        if(bit(sxor[l-], i) && s[][r][i] - s[][l-][i] > ) return false;
        if(!bit(sxor[l-], i) && s[][r][i] - s[][l-][i] > ) return false;
    }
    return true;
}

inline bool chk_force(int l, int r) {
    int cur, lst; cur = lst = ;
    for (int i=l; i<=r; ++i) {
        cur = lst ^ a[i];
        if(cur < lst) return false;
        lst = cur;
    }
    return true;
}

inline int gh(int x) {
    for (int i=; ~i; --i)
        if(bit(x, i)) return i;
    return -;
} 

inline int gnext(int pos) {
    int l=pos, r=n, mid;
    while() {
        if(r-l <= ) {
            for (int i=r; i>=l; --i)
                if(chk(pos, i)) return i;
            break;
        }
        mid = l+r>>;
        if(chk(pos, mid)) l = mid;
        else r = mid;
    }
    return -;
}

int rt[M];
struct CMT {
    int ch[Max][], tag[Max], siz;
    ll s[Max];

    # define ls ch[x][]
    # define rs ch[x][]

    inline void set() {
        siz = ;
        memset(tag, , sizeof tag);
        memset(s, , sizeof s);
    }

    inline void edt(int &x, int y, int l, int r, int L, int R, int d) {
        x = ++siz; ch[x][] = ch[y][], ch[x][] = ch[y][];
        s[x] = s[y]; tag[x] = tag[y];
        if(L == l && r == R) {
            tag[x] += d;
            return ;
        }
        s[x] += (ll)d * (R-L+);
        int mid = l+r>>;
        if(R <= mid) edt(ls, ch[y][], l, mid, L, R, d);
        else if(L > mid) edt(rs, ch[y][], mid+, r, L, R, d);
        else edt(ls, ch[y][], l, mid, L, mid, d), edt(rs, ch[y][], mid+, r, mid+, R, d);
    }

    inline ll query(int x, int y, int l, int r, int L, int R) {
        ll ret = (ll)(tag[y] - tag[x]) * (R-L+);
        if(L == l && r == R) return ret + s[y] - s[x];
        int mid = l+r>>;
        if(R <= mid) return ret + query(ls, ch[y][], l, mid, L, R);
        else if(L > mid) return ret + query(rs, ch[y][], mid+, r, L, R);
        else return ret + query(ls, ch[y][], l, mid, L, mid) + query(rs, ch[y][], mid+, r, mid+, R);
    }
}T;

int main() {
    cin >> n; sxor[] = ;
    for (int i=, h; i<=n; ++i) {
        scanf("%d", a+i); sxor[i] = sxor[i-] ^ a[i];
        for (int j=; j<=; ++j) s[][i][j] = s[][i-][j], s[][i][j] = s[][i-][j];
        h = gh(a[i]);
        if(h != -) {
            if(bit(sxor[i-], h)) s[][i][h] ++;
            else s[][i][h] ++;
        }
    }

    for (int i=; i<=n; ++i) nxt[i] = gnext(i);

    T.set();
    for (int i=; i<=n; ++i) T.edt(rt[i], rt[i-], , n, i, nxt[i], );

    int Q; cin >> Q;
    ll lst = ; int l, r;
    while(Q--) {
        scanf("%d%d", &l, &r);
        l = (l+lst)%n+, r = (r+lst)%n+;
        if(l>r) swap(l, r);
        lst = T.query(rt[l-], rt[r], , n, l, r);
        printf("%lld\n", lst);
        lst %= n;
    }

    return ;
}