Luogu 3822 [NOI2017]整数

看懂了的大佬的题解。（这个id太巨了，找不到他的blog）

考虑直接暴力算进位均摊复杂度是对的，证明戳这里。

但是题目要求我们支持一个减操作，这就相当于返回之前操作前的结果，这对于这种均摊的复杂度的东西来说简直是不可能的，分分钟$T$飞。

解决方法也很简单：对加减分别维护一个绝对值，询问的时候相减就好了，这样复杂度也是对的。

然后考虑询问：因为询问的时候要比较两个绝对值的大小，考虑一下向前面借位的情况， 然后就相当于找一找第$b$位之后的为$1$的位哪个先，这个过程只要在暴力的时候维护一个$set$就可以解决了。

然后考虑压一下位，这时候就从dalao那里学到了很神奇的$unsigned int$刚好用这玩意压$32$位。

这个东西有一个好处，就是自动溢出取模，那么加法的时候只要维护一个$tag$，看一下原来的数加上之后是不是比原来小，就可以判断是否有进位了。

注意到修改和查询的时候其实可能有不完整的块，所以先分别处理一下。

时间复杂度$O(nlogn)$。

Code：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <set>
using namespace std;
typedef unsigned int uint;

const int N = 1e6 + ;

int qn;
uint inc[N], dec[N];
set <int> s;

template <typename T>
inline void read(T &X) {
    X = ; char ch = ; T op = ;
    for(; ch > ''|| ch < ''; ch = getchar())
        if(ch == '-') op = -;
    for(; ch >= '' && ch <= ''; ch = getchar())
        X = (X << ) + (X << ) + ch - ;
    X *= op;
}

int main() {
    int op;
    read(qn), read(op), read(op), read(op);
    for(int a, b; qn--; ) {
        read(op);
        if(op == ) {
            read(a), read(b);
            int p = (uint)b / , q = (uint)b % ;
            if(a > ) {
                uint add = (uint)a << q, tag = (uint)a >> ( - q); tag >>= ;
                uint old = inc[p]; inc[p] += add, tag += (old > inc[p]);
                if(inc[p] ^ dec[p]) s.insert(p);
                else if(s.count(p)) s.erase(p);
                for(++p; tag != ; ++p) {
                    old = inc[p], inc[p] += tag, tag = (old > inc[p]);
                    if(inc[p] ^ dec[p]) s.insert(p);
                    else if(s.count(p)) s.erase(p);
                }
            } else {
                a = -a;
                uint add = (uint)a << q, tag = (uint)a >> ( - q); tag >>= ;
                uint old = dec[p]; dec[p] += add, tag += (old > dec[p]);
                if(inc[p] ^ dec[p]) s.insert(p);
                else if(s.count(p)) s.erase(p);
                for(++p; tag != ; ++p) {
                    old = dec[p], dec[p] += tag, tag = (old > dec[p]);
                    if(inc[p] ^ dec[p]) s.insert(p);
                    else if(s.count(p)) s.erase(p);
                }
            }
        } else {
            read(b);
            int p = b / , q = b % , ans = (((inc[p] >> q) ^ (dec[p] >> q)) & );
            int v1 = inc[p] % ( << q), v2 = dec[p] % ( << q);
            if(v1 < v2) printf("%d\n", ans ^ );
            else if(v1 > v2 || s.empty() || p <= (*s.begin())) printf("%d\n", ans);
            else {
                set <int> :: iterator it = s.lower_bound(p); --it;
                if(inc[*it] > dec[*it]) printf("%d\n", ans);
                else printf("%d\n", ans ^ );
            }
        }
    }
    return ;
}