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;
}