题意
给出一个无向图，每次问两点x, y，要求是否有n排列，使第一个元素是x，最后一个元素为y，任何前缀，任何后缀都是连接的。
如果图不连通，我们将对其进行点双缩点 或者某一点属于 三个连通重量 或者某个连通分量的里的点链接了三个连通重量 显然不可能用手玩 只有缩点后才能在链的两端
#include <bits/stdc .h> using namespace std; #define int long long //typedef long long ll; typedef pair<int,int> pii; #define x first #define y second #define pb push_back #define inf 1e18 #define IOS std::ios::sync_with_stdio(false);cin.tie(0);cout.tie(0); #define fer(i,a,b) for(int i=a;i<=b;i ) #define der(i,a,b) for(int i=a;i>=b;i--)
const int maxn=1e5+10;
const int mod=1e9+7;
int qmi(int a,int b) {
int res=1;
while(b) {
if(b&1) res=res*a%mod;
a=a*a%mod;
b>>=1;
}
return res;
}
const int N=2e5+10;
int dr[4][2]= {
{
-1,0},{
1,0},{
0,-1},{
0,1}};
int n,k;
vector<int>g[N];
vector<int>cc[N];
vector<int>bel[N];
int p[N];
int m;
int idx,cnt,low[N],dfn[N],cut[N];
int sum;
stack<int>s;
void dfs(int u,int fa) {
low[u]=dfn[u]=++idx;
s.push(u);
int ch=0;
for(auto v:g[u]) {
if(!dfn[v]) {
ch++;
dfs(v,u);
low[u]=min(low[u],low[v]);
if(low[v]>=dfn[u]) {
++cnt;
bel[u].push_back(cnt);
cc[cnt].push_back(u);
while(1) {
int w=s.top();
s.pop();
bel[w].push_back(cnt);
cc[cnt].push_back(w);
if(w==v)break;
}
}
} else if(v!=fa)low[u]=min(low[u],dfn[v]);
}
if(ch<=1&&u==1)cut[u]=0;
}
void printyes() {
while(k--)puts("YES");
}
void printno() {
while(k--)puts("NO");
}
void solve() {
cin>>n>>m;
fer(i,1,m) {
int a,b;
cin>>a>>b;
g[a].push_back(b);
g[b].push_back(a);
}
cin>>k;
if(n<=2) {
printyes();
return ;
}
dfs(1,0);
fer(i,1,n) {
if(!dfn[i]||bel[i].size()>2) {
printno();
return ;
}
}
if(cnt==1) {
printyes();
return ;
}
int tt=0;
fer(i,1,cnt) {
sum=0;
for(auto v:cc[i])sum+=bel[v].size()-1;
if(sum>2) {
printno();
return ;
}
if(sum!=1)continue;
tt++;
for(auto v:cc[i]) {
if(bel[v].size()==1)p[v]=tt;
}
}
while(k--) {
int l,r;
cin>>l>>r;
if(p[l]+p[r]==3)puts("YES");
else puts("NO");
}
}
signed main() {
IOS;
int _=1;
//cin>>_;
while(_--) solve();
return 0;
}