Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #include <bits/stdc++.h>
- #define endl '\n'
- using namespace std;
- typedef pair<int,int> pii;
- const int maxn=1e6+10;
- int n,m,k,q;
- vector<int> e[maxn];
- int depth[maxn],top[maxn],link[maxn],able[maxn],ind[maxn],parent[maxn];
- int dfs(int now=1,int p=1,int d=0){
- depth[now]=d; parent[now]=p;
- pii maxx={0,0};
- int t,siz=1;
- for(auto &to:e[now])
- if(to!=p)
- t=dfs(to,now,d+1),siz+=t,maxx=max(maxx,pii{t,to});
- if(siz==1) link[now]=0;
- else link[now]=maxx.second;
- return siz;
- }
- void decomp(int &cnt,int now=1,int p=1,int t=1){
- ind[now]=cnt++; top[now]=t;
- if(link[now]) decomp(cnt,link[now],now,t);
- for(auto &to:e[now])
- if(to!=p&&to!=link[now])
- decomp(cnt,to,now,to);
- }
- void fill(int a,int b){
- if(a>b) swap(a,b);
- able[a]++; able[b+1]--;
- }
- void sets(int a,int b){
- while(top[a]!=top[b]){
- if(depth[top[a]]>depth[top[b]])
- fill(ind[top[a]],ind[a]),ind[parent[top[a]]],a=parent[top[a]];
- else
- fill(ind[top[b]],ind[b]),ind[parent[top[b]]],b=parent[top[b]];
- }
- if(a>b) swap(a,b);
- fill(ind[a]+1,ind[b]);
- }
- void prefix(){
- for(int i=1;i<=n;i++) able[i]+=able[i-1];
- for(int i=1;i<=n;i++) able[i]=bool(able[i]);
- for(int i=1;i<=n;i++) able[i]+=able[i-1];
- }
- bool check(int a,int b){
- // cout<<a<<'-'<<b<<' ';
- a=ind[a]; b=ind[b];
- if(a>b) swap(a,b);
- // cout<<(able[b]-able[a]==b-a)<<endl;
- return able[b]-able[a]==b-a;
- }
- int query(int a,int b){
- while(a!=b){
- // cout<<a<<' '<<b<<endl;
- if(top[a]==top[b]) return check(a,b);
- if(depth[top[a]]>depth[top[b]]){
- if(!check(a,top[a])) return 0;
- if(able[ind[top[a]]]-able[ind[top[a]]-1]==0) return 0;
- // if(!check(parent[top[a]],parent[top[a]])) return false;
- a=parent[top[a]];
- }else{
- if(!check(b,top[b])) return 0;
- if(able[ind[top[b]]]-able[ind[top[b]]-1]==0) return 0;
- // if(!check(parent[top[b]],parent[top[b]])) return false;
- b=parent[top[b]];
- }
- }
- return 1;
- }
- int main(){
- // ios_base::sync_with_stdio(false); cin.tie(0);
- int a,b;
- cin>>n>>m>>k>>q;
- for(int i=0;i<m;i++) cin>>a>>b,e[a].push_back(b),e[b].push_back(a);
- dfs();
- a=1; decomp(a);
- for(int i=0;i<k;i++) cin>>a>>b,sets(a,b);
- prefix();
- // for(int i=1;i<=n;i++) cout<<i<<' '<<able[ind[i]]-able[ind[i]-1]<<' '<<ind[i]<<' '<<link[i]<<' '<<depth[i]<<' '<<top[i]<<endl;
- for(int i=0;i<q;i++) cin>>a>>b,cout<<query(a,b)<<endl;
- return 0;
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement