ZOJ 4097 Rescue the Princess(tarjan判桥+LCA)(level 3)

最新推荐文章于 2019-04-18 21:04:41 发布
最新推荐文章于 2019-04-18 21:04:41 发布
阅读量198 收藏
点赞数
分类专栏： 树 tarjan 图论
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_37025443/article/details/89310172
版权
图论 同时被 3 个专栏收录
22 篇文章 0 订阅
订阅专栏
树
13 篇文章 0 订阅
订阅专栏
tarjan
5 篇文章 0 订阅
订阅专栏

题目链接

题意:

给你一个无向图,n个点,m条边，图中可能存在重边，自环

然后有q个询问(n<=1e5,m<=2e5,q<=1e5)

每一次询问u,v,w，问你能不能找到两条路径v->u,w->u

使得两条路径中没有公共的边

有->Yes,无->No

解析:

其实这道题tarjan判桥的特征挺明显的——无向图，重边，自环

然后你画一下样例就可以看出"桥"的存在

然后用tarjan判桥进行缩点，并用找到的割边重新建图，最后会得到一棵树。

剩下的问题就是问你树上z=find(u),x=find(v),y=find(w),从y->w的简单路径中，有没有z

这个问题我是用LCA来做的，

首先y->w的LCA xyl=LCA(xyl,z)   ->z在xyl的子树内

然后z在LCA的路径上  LCA(y,z)==z||LCA(x,z)==z

 

这道题比赛的时候想的有点偏了，没有想到最后成一个树的结构.....

#include<iostream>
#include<queue>
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<cstring>
#include <set>
#include <stack>
using namespace std;

typedef long long ll;
const int N = 1e5 + 10;
const int M = 2e5 + 10;
int findfa(int* fa, int x);
struct edge
{
	int fr, to, nxt;
	int id;


};

edge f[M * 2];
int fa[N];
int now[N];
int head[N];
int fcnt, tim;
int low[N], dfn[N];
int ans[M];
vector<int> mp[N];
int pos[N],Log[N<<2],ST[N<<2][25];
int tot;
int dep[N];
stack<int> ms;

int Min(int x,int y)
{
	return dep[x]<dep[y]?x:y;
}

void dfs(int u,int fc)
{
	ST[++tot][0]=u;
	pos[u]=tot;
	for(int i=0;i<mp[u].size();i++)
	{
		int v=mp[u][i];
		if(v==fc) continue;
		dep[v]=dep[u]+1;
		dfs(v,u);
		ST[++tot][0]=u;
	}
}

void init(int n)
{
	tot=0;
	for(int i=1;i<=n;i++)
	{
		int x=now[i];
		if(!pos[x])
			dep[x]=0,dfs(x,0);
	}

	for(int j=1;j<=Log[n];j++)
		for(int i=1;i<=tot;i++)
		{
			ST[i][j]=Min(ST[i][j-1],ST[i+(1<<(j-1))][j-1]);
		}
}

int LCA(int u,int v)
{
	if(u==v) return u;
	u=pos[u];
	v=pos[v];
	if(u>v) swap(u,v);
	int k=Log[v-u+1];
	return Min(ST[u][k],ST[v-(1<<k)+1][k]);
}


void add2(int fr, int to, int id)
{
	f[fcnt].fr = fr;
	f[fcnt].to = to;
	f[fcnt].id = id;
	f[fcnt].nxt = head[fr];
	head[fr] = fcnt++;
}

int findfa(int* fa, int x)
{
	if (x == fa[x]) return fa[x];
	int nex = fa[x];
	fa[x] = findfa(fa, nex);
	return fa[x];
}

void tarjan(int x, int fa)
{
	dfn[x] = low[x] = ++tim;
	ms.push(x);
	for (int i = head[x], to, id; i != -1; i = f[i].nxt)
	{
		if ((id = f[i].id) == fa) continue;
		to = f[i].to;
		if (!dfn[to])
		{
			tarjan(to, id), low[x] = min(low[x], low[to]);
			if (low[to] > dfn[x]) ans[id] = 1;
		}
		else low[x] = min(low[x], dfn[to]);
	}
	if(low[x]==dfn[x])
	{
		int u;
		do
		{
			u=ms.top();
			ms.pop();
			now[u]=x;
		}
		while(u!=x);
	}
}



