并查集——程序自动分析

程序自动分析

解:先离散化,将变量映射到哈希表中,用idx来分配下标。枚举所有约束条件,将所有相等的元素维护到同一集合中,不等的元素先保存下来离线处理。枚举完毕后,查询所有不等的约束条件,如果不等的两个元素位于同一集合中,说明矛盾,输出NO。否则输出YES。

#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,n) for(int i = a;i<n;i++)
#define per(i,a,n) for(int i = n-1;i>=a;i--)
#define pb push_back
#define mp make_pair
#define eb emplace_back
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define SZ(x) ((int)(x).size())
#define yes cout<<"YES"<<'\n';
#define no cout<<"NO"<<'\n';
#define endl '\n';
typedef vector<int> VI;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> PII;
typedef double db;
mt19937 mrand(random_device{}());
const ll MOD=1000000007;
int rnd(int x) {return mrand() % x;}
ll gcd(ll a,ll b){return b?gcd(b,a%b):a;};
ll lcm(int a,int b){return a*b/gcd(a,b);};

const int N=200010;
int n;
int p[N];
unordered_map<int,int> up;
int idx;
vector<PII> q;

int findd(int x){
	return p[x]==x?x:p[x]=findd(p[x]);
}

void unionn(int x,int y){
	x=findd(x),y=findd(y);
	if(x==y) return;
	p[x]=y;
}

void solve(){
	rep(i,0,N) p[i]=i;
	cin>>n;
	idx=0;
	up.clear();
	q.resize(0);
	rep(i,0,n){
		int a,b,c;
		cin>>a>>b>>c;
		if(up[a]==0) up[a]=++idx;
		if(up[b]==0) up[b]=++idx;
		if(c==1){
			unionn(up[a],up[b]);
		}else{
			q.pb({up[a],up[b]});
		}
	}
	bool ok=1;
	for(auto p:q){
		int a=findd(p.fi),b=findd(p.se);
		if(a==b) ok=0;
	}
	puts(ok?"YES":"NO");
}

int main(){
	ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
	int T;
	cin>>T;
	while(T--) solve();	
	return 0;
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值