51nod 1515 明辨是非 并查集 + set + 启发式合并

给n组操作，每组操作形式为x y p。

当p为1时，如果第x变量和第y个变量可以相等，则输出YES，并限制他们相等；否则输出NO，并忽略此次操作。

当p为0时，如果第x变量和第y个变量可以不相等，则输出YES，并限制他们不相等 ；否则输出NO，并忽略此次操作。

Input

输入一个数n表示操作的次数(n<=1*10^5)
接下来n行每行三个数x,y,p（x,y<=1*10^8,p=0 or 1）

Output

对于n行操作，分别输出n行YES或者NO

Input示例

3
1 2 1
1 3 1
2 3 0

Output示例

YES
YES
NO
 
刚开始只是用了一个并查集，维护每一个节点和其父节点的关系，相等或者不相等，
但是这样是不对的，比如a != b,c ！= b,但是这个时候a和c 的关系不能确定。
改为：
用并查集维护相等的关系，每一个并查集的父节点再维护一个set，放着所有确定了和这个
集合不相等的集合的父节点，然后合并的时候启发式合并一下。
 
代码：

   //File Name: nod1515.cpp
   //Author: long
   //Mail: 736726758@qq.com
   //Created Time: 2016年09月16日 星期五 23时01分02秒
 
 #include <stdio.h>
 #include <string.h>
 #include <algorithm>
 #include <iostream>
 #include <set>
 #include <map>
 using namespace std;
 const int MAXN =  + ;
 int fa[MAXN];
 map<int,int> rem;
 set<int> dis[MAXN];
 struct Query{
     int x,y,p;
 }que[MAXN];
 int find_fa(int x){
     if(fa[x] == x) return x;
     return fa[x] = find_fa(fa[x]);
 }
 void union_to(int x,int y){
     fa[y] = x;
     set<int>::iterator it;
     for(it=dis[y].begin();it!=dis[y].end();it++){
         int v = *it;
         dis[v].erase(y);
         dis[v].insert(x);
         dis[x].insert(v);
     }
     dis[y].clear();
 }
 void _union(int x,int y){
     if(dis[x].size() >= dis[y].size()) union_to(x,y);
     else union_to(y,x);
 }
 void solve(int n,int tot){
     for(int i=;i<=n;i++){
         que[i].x = rem[que[i].x];
         que[i].y = rem[que[i].y];
     }
     for(int i=;i<=tot;i++){
         fa[i] = i;
         dis[i].clear();
     }
     for(int i=;i<=n;i++){
         int x = que[i].x,y = que[i].y,p = que[i].p;
         int fax = find_fa(x);
         int fay = find_fa(y);
         if(fax == fay){
             if(p) puts("YES");
             else puts("NO");
         }
         else{
             if(p){
                 if(dis[fax].find(fay) != dis[fax].end()) puts("NO");
                 else{
                     puts("YES");
                     _union(fax,fay);
                 }
             }
             else{
                 puts("YES");
                 dis[fax].insert(fay);
                 dis[fay].insert(fax);
             }
         }
     }
 }
 int main(){
     int n;
     while(~scanf("%d",&n)){
         int tot = ;
         rem.clear();
         for(int i=;i<=n;i++){
             scanf("%d %d %d",&que[i].x,&que[i].y,&que[i].p);
             if(!rem[que[i].x]) rem[que[i].x] = ++tot;
             if(!rem[que[i].y]) rem[que[i].y] = ++tot;
         }
         solve(n,tot);
     }
     return ;
 }