【BZOJ1018】堵塞的交通（线段树）

题面

Description

　　有一天，由于某种穿越现象作用，你来到了传说中的小人国。小人国的布局非常奇特，整个国家的交通系统可

以被看成是一个2行C列的矩形网格，网格上的每个点代表一个城市，相邻的城市之间有一条道路，所以总共有2C个

城市和3C-2条道路。小人国的交通状况非常槽糕。有的时候由于交通堵塞，两座城市之间的道路会变得不连通，

直到拥堵解决，道路才会恢复畅通。初来咋到的你决心毛遂自荐到交通部某份差事，部长听说你来自一个科技高度

发达的世界，喜出望外地要求你编写一个查询应答系统，以挽救已经病入膏肓的小人国交通系统。小人国的交通

部将提供一些交通信息给你，你的任务是根据当前的交通情况回答查询的问题。交通信息可以分为以下几种格式：

Close r1 c1 r2 c2：相邻的两座城市(r1,c1)和(r2,c2)之间的道路被堵塞了；Open r1 c1 r2 c2：相邻的两座城

市(r1,c1)和(r2,c2)之间的道路被疏通了；Ask r1 c1 r2 c2：询问城市(r1,c1)和(r2,c2)是否连通。如果存在一

条路径使得这两条城市连通，则返回Y，否则返回N；

Input

　　第一行只有一个整数C，表示网格的列数。接下来若干行，每行为一条交通信息，以单独的一行“Exit”作为

结束。我们假设在一开始所有的道路都是堵塞的。我们保证 C小于等于100000，信息条数小于等于100000。

Output

　　对于每个查询，输出一个“Y”或“N”。

Sample Input

Open 1 1 1 2

Open 1 2 2 2

Ask 1 1 2 2

Ask 2 1 2 2

Exit

Sample Output

题解

毒瘤题

神题

欢迎入坑

BZOJ上有题解

我只讲线段树如何维护

对于每一个节点

维护的是一段区间

也就是一个矩形

现在我们维护的是这个矩形的四个顶点之间的两两的联通性

这个一顿分类讨论就好了

对于叶子节点，因为会直接的修改边

因此不能够只维护点的连通性

还要维护一下边，

再用边来推出点的连通性再向上递归

每一次的询问

先询问给定的区间

再询问1n

因为联通的情况无非就是

①在自己的区间内之间联通

②出去走一圈再回来

所以，又是一顿分类讨论，这里就很好解决了

细节太多了，不好细讲

边界情况仔细讨论

可以直接看代码

其中，我的代码

小写的l1,l2,r1,r2分别对应矩形左侧的两个点和右侧的两个点的连通性

L1等大写的表示的边的连通性

这题真是写死我了

#include<iostream>

#include<cstdio>

#include<cstdlib>

#include<cstring>

#include<cmath>

#include<algorithm>

#include<set>

#include<map>

#include<vector>

#include<queue>

using namespace std;

#define MAX 120000

#define lson (now<<1)

#define rson (now<<1|1)

#define rg register

inline int read()

{

	rg int x=0,t=1;rg char ch=getchar();

	while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();

	if(ch=='-')t=-1,ch=getchar();

	while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();

	return x*t;

}

int n,P;

struct Node

{

	bool l1l2,r1r2,l1r1,l1r2,l2r1,l2r2,L1L2,R1R2,L1R1,L2R2;

	void init(){l1l2=r1r2=l1r1=l1r2=l2r1=l2r2=L1L2=R1R2=L1R1=L2R2=false;}

}t[MAX<<3];

Node Merge(Node x,Node y)

{

	rg Node ret;ret.init();

	ret.l1r1=(x.l1r1&y.l1r1)|(x.l1r2&y.l2r1);

	ret.l2r2=(x.l2r2&y.l2r2)|(x.l2r1&y.l1r2);

	ret.l1l2=(x.l1l2)|(ret.l1r1&ret.l2r2&y.r1r2);

	ret.r1r2=(y.r1r2)|(ret.l1r1&ret.l2r2&x.l1l2);

	ret.l1r2=(x.l1r1&y.l1r2)|(x.l1r2&y.l2r2);

	ret.l2r1=(x.l2r2&y.l2r1)|(x.l2r1&y.l1r1);

	return ret;

}

void Count(Node &a)

