Problem:
Problem D: Graph Construction

n 匹のうさぎがいて, 0 番からn − 1 番の番号がついた小屋に1 匹ずつ住んでいる.

あるとき, 秘密の組織によって地下通路の建設工事が行われる, という情報がうさぎたちのもとへ入った. 地下通路を使えば, うさぎたちは他のうさぎたちの小屋へ遊びに行けるようになって嬉しい.

通路は両方向に進むことができ, また通路同士は交わらない. 諸事情により, 一度建設された通路が破壊されてしまうこともある. 通路の建設や破壊の工事は1 本ずつ行われ, 各工事中はうさぎは自分の小屋に留まっているものとする.

うさぎたちは, 工事のいくつかの段階において, あるうさぎとあるうさぎが遊べるかどうかを事前に知りたい. うさぎたちは仲良しなので, 遊びに行くときに他のうさぎの小屋を自由に通ることができる. プログラミングが好きなうさぎたちは, 昔似たような問題を解いたので簡単だろうと思って挑戦し出したが, なかなか効率の良いプログラムが書けない. うさぎの代わりにこの問題を解け.

Input

入力の一行目にはn とk がスペース区切りで与えられる。2 ≤ n ≤ 40 000, 1 ≤ k ≤ 40 000

つづくk 行には工事情報と質問が合わせて, 時間順に与えられる.

“1 u v” — 小屋u とv を結ぶ通路が建設される. 小屋u とv を結ぶ通路がないときにのみ現れる.

“2 u v” — 小屋u とv を結ぶ通路が破壊される. 小屋u とv を結ぶ通路があるときにのみ現れる.

“3 u v” — 小屋u とv のうさぎが遊べるかどうか判定せよ.

0 ≤ u < v < n

Output

入力に現れる各質問について, 遊べるなら”YES”を, そうでないなら”NO”を1 行ずつ出力せよ.

Sample Input 1

4 10
1 0 1
1 0 2
3 1 2
2 0 1
1 2 3
3 0 1
1 0 1
2 0 2
1 1 3
3 0 2

Sample Output 1

YES
NO
YES

Solution in C++14 (judge verdict: Wrong Answer)

#include<bits/stdc++.h>
using namespace std;
  
using Graph=vector<unordered_set<int>>;
const int REFLESH_INTERVAL=200;
const int PACK=212;
  
int syst=1;
int n;
Graph g;
Graph sG;
vector<int> flag;
vector<int> label;
  
void init(){
    g.resize(n),sG.resize(n);
    flag.resize(n),label.resize(n);
}
  
bool isConnected(int x,int tar){
    if(x==tar) return true;
    if(sG[x].count(tar)) return true;
    for(auto to:sG[x]){
        if(flag[x]!=flag[to]){
            flag[to]=flag[x];
            if(isConnected(to,tar)) return true;
        }            
    }
    return false;
}
void clash(int lab){
    for(auto tol:sG[lab]){
        sG[tol].erase(lab);
    }
    sG[lab].clear();
}
void relabel(int v,int oldLabel){
    for(auto to:g[v]){
        if(label[to]==oldLabel){
            label[to]=label[v];
            relabel(to,oldLabel);
        }            
    }
}
void reSG(int v){
    for(auto to:g[v]){
        if(label[to]==label[v]){
            if(flag[to]!=flag[v]){
                flag[to]=flag[v];
                reSG(to);
            }
        }
        else{
            sG[label[v]].insert(label[to]);
            sG[label[to]].insert(label[v]);
        }
    }
}
bool reSGG(int v,int lab){
    for(auto to:g[v]){
        if(label[to]==lab) return true;
        if(flag[v]!=flag[to] && label[v]==label[to]){
            flag[to]=flag[v];
            if(reSGG(to,lab)) return true;
        } 
    }
    return false;
}
void fleshLabel(int v,int &cnt){
    for(auto to:g[v]){
        if(cnt==0) break;
        if(label[to]==-1){
            label[to]=label[v];
            if(cnt==1){
                cnt--;
                break;
            }
            else{
                cnt--;
                fleshLabel(to,cnt);
            }
        }
        else{
            if(label[to]!=label[v]){
                sG[label[v]].insert(label[to]);
                sG[label[to]].insert(label[v]);
            }
        }
          
    }
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int k;
    cin>>n>>k;
    init();
    iota(label.begin(),label.end(),0);
      
    int refleshCnt=REFLESH_INTERVAL;
    stack<int> labst;
    while(k--){
        syst++;
        int type,u,v;
        cin>>type>>u>>v;
        if(type==1){
            g[u].insert(v);
            g[v].insert(u);
            if(label[u]!=label[v]){
                sG[label[u]].insert(label[v]);
                sG[label[v]].insert(label[u]);
            }
        }
        else if(type==2){
            g[u].erase(v);
            g[v].erase(u);
            if(label[u]==label[v]){
                int ulabel=label[u];
                int newlabel=labst.top(); labst.pop();
                label[v]=newlabel;
                relabel(v,ulabel);
                if(label[u]==label[v]){
                    labst.push(ulabel);
                    clash(ulabel);
                }
                clash(label[u]);
                flag[u]=syst++;
                reSG(u);
                clash(label[v]);
                flag[v]=syst++;
                reSG(v);
            }
            else{
                sG[label[u]].erase(label[v]);
                sG[label[v]].erase(label[u]);
                flag[u]=syst++;
                if(reSGG(u,label[v])){
                    sG[label[u]].insert(label[v]);
                    sG[label[v]].insert(label[u]);
                }
            }
        }
        else{
            flag[label[u]]=syst++;
            cout<<(isConnected(label[u],label[v]) ? "YES\n" : "NO\n");
        }
  
        if(!refleshCnt){
            fill(label.begin(),label.end(),-1);
            for(int i=0;i<n;i++) sG[i].clear();
            labst=stack<int>();
            int nexLabel=0;
            for(int i=0;i<n;i++){
                if(label[i]==-1){
                    label[i]=nexLabel++;
                    int cnt=PACK-1;
                    fleshLabel(i,cnt);
                }
            }
            for(int i=nexLabel;i<n;i++) labst.push(i);
            refleshCnt=REFLESH_INTERVAL;
        }
        else{
            refleshCnt--;
        }
    }
  
    return 0;
}