int main()
{
	int T;
	scanf("%d", &T);
	Log[0]=-1;
	for(int i=1;i<(N<<2);i++) Log[i]=Log[i>>1]+1;

	while (T--)
	{

		fcnt = 0;
		tim = 0;
		int n, m, q;
		scanf("%d%d%d", &n, &m, &q);
		for (int i = 1; i <= n; i++)
		{
			head[i] = -1;
			fa[i] = i;
			low[i] = dfn[i] = 0;
			now[i] = i;
			mp[i].clear();
			pos[i]=dep[i]=0;
			
		}
		for (int i = 1; i <= m; i++)
		{
			ans[i] = 0;
		}
		for (int i = 1; i <= m; i++)
		{
			int u, v;
			scanf("%d%d", &u, &v);
			add2(u, v, i);
			add2(v, u, i);
			int fx = findfa(fa, u);
			int fy = findfa(fa, v);
			if (fx != fy)
			{
				fa[fx] = fy;
			}
		}

		for (int i = 1; i <= n; i++)
		{
			if (!dfn[i]) tarjan(i, -1);
		}
		

		for (int i = 0; i < fcnt; i += 2)
		{
			if (ans[f[i].id])
			{
				int fx =now[f[i].fr];
				int fy = now[f[i].to];
				mp[fx].push_back(fy);
				mp[fy].push_back(fx);
			}

		}
		init(n);
		
		for (int i = 1; i <= q; i++)
		{
			int u, v, w, x, y, z;
			scanf("%d%d%d", &u, &v, &w);
			z = findfa(fa, u);
			x = findfa(fa, v);
			y = findfa(fa, w);
			if (x != z || y != z)
			{
				printf("No\n");
			}
			else
			{
				z = now[u];
				x = now[v];
				y = now[w];
				if (x == y&&z != x)
				{
					printf("No\n");
				}
				else if (x != y&&x != z&&z != y)
				{
					
					int xyl=LCA(x,y);
					int zl=LCA(xyl,z);
					int xz=LCA(x,z);
					int yz=LCA(y,z);
					if(xyl==zl&&(xz==z||yz==z))
						printf("Yes\n");
					else
						printf("No\n");
				}
				else
				{
					printf("Yes\n");
				}
			}

		}

	}
	return 0;
}

这个是在tarjan外面缩点的

#include<iostream>
#include<queue>
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<cstring>
#include <set>
using namespace std;

typedef long long ll;
const int N = 1e5 + 10;
const int M = 2e5 + 10;
int findfa(int* fa, int x);
struct edge
{
	int fr, to, nxt;
	int id;


};

edge f[M * 2];
int fa[N];
int now[N];
int head[N];
int fcnt, tim;
int low[N], dfn[N];
int ans[M];
vector<int> mp[N];
int pos[N],Log[N<<2],ST[N<<2][25];
int tot;
int dep[N];

int Min(int x,int y)
{
	return dep[x]<dep[y]?x:y;
}

void dfs(int u,int fc)
{
	ST[++tot][0]=u;
	pos[u]=tot;
	for(int i=0;i<mp[u].size();i++)
	{
		int v=mp[u][i];
		if(v==fc) continue;
		dep[v]=dep[u]+1;
		dfs(v,u);
		ST[++tot][0]=u;
	}
}

void init(int n)
{
	tot=0;
	for(int i=1;i<=n;i++)
	{
		int x=findfa(now,i);
		if(!pos[x])
			dep[x]=0,dfs(x,0);
	}

	for(int j=1;j<=Log[n];j++)
		for(int i=1;i<=tot;i++)
		{
			ST[i][j]=Min(ST[i][j-1],ST[i+(1<<(j-1))][j-1]);
		}
}

