hdu 3954 Level up（线段树进阶）

题意：
。。。
思路：
容易想到每个节点，需要维护，（最大exp，最大lev，tag）。
问题在于，区间内每个人的等级是不同的，不能统一维护。。
像

exp[child] += lev[child] * tag[now];
tag[child] += tag[now]

这样的代码只能够在区间内没人升级的时候正常工作。。
当前区间有人升级的时候，我们便跟新子区间，将他升级。
所以，我们在叶子处计算下，还要再来多少点exp才会升级。。
然后维护下最小值，就可以判断当前区间是否有人升级。
这个思路来自cxlove的代码，比HH出题报告里面提到的方法简单不少。。

const int inf = INT_MAX/2;
const int Maxn = 10000;

int exp_tab[12], n, K, qw;

#define lson(x) ((x)<<1)
#define rson(x) (((x)<<1)+1)
struct node {
    int e, k, l, tag;// max exp, max lev, min exp to nxt lev, lazy tag
};
node a[Maxn*4+5];

void push_down(int o) {
    int lc = lson(o), rc = rson(o);
    if (a[o].tag) {
        a[lc].e += a[lc].k * a[o].tag;
        a[lc].l -= a[o].tag;
        a[lc].tag += a[o].tag;

        a[rc].e += a[rc].k * a[o].tag;
        a[rc].l -= a[o].tag;
        a[rc].tag += a[o].tag;

        a[o].tag = 0;
    }
}

void push_up(int o) {
    int lc = lson(o), rc = rson(o);
    a[o].e = max (a[lc].e, a[rc].e);
    a[o].k = max (a[lc].k, a[rc].k);
    a[o].l = min (a[lc].l, a[rc].l);
    a[o].tag = 0;
}

void seg_update(int L, int R, int o, int qL, int qR, int e) {
    if (L == R) {
        a[o].e += a[o].k * e;
        while (a[o].k < K && a[o].e >= exp_tab[a[o].k+1]) ++a[o].k;
        if (a[o].k == K) a[o].l = inf;
        else {
            a[o].l = (exp_tab[a[o].k+1] - a[o].e) / a[o].k;
            if (a[o].l * a[o].k + a[o].e < exp_tab[a[o].k+1]) ++a[o].l;
        }
        return;
    }

    push_down(o);

    int lc = lson(o), rc = rson(o), mid = (L+R)>>1;

    if (qL <= L && R <= qR) {
        if ( a[o].l <= e  ) {
            seg_update(L, mid, lc, qL, qR, e);
            seg_update(mid+1, R, rc, qL, qR, e);
            push_up(o);
        }
        else {
            a[o].e += a[o].k * e;
            a[o].l -= e;
            a[o].tag += e;
        }
        return;
    }
    if (qL <= mid) seg_update(L, mid, lc, qL, qR, e);
    if (qR > mid) seg_update(mid+1, R, rc, qL, qR, e);
    push_up(o);
}

int seg_query(int L, int R, int o, int qL, int qR) {
    if (qL <= L && R <= qR) {
        return a[o].e;
    }
    push_down(o);
    int lc = lson(o), rc = rson(o), mid = (L+R)>>1, ret = 0;
    if (qL <= mid)
        ret = max (ret, seg_query(L, mid, lc, qL, qR));
    if (qR > mid)
        ret = max (ret, seg_query(mid+1, R, rc, qL, qR));
    push_up(o);
    return ret;
}

void seg_build(int L, int R, int o) {
     if (L == R) {
        a[o] = (node) {0, 1, exp_tab[2], 0};return;
     }
     int lc = lson(o), rc = rson(o), mid = (L+R)>>1;
     seg_build(L, mid, lc);seg_build(mid+1, R, rc);
     push_up(o);
}