[UOJ#127][BZOJ4195][NOI2015]程序自动分析
试题描述
在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。
输入
输入文件的第1行包含1个正整数t，表示需要判定的问题个数。注意这些问题之间是相互独立的。
输出
输出文件包括t行。
输入示例
2 2 1 2 1 1 2 0 2 1 2 1 2 1 1
输出示例
NO
YES
数据规模及约定
1≤n≤1000000
1≤i,j≤1000000000
题解
离散化后，用个并查集，对于相等的两个变量把它们放在同一个连通块里，然后判断所有不等的条件中的两个元素是否在同一个连通块，在就输出 NO，否则输出 YES。
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cctype>
#include <algorithm>
using namespace std;
const int BufferSize = 1 << 16;
char buffer[BufferSize], *Head, *Tail;
inline char Getchar() {
if(Head == Tail) {
int l = fread(buffer, 1, BufferSize, stdin);
Tail = (Head = buffer) + l;
}
return *Head++;
}
int read() {
int x = 0, f = 1; char c = Getchar();
while(!isdigit(c)){ if(c == ‘-‘) f = -1; c = Getchar(); }
while(isdigit(c)){ x = x * 10 + c - ‘0‘; c = Getchar(); }
return x * f;
}
#define maxn 100010
int fa[maxn<<1], cnt[2], num[maxn<<1], cntn;
struct Que {
int x, y;
Que() {}
Que(int _, int __): x(_), y(__) {}
} con[2][maxn];
int findset(int x) { return x == fa[x] ? x : fa[x] = findset(fa[x]); }
int main() {
int T = read();
while(T--) {
int n = read();
cnt[0] = cnt[1] = cntn = 0;
for(int i = 1; i <= n; i++) {
int x = read(), y = read(), tp = read();
num[++cntn] = x; num[++cntn] = y;
con[tp][++cnt[tp]] = Que(x, y);
}
sort(num + 1, num + cntn + 1);
cntn = unique(num + 1, num + cntn + 1) - num - 1;
for(int i = 1; i <= cntn; i++) fa[i] = i;
for(int tp = 0; tp < 2; tp++)
for(int i = 1; i <= cnt[tp]; i++)
con[tp][i].x = lower_bound(num + 1, num + cntn + 1, con[tp][i].x) - num,
con[tp][i].y = lower_bound(num + 1, num + cntn + 1, con[tp][i].y) - num;
for(int i = 1; i <= cnt[1]; i++) {
int u = findset(con[1][i].x), v = findset(con[1][i].y);
if(u != v) fa[v] = u;
}
bool ok = 1;
for(int i = 1; i <= cnt[0]; i++) {
int u = findset(con[0][i].x), v = findset(con[0][i].y);
if(u == v){ ok = 0; break; }
}
puts(ok ? "YES" : "NO");
}
return 0;
}
[UOJ#127][BZOJ4195][NOI2015]程序自动分析
原文：http://www.cnblogs.com/xiao-ju-ruo-xjr/p/7073044.html