Description

在實現程序自動分析的過程中,常常需要判定一些約束條件是否能被同時滿足。

Input

輸入文件的第1行包含1個正整數t，表示需要判定的問題個數。註意這些問題之間是相互獨立的。

Output

輸出文件包括t行。

Sample Input

Sample Output

HINT

在第一個問題中，約束條件為：x1=x2,x1≠x2。這兩個約束條件互相矛盾，因此不可被同時滿足。

思路：

code

#include<stdio.h>
#include<string.h>
#include<algorithm>
using
 
 namespace std;
const int Mx=1000010;
struct node {
    int x,y;
}ok[Mx],no[Mx];
 
int n,fa[Mx],num[Mx<<1],sated[Mx];
int Find(int x) {
    return x==fa[x]?x:fa[x]=Find(fa[x]);
}
int lisa() {
    int len=0;sated[++len]=num[1];
    for(int i=2;i<=2*n;++i) {
        if(num[i]!=num[i-1]) 
            sated[++len]=num[i];
    }
    return len;
}
 
int serch(int val,int l,int r) {
    int mid=(l+r)>>1;
    if(sated[mid]==val) return mid;
    else if(sated[mid]<val) return serch(val,mid+1,r);
    else return serch(val,l,mid);
}
 
int main() 
{
    int T;
    scanf("%d",&T);
    while(T--) {
        int lok=0,lno=0;
        for(int i=1;i<=Mx;++i) fa[i]=i;
        scanf("%d",&n);
        for(int i=1;i<=n;++i) {
            int u,v,cas;
            scanf("%d%d%d",&u,&v,&cas);
            num[i]=u,num[i+n]=v;
            if(cas) ok[++lok].x=u,ok[lok].y=v;
            else no[++lno].x=u,no[lno].y=v;
        }
        sort(num+1,num+1+n+n);
        int l=lisa();
        for(int i=1;i<=lok;++i) {
            int a=ok[i].x,b=ok[i].y;
            fa[Find(serch(a,1,l))]=Find(serch(b,1,l));
        }
        bool flag=0;
        for(int i=1;i<=lno;++i) {
            int a=no[i].x,b=no[i].y;
            if(Find(serch(a,1,l))==Find(serch(b,1,l))) {
                flag=1;
                break;
            }
        }
        if(flag) printf("NO\n");
        else printf("YES\n");
        memset(ok,0,sizeof(ok));
        memset(no,0,sizeof(no));
    }
    return 0;
}

程序自動分析（BZOJ 4195）