题意:n点m条边的无向图,Q次询问 每次询问(u,v) 问u-v之间是否存在两条不相交的路径.
n,Q<=5e4,m<=3e4
若(u,v)存在两条不相交的路径,(u,v)显然在同一个环上面.
n,Q<=5e4,m<=3e4
若(u,v)存在两条不相交的路径,(u,v)显然在同一个环上面.
Tarjan找环即可.
#include <bits/stdc++.h>
using namespace std;
const int N=2e5+5;
vector<int> e[N];
int n,m,Q,u,v,fa[N];
int cnt=0,ins[N],low[N],dfn[N];
stack<int> s;
int find(int x)
{
return fa[x]==x?x:fa[x]=find(fa[x]);
}
void Union(int x,int y)
{
int fx=find(x),fy=find(y);
fa[fx]=fy;
}
void Tarjan(int u,int fa)
{
low[u]=dfn[u]=++cnt;
s.push(u),ins[u]=1;
for(int i=0;i<e[u].size();i++)
{
int v=e[u][i];
if(v==fa) continue;
if(!dfn[v])
{
Tarjan(v,u);
low[u]=min(low[u],low[v]);
}
else if(ins[v])
low[u]=min(low[u],dfn[v]);
}
if(dfn[u]==low[u])
{
while(s.top()!=u)
{
Union(u,s.top());
ins[s.top()]=0;
s.pop();
}
ins[u]=0;
s.pop();
}
}
int main()
{
ios::sync_with_stdio(false);
cin.tie(0);
cin>>n>>m;
for(int i=1;i<=n;i++)
fa[i]=i;
while(m--)
{
cin>>u>>v;
e[u].push_back(v);
e[v].push_back(u);
}
for(int i=1;i<=n;i++)
if(!dfn[i])
Tarjan(i,0);
cin>>Q;
while(Q--)
{
cin>>u>>v;
puts((find(u)==find(v))?"Yes":"No");
}
return 0;
}