poj 3225 Help with Intervals(线段树+区间更新)

  • Post author:
  • Post category:其他


题意:区间操作,交,并,补等

思路:

我们一个一个操作来分析:(用0和1表示是否包含区间,-1表示该区间内既有包含又有不包含)

U:把区间[l,r]覆盖成1

I:把[-∞,l)(r,∞]覆盖成0

D:把区间[l,r]覆盖成0

C:把[-∞,l)(r,∞]覆盖成0 , 且[l,r]区间0/1互换

S:[l,r]区间0/1互换

倍化区间处理开闭区间的问题。因为普通的线段树实际处理的并非真正的区间,而是一系列点,相当于处理一个向量。这个问题需要处理的是真正的区间,所以应该有一个主导思想就是,把区间点化!不知哪位大牛搞了一个倍增区间出来,实在佩服!对于待处理区间

a,b

,对其边界均乘2。若区间左开则对左界值+1,若区间右开,则对右界-1!


如:

[2,3]会倍增为[4,6],[2,3)会倍增为[4,5],(2,3]会倍增为[5,6],(2,3)将倍增为[5,5],我们这时可以看到,对于普通线段树无法处理的线段如(x,x+1)将被点化为








[


2





x


+


1


,


2





x


+


1


]










,这个问题得到比较完美的解决

最后把查找出来的区间逆向倍增操作一下,就可以得到实际的区间以及起开闭情况!

#include <cstdio>
#include <cstring>
#include <cctype>
#include <algorithm>
using namespace std;
#define lson l , m , rt << 1
#define rson m + 1 , r , rt << 1 | 1

const int maxn = 131072;
bool hash[maxn];
int cover[maxn << 2];
int XOR[maxn << 2];
//当一个节点得到异或标记的时候,先判断覆盖标记,如果是0或1,直接改变一下覆盖标记,不然的话改变异或标记。
void FXOR(int rt) {
	if (cover[rt] != -1) cover[rt] ^= 1;
	else XOR[rt] ^= 1;
}
//当一个区间被覆盖后,不管之前有没有异或标记都没有意义了。所以当一个节点得到覆盖标记时把异或标记清空
void PushDown(int rt) {
	if (cover[rt] != -1) {
		cover[rt << 1] = cover[rt << 1 | 1] = cover[rt];
		XOR[rt << 1] = XOR[rt << 1 | 1] = 0;
		cover[rt] = -1;
	}
	if (XOR[rt]) {
		FXOR(rt << 1);
		FXOR(rt << 1 | 1);
		XOR[rt] = 0;
	}
}
void update(char op, int L, int R, int l, int r, int rt) {
	if (L <= l && r <= R) {
		if (op == 'U') {
			cover[rt] = 1;
			XOR[rt] = 0;
		}
		else if (op == 'D') {
			cover[rt] = 0;
			XOR[rt] = 0;
		}
		else if (op == 'C' || op == 'S') {
			FXOR(rt);
		}
		return;
	}
	PushDown(rt);
	int m = (l + r) >> 1;
	if (L <= m) update(op, L, R, lson);
	else if (op == 'I' || op == 'C') {
		XOR[rt << 1] = cover[rt << 1] = 0;
	}
	if (m < R) update(op, L, R, rson);
	else if (op == 'I' || op == 'C') {
		XOR[rt << 1 | 1] = cover[rt << 1 | 1] = 0;
	}
}
void query(int l, int r, int rt) {//只查询一次
	if (cover[rt] == 1) {
		for (int it = l; it <= r; it++) {
			hash[it] = true;
		}
		return;
	}
	else if (cover[rt] == 0) return;
	if (l == r) return;
	PushDown(rt);
	int m = (l + r) >> 1;
	query(lson);
	query(rson);
}
int main() {
	cover[1] = XOR[1] = 0;
	char op, l, r;
	int a, b;
	while (~scanf("%c %c%d,%d%c\n", &op, &l, &a, &b, &r)) {
		a <<= 1, b <<= 1;
		if (l == '(') a++;
		if (r == ')') b--;
		if (a > b) {//一些无效输入如(4,4)这种没有意义的区间
			if (op == 'C' || op == 'I') {
				cover[1] = XOR[1] = 0;
			}
		}
		else update(op, a, b, 0, maxn, 1);
	}
	query(0, maxn, 1);
	bool flag = false;
	int s = -1, e;
	for (int i = 0; i <= maxn; i++) {
		if (hash[i]) {
			if (s == -1) s = i;
			e = i;
		}
		else {
			if (s != -1) {
				if (flag) printf(" ");
				flag = true;
				printf("%c%d,%d%c", s & 1 ? '(' : '[', s >> 1, (e + 1) >> 1, e & 1 ? ')' : ']');
				s = -1;
			}
		}
	}
	if (!flag) printf("empty set");
	puts("");
	return 0;
}