4229: 选择

4229: 选择

Time Limit: 10 Sec   Memory Limit: 128 MB
Submit: 59   Solved: 36
[ Submit][ Status][ Discuss]

Description

现在,我想知道自己是否还有选择。
给定n个点m条边的无向图以及顺序发生的q个事件。
每个事件都属于下面两种之一:
1、删除某一条图上仍存在的边
2、询问是否存在两条边不相交的路径可以从点u出发到点v

Input

第一行三个整数n,m,q
接下来m行,每行两个整数u,v,表示u和v之间有一条边
接下来q行,每行一个大写字母o和2个整数u、v,依次表示按顺序发生的q个事件:
当o为’Z’时,表示删除一条u和v之间的边
当o为’P’时,表示询问是否存在两条边不相交的路径可以从点u出发到点v

Output

对于每组询问,如果存在,输出Yes,否则输出No

Sample Input

7 8 7
1 2
1 3
1 4
2 3
3 4
3 7
7 4
5 6
Z 1 4
P 1 3
P 2 4
Z 1 3
P 1 3
Z 6 5
P 5 6

Sample Output

Yes
Yes
No
No

HINT

对于全部数据,max(n,m,q)<=100000


Source

[ Submit][ Status][ Discuss]

将询问倒过来处理,就变成加边,查询两个点是否属于同一个边双
那么就要维护一个数据结构,支持动态加边,查询两个点是否属于同一个边双
可以使用LCT和并查集同时维护
并查集维护两个点是否属于同一个边双,如果是,用并查集压缩之
当新增一条边时,如果原来的两个点并不在同一棵LCT内,则普通的LCT加边操作
否则,假设这题边为(x,y),将x换成根,Access(y),splay(y)
给y的左儿子打上标记,要和y所在的边双合并就是
这种标记显然可以合并
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;

const int maxn = 1E5 + 10;

struct Query{
	int typ,x,y; Query(){}
	Query(int typ,int x,int y): typ(typ),x(x),y(y){}
}Q[maxn];

struct E{
	int x,y; E(){}
	E(int x,int y): x(x),y(y){}
	bool operator < (const E &b) const
	{
		if (x < b.x) return 1;
		if (x > b.x) return 0;
		return y < b.y;
	}
}edgs[maxn];

int n,m,q,tp,ch[maxn][2],rev[maxn],Mark[maxn],fa[maxn]
	,pfa[maxn],ti[maxn],father[maxn],F[maxn],s[maxn];
bool bo[maxn],Ans[maxn];

int getint()
{
	char ch = getchar(); int ret = 0;
	while (ch < '0' || '9' < ch) ch = getchar();
	while ('0' <= ch && ch <= '9')
		ret = ret*10 + ch - '0',ch = getchar();
	return ret;
}

int getfa(int x) {return x == father[x] ? x : father[x] = getfa(father[x]);}
int getF(int x) {return x == F[x] ? x : F[x] = getF(F[x]);}

void Connect(int x,int y)
{
	int fx = getfa(x),fy = getfa(y);
	if (fx == fy) return; father[fx] = fy;
}

void Merge(int x,int y)
{
	if (!Mark[x]) Mark[x] = y;
	else Connect(Mark[x],y);
}

void pushdown(int x)
{
	if (Mark[x])
	{
		for (int i = 0; i < 2; i++)
			if (ch[x][i]) Merge(ch[x][i],Mark[x]);
		Connect(x,Mark[x]); Mark[x] = 0;
	}
	if (rev[x])
	{
		for (int i = 0; i < 2; i++)
			if (ch[x][i]) rev[ch[x][i]] ^= 1;
		swap(ch[x][0],ch[x][1]); rev[x] = 0;
	}
}

void rotate(int x)
{
	int y = fa[x],z = fa[y];
	pfa[x] = pfa[y]; pfa[y] = 0;
	int d = ch[y][0] == x ? 0 : 1;
	ch[y][d] = ch[x][d^1]; fa[ch[y][d]] = y;
	ch[x][d^1] = y; fa[y] = x; fa[x] = z;
	if (z) ch[z][ch[z][1] == y] = x;
}

void splay(int x)
{
	for (int z = x; z; z = fa[z]) s[++tp] = z;
	while (tp) pushdown(s[tp--]);
	for (int y = fa[x]; y; rotate(x),y = fa[x])
		if (fa[y]) rotate((ch[y][0] == x) ^ (ch[fa[y]][0] == y) ? x : y);
}

void Access(int x)
{
	for (int y = 0; x; y = x,x = pfa[x])
	{
		splay(x);
		if (ch[x][1]) fa[ch[x][1]] = 0,pfa[ch[x][1]] = x;
		ch[x][1] = y; 
		if (y) pfa[y] = 0,fa[y] = x;
	}
}

void ChangeRoot(int x) {Access(x); splay(x); rev[x] ^= 1;}

void Add_edgs(int x,int y)
{
	int fx = getF(x),fy = getF(y);
	if (fx != fy)
	{
		ChangeRoot(x); pfa[x] = y;
		Access(x); splay(x); F[fx] = fy;
	}
	else
	{
		fx = getfa(x); fy = getfa(y); Connect(fx,fy);
		ChangeRoot(x); Access(y); splay(y); Merge(ch[y][0],fx);
	}
}

int getcom()
{
	char ch = getchar();
	while (ch != 'Z' && ch != 'P') ch = getchar();
	return ch == 'Z' ? 1 : 2;
}

int main()
{
	
	n = getint(); m = getint(); q = getint();
	for (int i = 1; i <= m; i++)
	{
		int x = getint(),y = getint();
		if (x > y) swap(x,y); edgs[i] = E(x,y);
	}
	sort(edgs + 1,edgs + m + 1);
	for (int i = 1; i <= q; i++)
	{
		int typ = getcom(),x,y;
		x = getint(); y = getint();
		if (x > y) swap(x,y);
		if (typ == 1)
		{
			int pos = lower_bound(edgs + 1,edgs + m + 1,E(x,y)) - edgs;
			Q[i] = Query(1,pos + ti[pos],0); 
			bo[pos + ti[pos]] = 1; ++ti[pos];
		}
		else Q[i] = Query(2,x,y);
	}
	
	for (int i = 1; i <= n; i++) F[i] = father[i] = i;
	for (int i = 1; i <= m; i++)
		if (!bo[i]) Add_edgs(edgs[i].x,edgs[i].y);
	for (int i = q; i; i--)
		if (Q[i].typ == 1) Add_edgs(edgs[Q[i].x].x,edgs[Q[i].x].y);
		else
		{
			ChangeRoot(Q[i].x); ChangeRoot(Q[i].y);
			int fx = getfa(Q[i].x),fy = getfa(Q[i].y);
			Ans[i] = fx == fy ? 1 : 0;
		}
	for (int i = 1; i <= q; i++)
		if (Q[i].typ == 2)
		{
			if (Ans[i]) puts("Yes");
			else puts("No");
		}
	return 0;
}

你可能感兴趣的:(link-cut,tree,并查集)