题目描述
在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。
考虑一个约束满足问题的简化版本:假设 x1,x2,x3,… 代表程序中出现的变量,给定 n 个形如 xi=xj 或 xi≠xj 的变量相等/不等的约束条件,请判定是否可以分别为每一个变量赋予恰当的值,使得上述所有约束条件同时被满足。
例如,一个问题中的约束条件为:x1=x2,x2=x3,x3=x4,x1≠x4,这些约束条件显然是不可能同时被满足的,因此这个问题应判定为不可被满足。
现在给出一些约束满足问题,请分别对它们进行判定。
题解
这道题我们只需要判断是否满足所有约束条件即可,最简单的思路就是,用并查集维护相等的关系,然后再针对不等关系,判断两个数是否在一个并查集中,如果不在就满足不等关系,否则就不满足所有约束条件
棘手的地方在于数字的大小是在1e9之内,我们无法维护一个1e9的并查集,但n的范围并不大,所以我们可以考虑对每个数的下表进行离散化
顺便回顾一下离散化的三步骤
1.排序
2.去重(使用unique)
3.二分映射(使用lower_bound)
将这些值离散化后,即可按照上述思路解决此题,具体的实现过程可以参考代码
code
#include<bits/stdc++.h>
using namespace std;
const int N=1000010*2+10;
int fa[N],n,cnt;
struct node
{
int x,y,z;
}a[N];
int get(int x)
{
if(fa[x]==x) return x;
return fa[x]=get(fa[x]);
}