并查集

1249 Problem B 谁在说谎（luo）

思路：扩展域
遇到相反的否定类的条件，用扩展域；

有n个小朋友，编号1到n，老师将他们分成两队，但分完后小朋友又乱跑了，不知道谁分在哪队，于是他求助很多小机器人，编号1到m，这些机器人会按顺序提示一些信息。
提示的信息是这样的： a b， 表示小朋友a和小朋友b不在同一队。
但是这些机器人偶尔会撒谎，老师就来请求你帮忙，看看哪个机器人最先撒谎。撒谎的规则是这样的，只要当前机器人说的信息与之前所有信息不冲突，就不算撒谎，如果冲突了，就算撒谎了。

#include<bits/stdc++.h>
using namespace std;
inline long long read(){
    long long num=0;int z=1;char c=getchar();
    if(c=='-') z=-1;
    while((c<'0'||c>'9')&&c!='-') c=getchar();
    if(c=='-') z=-1,c=getchar();
    while(c>='0'&&c<='9') num=(num<<1)+(num<<3)+(c^48),c=getchar();
    return z*num;
}
int n,m,fa[100005];
int find(int x)
{
    while(x!=fa[x])x=fa[x]=fa[fa[x]];
    return x;
}
int main(){
    n=read();m=read();
    for(int i=1;i<=n*2;i++)fa[i]=i;
    for(int i=1;i<=m;i++)
    {
        int a,b;
        a=read();b=read();
        if(find(a)==find(b))
        {
            printf("%d\n",i);return 0;
        }
        fa[find(a+n)]=find(b);fa[find(b+n)]=find(a);
    }
    printf("OK\n");
    return 0;
}

程序自动分析(prog)

总结：要找到如=可传递的条件，而$\ne$不是

在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。
考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。
例如，一个问题中的约束条件为：x1=x2，x2=x3，x3=x4，x1≠x4，这些约束条件显然是不可能同时被满足的，因此这个问题应判定为不可被满足。
现在给出一些约束满足问题，请分别对它们进行判定。

#include<bits/stdc++.h>
using namespace std;
const int N = 1000060;
inline long long read(){
    long long num=0;int z=1;char c=getchar();
    if(c=='-') z=-1;
    while((c<'0'||c>'9')&&c!='-') c=getchar();
    if(c=='-') z=-1,c=getchar();
    while(c>='0'&&c<='9') num=(num<<1)+(num<<3)+(c^48),c=getchar();
    return z*num;
}
int n, m, a[N*2], fa[N*2];
struct P {
	int i, j;
	bool e;
} p[N];

int get(int x) {
	if (x == fa[x]) return x;
	return fa[x] = get(fa[x]);
}

int find(int x) {
	return lower_bound(a + 1, a + m + 1, x) - a;
}

void work() {
	n=read();
	for (int i = 1; i <= n; i++) {
		p[i].i=read(); p[i].j=read();
		p[i].e=read();
		a[2*i-1] = p[i].i;
		a[2*i] = p[i].j;
	}
	sort(a + 1, a + 2 * n + 1);
	m = unique(a + 1, a + 2 * n + 1) - (a + 1);
	for (int i = 1; i <= m; i++) fa[i] = i;
	for (int i = 1; i <= n; i++)
		if (p[i].e) fa[get(find(p[i].i))] = get(find(p[i].j));
	for (int i = 1; i <= n; i++)
		if (!p[i].e && get(find(p[i].i)) == get(find(p[i].j))) {
			puts("NO");
			return;
		}
	puts("YES");
}

int main() {
	int t;
	t=read();
	while (t--) work();
	return 0;
}