题目传送门
分析：
题目描述的条件实际上是在要求所有点在同一个边双连通分量中
先在原图跑tarjan，缩点建树，
询问的点和加入的边的点处理之后变成边双上的点
然后建虚树，在虚树上跑tarjan就好了
不难，写起来真恶心
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<map>
#include<vector>
#define maxn 600005
#define MOD 1000000007
#define INF 0x3f3f3f3f
using namespace std;
inline long long getint()
{
long long num=0,flag=1;char c;
while((c=getchar())<'0'||c>'9')if(c=='-')flag=-1;
while(c>='0'&&c<='9')num=num*10+c-48,c=getchar();
return num*flag;
}
int n,m,q,R;
int fir[maxn],nxt[maxn],to[maxn],cnt;
int sz[maxn],tp[maxn],fa[maxn],son[maxn],dpt[maxn],pos[maxn],cur;
map<pair<int,int>,int>M;
int p[maxn],V[maxn];
int P_stk[maxn],P_Tp;
inline int rotate(int x){x=(x+R)%n;return x?x:x+n;}
inline bool cmp(int x,int y)
{return pos[x]<pos[y];}
inline void newnode(int u,int v)
{to[++cnt]=v,nxt[cnt]=fir[u],fir[u]=cnt;}
inline void dfs1(int u)
{
sz[u]=1;pos[u]=++cur;
for(int i=fir[u];i;i=nxt[i])if(to[i]!=fa[u])
{
fa[to[i]]=u,dpt[to[i]]=dpt[u]+1;
dfs1(to[i]),sz[u]+=sz[to[i]];
if(sz[to[i]]>sz[son[u]])son[u]=to[i];
}
}
inline void dfs2(int u,int ac)
{
tp[u]=ac;if(son[u])dfs2(son[u],ac);
for(int i=fir[u];i;i=nxt[i])if(to[i]!=fa[u]&&to[i]!=son[u])dfs2(to[i],to[i]);
}
inline int LCA(int u,int v)
{
for(;tp[u]!=tp[v]&&u&&v;u=fa[tp[u]])if(dpt[tp[u]]<dpt[tp[v]])swap(u,v);
if(!u||!v)return 0;
return dpt[u]<dpt[v]?u:v;
}
struct node{
vector<int>G[maxn],Id[maxn];
int dfn[maxn],low[maxn],tim,vis[maxn],sccno[maxn],scccnt;
int stk[maxn],Tp;
inline void tarjan(int u)
{
dfn[u]=low[u]=++tim;stk[++Tp]=u;
for(int i=0,v;i<G[u].size();i++)if(!vis[Id[u][i]])
{
vis[Id[u][i]]=1;
if(!dfn[v=G[u][i]])tarjan(v),low[u]=min(low[u],low[v]);
else if(!sccno[v])low[u]=min(low[u],dfn[v]);
}
if(dfn[u]==low[u])
{
scccnt++;
while(1){sccno[stk[Tp]]=scccnt;if(stk[Tp--]==u)break;}
}
}
inline void init()
{
for(int i=1;i<=m;i++)
{
int u=getint(),v=getint();
G[u].push_back(v),G[v].push_back(u);
Id[u].push_back(i),Id[v].push_back(i);
}
for(int i=1;i<=n;i++)if(!dfn[i])tarjan(i);
for(int u=1;u<=n;u++)for(int i=0;i<G[u].size();i++)if(sccno[G[u][i]]!=sccno[u])
{
int x=min(sccno[u],sccno[G[u][i]]),y=max(sccno[u],sccno[G[u][i]]);
if(!M[make_pair(x,y)])newnode(x,y),newnode(y,x),M[make_pair(x,y)]=1;
}
}
}G,H;
int main()
{
n=getint(),m=getint(),q=getint();
G.init();
for(int i=1;i<=G.scccnt;i++)if(!sz[i])dfs1(i),dfs2(i,i);
for(int t=1;t<=q;t++)
{
int N=getint(),M=getint(),K=0,tmp=0;P_Tp=0;
for(int i=1;i<=N;i++)
{
int x=G.sccno[rotate(getint())];
p[++K]=x,V[x]=1;
}
for(int i=1;i<=M;i++)
{
int x=G.sccno[rotate(getint())],y=G.sccno[rotate(getint())];
if(x==y)continue;
p[++K]=x,p[++K]=y,tmp++;
H.G[x].push_back(y),H.G[y].push_back(x);
H.Id[x].push_back(tmp),H.Id[y].push_back(tmp);
}
sort(p+1,p+K+1,cmp),K=unique(p+1,p+K+1)-p-1;
for(int i=K-1;i;i--)
{
int x=LCA(p[i],p[i+1]);
if(x)p[++K]=x;
}
sort(p+1,p+K+1,cmp),K=unique(p+1,p+K+1)-p-1;
for(int i=1;i<=K;i++)
{
while(P_Tp&&pos[P_stk[P_Tp]]+sz[P_stk[P_Tp]]<=pos[p[i]])P_Tp--;
if(P_Tp)
{
int x=P_stk[P_Tp],y=p[i];tmp++;
H.G[x].push_back(y),H.G[y].push_back(x);
H.Id[x].push_back(tmp),H.Id[y].push_back(tmp);
}
P_stk[++P_Tp]=p[i];
}
for(int i=1;i<=K;i++)if(!H.dfn[p[i]])H.tarjan(p[i]);
int pp=0;bool flg=1;
for(int i=1;i<=K;i++)if(V[p[i]])
{
if(!pp)pp=H.sccno[p[i]];
else if(pp!=H.sccno[p[i]]){flg=0;break;}
}
for(int i=1;i<=K;i++)
{
H.G[p[i]].clear(),H.Id[p[i]].clear();
H.dfn[p[i]]=H.low[p[i]]=H.sccno[p[i]]=V[p[i]]=0;
}
for(int i=1;i<=tmp;i++)H.vis[i]=0;
H.scccnt=H.tim=H.Tp=0;
R=(R+t*flg)%n;
puts(flg?"YES":"NO");
}
}