int LCA(int u,int v)
{
	if(u==v) return u;
	u=pos[u];
	v=pos[v];
	if(u>v) swap(u,v);
	int k=Log[v-u+1];
	return Min(ST[u][k],ST[v-(1<<k)+1][k]);
}


void add2(int fr, int to, int id)
{
	f[fcnt].fr = fr;
	f[fcnt].to = to;
	f[fcnt].id = id;
	f[fcnt].nxt = head[fr];
	head[fr] = fcnt++;
}

int findfa(int* fa, int x)
{
	if (x == fa[x]) return fa[x];
	int nex = fa[x];
	fa[x] = findfa(fa, nex);
	return fa[x];
}

void tarjan(int x, int fa)
{
	dfn[x] = low[x] = ++tim;
	for (int i = head[x], to, id; i != -1; i = f[i].nxt)
	{
		if ((id = f[i].id) == fa) continue;
		to = f[i].to;
		if (!dfn[to])
		{
			tarjan(to, id), low[x] = min(low[x], low[to]);
			if (low[to] > dfn[x]) ans[id] = 1;
		}
		else low[x] = min(low[x], dfn[to]);
	}
}



int main()
{
	int T;
	scanf("%d", &T);
	Log[0]=-1;
	for(int i=1;i<(N<<2);i++) Log[i]=Log[i>>1]+1;

	while (T--)
	{

		fcnt = 0;
		tim = 0;
		int n, m, q;
		scanf("%d%d%d", &n, &m, &q);
		for (int i = 1; i <= n; i++)
		{
			head[i] = -1;
			fa[i] = i;
			low[i] = dfn[i] = 0;
			now[i] = i;
			mp[i].clear();
			pos[i]=dep[i]=0;
			
		}
		for (int i = 1; i <= m; i++)
		{
			ans[i] = 0;
		}
		for (int i = 1; i <= m; i++)
		{
			int u, v;
			scanf("%d%d", &u, &v);
			add2(u, v, i);
			add2(v, u, i);
			int fx = findfa(fa, u);
			int fy = findfa(fa, v);
			if (fx != fy)
			{
				fa[fx] = fy;
			}
		}

		for (int i = 1; i <= n; i++)
		{
			if (!dfn[i]) tarjan(i, -1);
		}
		for (int i = 0; i < fcnt; i += 2)
		{
			if (ans[f[i].id]) continue;
			int fx = findfa(now, f[i].fr);
			int fy = findfa(now, f[i].to);
			if (fx != fy)
			{
				now[fx] = fy;
			}
		}

		for (int i = 0; i < fcnt; i += 2)
		{
			if (ans[f[i].id])
			{
				int fx = findfa(now, f[i].fr);
				int fy = findfa(now, f[i].to);
				mp[fx].push_back(fy);
				mp[fy].push_back(fx);
			}

		}
		init(n);
		
		for (int i = 1; i <= q; i++)
		{
			int u, v, w, x, y, z;
			scanf("%d%d%d", &u, &v, &w);
			z = findfa(fa, u);
			x = findfa(fa, v);
			y = findfa(fa, w);
			if (x != z || y != z)
			{
				printf("No\n");
			}
			else
			{
				z = findfa(now, u);
				x = findfa(now, v);
				y = findfa(now, w);
				if (x == y&&z != x)
				{
					printf("No\n");
				}
				else if (x != y&&x != z&&z != y)
				{
					/*if(u_in_v(x,y)&&!(u_in_v(z,y)&&u_in_v(x,z)))
						printf("No\n");
					else if(u_in_v(y,x)&&!(u_in_v(z,x)&&u_in_v(y,z)))
						printf("No\n");
					else
						printf("Yes\n");*/
					int xyl=LCA(x,y);
					int zl=LCA(xyl,z);
					int xz=LCA(x,z);
					int yz=LCA(y,z);
					if(xyl==zl&&(xz==z||yz==z))
						printf("Yes\n");
					else
						printf("No\n");
				}
				else
				{
					printf("Yes\n");
				}
			}

		}

	}
	return 0;
}

 

