【平衡二叉树】宠物收养所

Description
最近，阿Q开了一间宠物收养所。收养所提供两种服务：收养被主人遗弃的宠物和让新的主人领养这些宠物。每个领养者都希望领养到自己满意的宠物，阿Q根据领养者的要求通过他自己发明的一个特殊的公式，得出该领养者希望领养的宠物的特点值a（a是一个正整数，a<2^31），而他也给每个处在收养所的宠物一个特点值。这样他就能够很方便的处理整个领养宠物的过程了，宠物收养所总是会有两种情况发生：被遗弃的宠物过多或者是想要收养宠物的人太多，而宠物太少。 1． 被遗弃的宠物过多时，假若到来一个领养者，这个领养者希望领养的宠物的特点值为a，那么它将会领养一只目前未被领养的宠物中特点值最接近a的一只宠物。（任何两只宠物的特点值都不可能是相同的，任何两个领养者的希望领养宠物的特点值也不可能是一样的）如果有两只满足要求的宠物，即存在两只宠物他们的特点值分别为a-b和a+b，那么领养者将会领养特点值为a-b的那只宠物。 2． 收养宠物的人过多，假若到来一只被收养的宠物，那么哪个领养者能够领养它呢？能够领养它的领养者，是那个希望被领养宠物的特点值最接近该宠物特点值的领养者，如果该宠物的特点值为a，存在两个领养者他们希望领养宠物的特点值分别为a-b和a+b，那么特点值为a-b的那个领养者将成功领养该宠物。 一个领养者领养了一个特点值为a的宠物，而它本身希望领养的宠物的特点值为b，那么这个领养者的不满意程度为abs(a-b)。【任务描述】你得到了一年当中，领养者和被收养宠物到来收养所的情况，希望你计算所有收养了宠物的领养者的不满意程度的总和。这一年初始时，收养所里面既没有宠物，也没有领养者。
Input
第一行为一个正整数n，n<=80000，表示一年当中来到收养所的宠物和领养者的总数。接下来的n行，按到来时间的先后顺序描述了一年当中来到收养所的宠物和领养者的情况。每行有两个正整数a, b，其中a=0表示宠物，a=1表示领养者，b表示宠物的特点值或是领养者希望领养宠物的特点值。（同一时间呆在收养所中的，要么全是宠物，要么全是领养者，这些宠物和领养者的个数不会超过10000个）
Output
仅有一个正整数，表示一年当中所有收养了宠物的领养者的不满意程度的总和mod 1000000以后的结果。
Sample Input
5
0 2
0 4
1 3
1 2
1 5
Sample Output
3
(abs(3-2) + abs(2-4)=3，最后一个领养者没有宠物可以领养)

直接用SBT，每次找到一个点的前驱和后继，比较一下即可。
Accode：

#include <cstdio>
#include <cstdlib>
#include <algorithm>
#include <string>
#include <cstring>

const int maxN = 80010;
const int MOD = 1000000;
const int INF = 0x3f3f3f3f;

class SBT
{
private:
    int lc[maxN], rc[maxN], tot;
    int key[maxN], sz[maxN], T;
    void Zig(int &T)
    {
        int tmp = lc[T]; lc[T] = rc[tmp];
        rc[tmp] = T; sz[tmp] = sz[T];
        sz[T] = sz[lc[T]] + sz[rc[T]] + 1;
        T = tmp; return;
    }
    void Zag(int &T)
    {
        int tmp = rc[T]; rc[T] = lc[tmp];
        lc[tmp] = T; sz[tmp] = sz[T];
        sz[T] = sz[lc[T]] + sz[rc[T]] + 1;
        T = tmp; return;
    }
    void maintain(int &T, bool flag)
    {
        if (!flag)
        {
            if (sz[lc[lc[T]]] > sz[rc[T]]) Zig(T);
            if (sz[rc[lc[T]]] > sz[rc[T]])
            {Zag(lc[T]); Zig(T);}
            else return;
        }
        else
        {
            if (sz[rc[rc[T]]] > sz[lc[T]]) Zag(T);
            if (sz[lc[rc[T]]] > sz[lc[T]])
            {Zig(rc[T]); Zag(T);}
            else return;
        }
        maintain(lc[T], 0); maintain(rc[T], 1);
        maintain(T, 0); maintain(T, 1);
        return;
    }
    void Ins(int &T, int v)
    {
        if (!T)
        {key[T = ++tot] = v; sz[T] = 1; return;}
        ++sz[T];
        if (v < key[T]) Ins(lc[T], v);
        else Ins(rc[T], v);
        maintain(T, v >= key[T]);
	return;
    }
    int Del(int &T, int v)
    {
        --sz[T];
        if (v == key[T] ||
            v < key[T] && !lc[T] ||
            v > key[T] && !rc[T])
        {
            int tmp = key[T];
            if (!lc[T] || !rc[T]) T = lc[T] + rc[T];
            else key[T] = Del(lc[T], key[T]);
            return tmp;
        }
        if (v < key[T]) return Del(lc[T], v);
        else return Del(rc[T], v);
    }
    int prev(int T, int v, int ans)
    {
        if (!T) return ans;
        if (key[T] < v) ans = std::max(ans, key[T]);
        if (v < key[T]) return prev(lc[T], v, ans);
        else return prev(rc[T], v, ans);
    }
    int succ(int T, int v, int ans)
    {
        if (!T) return ans;
        if (key[T] >= v) ans = std::min(ans, key[T]);
        if (v < key[T]) return succ(lc[T], v, ans);
        else return succ(rc[T], v, ans);
    }
public:
    SBT(): T(0), tot(0)
    {
        memset(lc, 0, sizeof lc);
        memset(rc, 0, sizeof rc);
        memset(sz, 0, sizeof sz);
        memset(key, 0, sizeof key);
    }
    void Ins(int v) {Ins(T, v);}
    void Del(int v) {Del(T, v);}
    int prev(int v) {return prev(T, v, ~INF);}
    int succ(int v) {return succ(T, v, INF);}
    int size() {return sz[T];}
} pet, human;

inline int getint()
{
    int res = 0; char tmp;
    while (!isdigit(tmp = getchar()));
    do res = (res << 3) + (res << 1) + tmp - '0';
    while (isdigit(tmp = getchar()));
    return res;
}

int main()
{
    freopen("pet.in", "r", stdin);
    freopen("pet.out", "w", stdout);
    int ans = 0;
    for (int n = getint(), val; n; --n)
    switch (scanf("\n"), getchar())
    {
    case '0':
        val = getint();
        if (human.size())
        {
            int prev = human.prev(val),
                succ = human.succ(val);
            if (succ - val < val - prev)
            {
                (ans += succ - val) %= MOD;
                human.Del(succ);
            }
            else
            {
                (ans += val - prev) %= MOD;
                human.Del(prev);
            }
        }
        else pet.Ins(val);
        break;
    case '1':
        val = getint();
        if (pet.size())
        {
            int prev = pet.prev(val),
                succ = pet.succ(val);
            if (succ - val < val - prev)
            {
                (ans += succ - val) %= MOD;
                pet.Del(succ);
            }
            else
            {
                (ans += val - prev) %= MOD;
                pet.Del(prev);
            }
        }
        else human.Ins(val);
    }
    printf("%d\n", ans);
    return 0;
}