POJ 3225 Help with Intervals (线段树 成段更新, 懒惰标记*2)

题目大意：
就是现在模拟实现区间的交并补差一系列操作, 输出最后得到的区间


大致思路：
首先对于区间开出两倍长度用奇数位表示区间(a, a + 1)偶数段表示端点a, a + 1之类
然后对于区间上的操作用0表示这一段在区间中, 用1表示不在
那么对于交和并不难映射到对应的区间更改为0和1的操作中
但是在处理差的时候需要用到区间取异或值的操作
于是需要用到两个懒惰标记, 一个是覆盖标记一个是异或标记, 其中覆盖标记优先级高于异或标记, 因为一旦覆盖那么之前的异或都没有用了
那么向下更新的时候先更新覆盖标记再更新异或标记


代码如下：

Result  :  Accepted     Memory  :  4328 KB     Time  :  1141 ms

/*
 * Author: Gatevin
 * Created Time:  2015/8/17 13:50:53
 * File Name: Sakura_Chiyo.cpp
 */
#include<iostream>
#include<sstream>
#include<fstream>
#include<vector>
#include<list>
#include<deque>
#include<queue>
#include<stack>
#include<map>
#include<set>
#include<bitset>
#include<algorithm>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cctype>
#include<cmath>
#include<ctime>
#include<iomanip>
using namespace std;
const double eps(1e-8);
typedef long long lint;

#define maxn 66666*2

struct Segment_Tree
{
    #define lson l, mid, rt << 1
    #define rson mid + 1, r, rt << 1 | 1
    int flag[maxn << 2];
    int cover[maxn << 2];
    bool vis[maxn];
    void pushUp(int rt)
    {
        if(cover[rt << 1] == cover[rt << 1 | 1] && cover[rt << 1] != -1)
            cover[rt] = cover[rt << 1];
        else cover[rt] = -1;
    }
    
    void pushDown(int l, int r, int rt, int mid)
    {
        if(cover[rt] != -1)
        {
            cover[rt << 1] = cover[rt << 1 | 1] = cover[rt];
            flag[rt << 1] = flag[rt << 1 | 1] = 0;
            cover[rt] = -1;
        }
        if(flag[rt])
        {
            if(cover[rt << 1] != -1)
                cover[rt << 1] ^= flag[rt];
            else flag[rt << 1] ^= flag[rt];
            
            if(cover[rt << 1 | 1] != -1)
                cover[rt << 1 | 1] ^= flag[rt];
            else flag[rt << 1 | 1] ^= flag[rt];
            flag[rt] = 0;
        }
    }
    void update(int l, int r, int rt, int L, int R, int value)//更新区间[L, R]值为value
    {
        if(l >= L && r <= R)
        {
            cover[rt] = value;
            flag[rt] = 0;
            return;
        }
        int mid = (l + r) >> 1;
        pushDown(l, r, rt, mid);
        if(mid >= L) update(lson, L, R, value);
        if(mid + 1 <= R) update(rson, L, R, value);
        pushUp(rt);
    }
    void update(int l, int r, int rt, int L, int R)//更新区间[L, R]值为原来的反(异或1)
    {
        if(l >= L && r <= R)
        {
            if(cover[rt] != -1) cover[rt] ^= 1;
            else flag[rt] ^= 1;
            return;
        }
        int mid = (l + r) >> 1;
        pushDown(l, r, rt, mid);
        if(mid >= L) update(lson, L, R);
        if(mid + 1 <= R) update(rson, L, R);
        pushUp(rt);
    }
    void query(int l, int r, int rt)
    {
        if(cover[rt] != -1)
        {
            if(cover[rt] == 1)
                for(int i = l; i <= r; i++)
                    vis[i] = 1;
            return;
        }
        int mid = (l + r) >> 1;
        pushDown(l, r, rt, mid);
        query(lson);
        query(rson);
        pushUp(rt);
    }
};

Segment_Tree ST;

int main()
{
    ST.cover[1] = 0;
    ST.flag[1] = 0;
    memset(ST.vis, 0, sizeof(ST.vis));
    char op[4], lb, rb;
    int l, r;
    while(scanf("%s %c%d,%d%c", op, &lb, &l, &r, &rb) != EOF)
    {
        l = (l << 1) + 1;
        r = (r << 1) - 1;
        if(lb == '[') l--;
        if(rb == ']') r++;
        if(l > r)
        {
            if(op[0] == 'C' || op[0] == 'I')
                ST.cover[1] = ST.flag[1] = 0;
            continue;
        }
        switch(op[0])
        {
            case 'U': ST.update(0, maxn, 1, l, r, 1);//S = S并T
                      break;
            case 'I': if(l - 1 >= 0) ST.update(0, maxn, 1, 0, l - 1, 0);//S = S交T
                      if(r + 1 <= maxn) ST.update(0, maxn, 1, r + 1, maxn, 0);
                      break;
            case 'D': ST.update(0, maxn, 1, l, r, 0);//S = S - T
                      break;
            case 'C': if(l - 1 >= 0) ST.update(0, maxn, 1, 0, l - 1, 0);//S = T - S
                      if(r + 1 <= maxn) ST.update(0, maxn, 1, r + 1, maxn, 0);
                      ST.update(0, maxn, 1, l, r);
                      break;
            case 'S': ST.update(0, maxn, 1, l, r);//S = (S - T)并(T - S)
                      break;
        }
    }
    ST.query(0, maxn, 1);
    bool found = 0;
    l = 0;
    while(l <= 65535*2)
    {
        if(!ST.vis[l])
        {
            l++;
            continue;
        }
        r = l;
        while(r + 1 <= 65535*2 && ST.vis[r + 1]) r++;
        int tr = r;
        char le, ri;
        if(l & 1) 
        {
            le = '(';
            l = (l - 1) / 2;
        }
        else
        {
            le = '[';
            l = l / 2;
        }
        
        if(r & 1)
        {
            ri = ')';
            r = (r + 1) / 2;
        }
        else
        {
            ri = ']';
            r = r / 2;
        }
        
        if(found) printf(" ");
        
        printf("%c%d,%d%c", le, l, r, ri);
        found = 1;
        l = tr + 1;
    }
    if(!found) puts("empty set");
    else puts("");
    return 0;
}