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;
}