给出一个无向图G的顶点V和边E。进行Q次查询,查询从G的某个顶点V[s]到另一个顶点V[t],是否存在2条不相交的路径。(两条路径不经过相同的边)
(注,无向图中不存在重边,也就是说确定起点和终点,他们之间最多只有1条路)
Input
第1行:2个数M N,中间用空格分开,M是顶点的数量,N是边的数量。(2 <= M <= 25000, 1 <= N <= 50000)
第2 - N + 1行,每行2个数,中间用空格分隔,分别是N条边的起点和终点的编号。例如2 4表示起点为2,终点为4,由于是无向图,所以从4到2也是可行的路径。
第N + 2行,一个数Q,表示后面将进行Q次查询。(1 <= Q <= 50000)
第N + 3 - N + 2 + Q行,每行2个数s, t,中间用空格分隔,表示查询的起点和终点。
Output
共Q行,如果从s到t存在2条不相交的路径则输出Yes,否则输出No。
Input示例
4 4
1 2
2 3
1 3
1 4
5
1 2
2 3
3 1
2 4
1 4
Output示例
Yes
Yes
Yes
No
No
分析:边双连通分量。
边的双连通分量模板和有向图强连通模板 就差了 2个地方 一个 dfs(x,fa) 然后再加一个是否在栈中的 标记数组。 毕竟边双连通分量 可以类比强连通。
#include<iostream>
#include<stdio.h>
#include<stack>
#include<string.h>
#include<algorithm>
#include<vector>
const int maxn = 50000;
const int inf = 1e9;
typedef long long ll;
using namespace std;
int n,m;
vector<int>G[maxn+5];
int pre[maxn+5],lowlink[maxn+5],sccno[maxn+5],dfs_clock,scc_cnt,inq[maxn+5];
stack<int>S;
void dfs(int u,int fa)
{
pre[u] = lowlink[u] = ++dfs_clock;
S.push(u);
inq[u] = 1;
for(int i=0,l=G[u].size();i<l;i++)
{
int v = G[u][i];
if(!pre[v])
{
dfs(v,u);
lowlink[u] = min(lowlink[u],lowlink[v]);
}else{
if(inq[v]&&v!=fa) lowlink[u]=min(lowlink[u],pre[v]);
}
}
if(lowlink[u] == pre[u])
{
scc_cnt++;
for(;;)
{
int x = S.top();S.pop();
sccno[x] = scc_cnt;
if(x==u) break;
}
}
}
void find_scc(int n)
{
dfs_clock = scc_cnt = 0;
memset(sccno,0,sizeof(sccno));
memset(pre,0,sizeof(pre));
memset(inq,0,sizeof(inq));
for(int i=0;i<n;i++) if(!pre[i]) dfs(i,-1);
}
int main()
{
while(~scanf("%d %d",&n,&m))
{
for(int i=1; i<=n; i++) G[i].clear();
for(int i=1; i<=m; i++)
{
int x,y;
scanf("%d %d",&x,&y);
G[x].push_back(y), G[y].push_back(x);
}
find_scc(n);
int sk;
scanf("%d",&sk);
while(sk--)
{
int x,y;
scanf("%d %d",&x,&y);
if(sccno[x]==sccno[y]) printf("Yes\n");
else printf("No\n");
}
}
return 0;
}