Just_JK
关注
专栏目录
【LCA+tarjan缩点+无向图含重边缩点板子】ZOJ Problem Set - 4097 Rescue the Princessing
qq_41037114的博客
04-17 226
Rescue the Princess Time Limit:1 Second Memory Limit:65536 KB Princess Cjb is caught by Heltion again! Her knights Little Sub and Little Potato are going to Heltion Kingdom to rescue her. He...
ZOJ 4097 Rescue the Princess(tarjan缩点 + LCA)
_Backl1ght
04-16 239
ZOJ 4097 Rescue the Princess 题意：给定一个无向图，要求回答q个询问。每个询问有三个参数：目标节点d和两个起点u,v。问是否存在分别从u,v出发至d的两条不相交的路径。不相交即两条路径不包含同一条边。 解题思路：先用tarjan缩点将图转化成树，再重新建图，最后通过LCA完成询问的判断。 ​ 注意无向图可能含有多个联通块，所以还需要dfs跑一遍联动块 AC代码： #i...
zoj 4097 Rescue the Princess (缩点+LCA)
Link_Ray的博客
04-15 338
http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemCode=4097 题意 在一个无向图中，询问u,v,w， v和w是否存在边不相同的路径到u。 题解 点双连通分量：任意两点之间存在两条点互不相同的路径。 边双连通分量：任意两点之间存在两条边互不相同的路径。 点双连通分量也是边双连通分量。 但边双连通分量不是点双连通分量。 一般这种题都...
【tarjan缩点+LCA】ZOJ - 4097 - Rescue the Princess
Eliot的博客
04-15 175
题目链接<http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=5986> 题意： 给出一张图，两个起点和一个终点，问是否存在两条不相交的路。 题解： 先来个并查集，判断是否在一个连通块内。 再缩个点，如果都在一个点内，那么一定可以。 否则就是棵树，lca分类讨论一下。 赛上居然数组开小，疯狂自闭.. #...
【ZOJ 4097-Rescue the Princess】无向图tarjan缩点+LCA
lajiyuan的博客
04-15 913
链接 ZOJ 4097-Rescue the Princess 题意 给你一个无向图(不一定联通)，有q次查询，每次查询给出三个点u,v,w，问v和w是否可以到达u而且不经过相同的边。 做法 首先我们把整个无向图进行缩点，可以得到一棵森林，如果答案合法，那么u,v,w肯定要在一棵树上，而且v和w的LCA一定是u，但是这里要注意这时无根树，所以要加一些判断，对所有不合法情况判断即可。 代码 #inc...
ZOJ 4097 Rescue the Princess 边双缩点+LCA
baichuan9723的博客
04-15 70
给你一个图和三个点U,V,W 问你是否存在从U到V和从U到W的两条边不相交路径 先边双缩点 再每个连通分量搞LCA 最后LCA判 #include<bits/stdc++.h> using namespace std; #define INF 0xfffffff #define maxn 200025 #define min(a,b) (a<b?a...
ZOJ 4097 Rescue the Princess
Spy97的博客
04-17 341
题目链接: http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemId=5986 题意 nnn个点，mmm条边的图，询问z,x,yz,x,yz,x,y，是否能找到xxx到zzz，yyy到zzz没有重复经过路的方案。 题解 边双联通，进行缩点，然后用LCA判断。 代码 #include<bits/stdc++.h> #define...
ZOJ-4097 Rescue the Princess（Tarjan边双连通缩点 + LCA）
积极的防守者的博客
04-18 272
题目链接 题目大意： 给你一个图（不保证连通，可能存在重边），多次查询，一次查询给出三个点u,v,w，(可能会重合),求有没有两条路径使得v到达u，w到达u，且这两条路径不重合。 点的数量 和 查询次数都是1e5级别。 题解： 先对原图进行边双连通缩点，判断的时候分为以下情况： 1.三个点都在同一个边双连通里，那么肯定存在这样两条不相交路径，想一下边双连通分量的性质就明白了 2.两个起点v，w在同...
ZOJ 4097 Rescue the Princess（边双连通分量缩点 + LCA）
alpc_qleonardo
04-18 354
大致题意：给你一个可以有重边和自环的n个点m条边的无向图，给你q个询问。每个询问告诉你公主的位置和两个骑士的位置。现在骑士要去救公主，问是否存在从两个骑士出发点到公主的边不相交路径。 我已经标出来了，是边不相交，而不是点不相交。然后这是一个无向图，所以我们容易想到的第一件事情就是要进行缩点。关于缩点，这里用到的是边双连通分量的定义，至于点双连通分量、边双连通分量和连通分量的区...
zoj 3590 -3+1.md
11-17
zoj 3590 -3+1.md
AlgoSolutions：AlgoSolutions-LeetCode +剑指提供+编程之美+ zoj + CrackigCode150
02-02
本资源集合，"AlgoSolutions"，是一个专门为算法爱好者和从业者打造的刷题与学习平台，包含了多个平台的题目解决方案，如LeetCode、剑指Offer、编程之美以及ZOJ，还有针对Cracking the Coding Interview...
zoj 1610 Count the Colors.md
11-17
zoj 1610 Count the Colors.md
zoj 1002_zoj1002_
09-29
【标题】"ZOJ 1002" 是一个在线编程竞赛题目，源自ZOJ（Zhejiang Online Judge），这是一个面向ACM/ICPC（国际大学生程序设计竞赛）的在线评测系统。题目编号1002，通常表示该题是ZOJ平台上的一个问题，可能涉及算法...
zoj 1255 The Path.md
11-17
zoj 1255 The Path.md
HDU 6311 Cover（欧拉回路）
咸鱼有梦想
07-28 618
题目链接 Cover Time Limit: 6000/3000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 1723    Accepted Submission(s): 377Special Judge   Problem Description The Wall ...
2018-2019 ACM-ICPC Southeastern European Regional (SEERC 2018) C Tree(level 2)(树的直径)(4种解法)
咸鱼有梦想
04-08 463
题目链接 题意: 给你一棵n个点的树(n<=100),每一个点有白/黑色，让你选m个黑色的点， 使得你选的这m个点的集合里最远的两个点的距离最小 解析: 这道题我训练的时候是用st的LCA求两点距离+二分+最大团验证来做的，代码有167行 比赛的时候...估计得写将近1个小时，然后还被自己LCA模板上的一个数组大小卡了半个小时... 这道题赛后看了大佬们的代码，大多都是和树的直...
hdu 6228 Tree(DFS)
咸鱼有梦想
12-03 411
TreeTime Limit: 2000/1000 MS (Java/Others)    Memory Limit: 262144/262144 K (Java/Others)Total Submission(s): 539    Accepted Submission(s): 343Problem DescriptionConsider a un-rooted tree T which is ...
Comet OJ - Contest #0 D 项链与计数(level 4)(树上并环)(Kruskal+按秩合并并查集)
咸鱼有梦想
04-06 402
题目链接 题意: 定义简单环:一个点数和边数相等的回路，并且这条回路上没有出现重复的点或边。 定义项链: 定义 “项链” 是由一些简单环组成的子图，不妨设项链包括 k个简单环 C1C1​, C2​, ……, Ck​ (x`)，那么项链需要满足： 当且仅当 ∣i−j∣≤1 时，简单环 Ci和 Cj 共用顶点； 简单环 Ci 和 Ci+1 恰好共用一个顶点； 任意两个不同的简单环 ...
hdu 6165 FFF at Valentine(tarjan缩点+拓扑排序)
咸鱼有梦想
08-23 375
FFF at ValentineTime Limit: 6000/3000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others)Total Submission(s): 780    Accepted Submission(s): 387Problem DescriptionAt Valentine's eve, Shylock...
动态规划问题解答合集：zoj-cpp.zip_zoj
资源摘要信息:"zoj-cpp.zip_zoj是一个包含多个ZOJ平台练习题的C++解答压缩包。ZOJ即浙江大学在线评测系统，它是一个为编程爱好者和学生提供的在线编程练习与评测平台，尤其适合学习和练习算法和数据结构。该压缩包中...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值