{

	a.l1r1=(a.L1R1)|(a.L1L2&a.L2R2&a.R1R2);

	a.l2r2=(a.L2R2)|(a.L1L2&a.L1R1&a.R1R2);

	a.l1l2=(a.L1L2)|(a.L1R1&a.R1R2&a.L2R2);

	a.r1r2=(a.R1R2)|(a.L1R1&a.L1L2&a.L2R2);

	a.l1r2=(a.L1R1&a.R1R2)|(a.L1L2&a.L2R2);

	a.l2r1=(a.L1L2&a.L1R1)|(a.L2R2&a.R1R2);

}

void Modify_C(int now,int l,int r,int pos)

{

	if(l==r)

	{

		if(P==1)t[now].L1R1=false;

		else if(P==2)t[now].L2R2=false;

		else if(P==3)t[now].L1L2=false;

		else if(P==4)t[now].R1R2=false;

		Count(t[now]);

		return;

	}

	rg int mid=(l+r)>>1;

	if(pos<=mid)Modify_C(lson,l,mid,pos);

	else Modify_C(rson,mid+1,r,pos);

	t[now]=Merge(t[lson],t[rson]);

}

void Modify_O(int now,int l,int r,int pos)

{

	if(l==r)

	{

		if(P==1)t[now].L1R1=true;

		else if(P==2)t[now].L2R2=true;

		else if(P==3)t[now].L1L2=true;

		else if(P==4)t[now].R1R2=true;

		Count(t[now]);

		return;

	}

	rg int mid=(l+r)>>1;

	if(pos<=mid)Modify_O(lson,l,mid,pos);

	else Modify_O(rson,mid+1,r,pos);

	t[now]=Merge(t[lson],t[rson]);

}

Node Query(int now,int l,int r,int al,int ar)

{

	if(l==al&&r==ar)return t[now];

	rg int mid=(l+r)>>1;

	if(ar<=mid)return Query(lson,l,mid,al,ar);

	if(al>mid)return Query(rson,mid+1,r,al,ar);

	return Merge(Query(lson,l,mid,al,mid),Query(rson,mid+1,r,mid+1,ar));

}

int main()

{

	n=read()-1;

	rg char ch[20];

	while(233)

	{

		scanf("%s",ch);if(ch[0]=='E')break;

		else if(ch[0]=='O')

		{

			rg int r1=read(),c1=read(),r2=read(),c2=read();

			if(c1>c2)swap(r1,r2),swap(c1,c2);

			if(r1==r2&&r1==1)P=1,Modify_O(1,1,n,c1);

			else if(r1==r2&&r1==2)P=2,Modify_O(1,1,n,c1);

			else if(c1==c2){if(c1!=1){P=4,Modify_O(1,1,n,c1-1);}if(c1<=n)P=3,Modify_O(1,1,n,c1);}

		}

		else if(ch[0]=='C')

		{

			rg int r1=read(),c1=read(),r2=read(),c2=read();

			if(c1>c2)swap(r1,r2),swap(c1,c2);

			if(r1==r2&&r1==1)P=1,Modify_C(1,1,n,c1);

			else if(r1==r2&&r1==2)P=2,Modify_C(1,1,n,c1);

			else if(c1==c2){if(c1!=1){P=4,Modify_C(1,1,n,c1-1);}if(c1<=n)P=3,Modify_C(1,1,n,c1);}

		}

		else

		{

			rg int r1=read(),c1=read(),r2=read(),c2=read();

			if(c1>c2)swap(r1,r2),swap(c1,c2);

			if(c1==c2)

			{

				if(r1 ==r2)puts("Y");

				else

				{

					rg Node x,y;x.init();y.init();

					if(c1>1)(x=Query(1,1,n,1,c1-1));

					if(c1<=n)(y=Query(1,1,n,c1,n));

					(x.r1r2||y.l1l2)?puts("Y"):puts("N");

				}

				continue;

			}

			rg Node x,y,z;x.init();y.init();z.init();

			x=Query(1,1,n,c1,c2-1);if(c1>=2)y=Query(1,1,n,1,c1-1);if(c2<=n)z=Query(1,1,n,c2,n);

			if(r1==r2)

			{

				if(r1==1)((x.l1r1)||(y.r1r2&&(x.l2r1||(x.l2r2&&z.l1l2))))?puts("Y"):puts("N");

				else((x.l2r2)||(y.r1r2&&(x.l1r2||(x.l1r1&&z.l1l2))))?puts("Y"):puts("N");

			}

			else

			{

				if(r1==1)((x.l1r2)||(y.r1r2&&x.l2r2)||(x.l1r1&&z.l1l2))?puts("Y"):puts("N");

				else((x.l2r1)||(y.r1r2&&x.l1r1)||(x.l2r2&&z.l1l2))?puts("Y"):puts("N");

			}

		}

	}

	return 0;

}