洛谷 P1955 [NOI2015]程序自动分析

目录：

---

题目：

传送门

---

分析：

首先看到这种沙雕范围：$10^9$
直接选择离散化，然后貌似就是简单直接的并查集了
我们先将相等关系的$x$，$y$进行合并，然后看不相等关系中的$x$，$y$，如果他们两个的祖先是一样的，也就是之前已经确定了他们是相等关系，那么说明冲突了，所以$I$ $keep$ $saying$ $NO!$~~

---

代码：

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>  
#include<cstdlib>
#include<algorithm>
#include<set>
#include<queue>
#include<vector>
#include<map>
#include<list>
#include<ctime>
#include<iomanip>
#include<string>
#include<bitset>
#define LL long long
#define h happy
using namespace std;
inline LL read() {
    LL d=0,f=1;char s=getchar();
    while(s<'0'||s>'9'){if(s=='-')f=-1;s=getchar();}
    while(s>='0'&&s<='9'){d=d*10+s-'0';s=getchar();}
    return d*f;
}
int min(int x,int y)
{ return x<y? x:y; }
int max(int x,int y)
{ return x>y? x:y; }
int f[1000001],l[1000001];
int a[100001],b[100001],c[100001];
int num;
int find(int i)
{
    return f[i]==i?i:f[i]=find(f[i]);
}
void hb(int x,int y)
{
    f[find(x)]=find(y);
}
int main()
{
    int t=read();
    while(t--)
    {
        memset(l,0,sizeof(l));
        num=-1;
        int tf=0;
        int n=read();
        for(int i=1;i<=n;i++) 
        {
            a[i]=read(),b[i]=read(),c[i]=read();
            l[++num]=a[i];l[++num]=b[i];
        }
        sort(l,l+num);
        int len=unique(l,l+num)-l;
        for(int i=1;i<=n;i++)
        {
            a[i]=lower_bound(l,l+len,a[i])-l;
            b[i]=lower_bound(l,l+len,b[i])-l;
        }
        for(int i=0;i<=len;i++) f[i]=i;
        for(int i=1;i<=n;i++)
            if(c[i]) hb(a[i],b[i]);
        for(int i=1;i<=n;i++)
            if(!c[i])
              if(find(a[i])==find(b[i])) {tf=1;printf("NO\n");break;}
        if(!tf) printf("YES\n");
    }
    return 0;
}