【带权并查集】模拟向量建模

理解

• 某些问题具有这样的性质：

• 问题中有若干个点，点之间存在某种关系，这种关系具有矢量的性质

• 那么可以建立数据结构：带权并查集，用来解决这类问题

• 一些文章
• 带权并查集
• 深入理解带权并查集（例题+思考）

带权并查集的一些操作

压缩路径

• 在查询时，调用find函数将弱联通的向量集的终点都连接到某个相对节点

插入向量

• 对于有意义的插入的向量，两端点肯定是非联通的。调用join函数，将两块不连通向量集合并
• 向量的平行四边形性质

查询向量

• 查询两个节点的向量关系，若同处于同一弱连通向量集，运用公式计算。
• 向量的三角性质

此外还有种类并查集，与 环 有关

带权并查集题目

HDU-3038-How Many Answers Are Wrong

• 对于某个区间，以左开点为起点，右闭点为终点，区间和为向量值，建立向量系统。

#include<iostream>
#include<cstdio>
using namespace std;
const int N=2e5+10;
int pa[N],d[N];
int n,m,l,r,s,ans;
int _find(int x)
{
	if(x==pa[x]) return x;
	
	int temp=_find(pa[x]);
	d[x]+=d[pa[x]];
	return pa[x]=temp;
}
void join()
{
	int xr=_find(l),yr=_find(r);
	if(xr==yr)//如果在一个联通向量集
	{
		if(d[l]-d[r]!=s) ans++;//判断是否存在悖论
	}else
	{
		pa[xr]=yr;//否则利用平行四边形法则进行插入操作
		d[xr]=d[r]-d[l]+s;
	}
}
int main()
{
	while(scanf("%d %d",&n,&m)!=EOF)
	{
		ans=0;
		for(int i=0;i<=n;i++) pa[i]=i,d[i]=0;//要从0开始初始化 
		while(m--)
		{
			scanf("%d %d %d",&l,&r,&s);
			l--;
			join();
		}
		cout<<ans<<endl;
	}
	return 0;
}

AcWing 240. 食物链

#include<iostream>
#include<cstdio>
#include<math.h>
using namespace std;
const int N=50010;
int pa[N],d[N];
int n,op,x,y,ans;
int _find(int k)
{
	if(k==pa[k]) return k;
	
	int temp=_find(pa[k]);
	d[k]+=d[pa[k]];
	return pa[k]=temp;
}
void join()
{
	if(op==2 && x==y || x>n || y>n) { ans++; return ;}
	int xr=_find(x),yr=_find(y);
	if(op==1)
	{
		if(xr==yr && (d[x]-d[y])%3) ans++;//如果在一个联通向量集则判断是否存在悖论
		else if(xr!=yr)
		{
			pa[xr]=yr;//不联通，则利用平行四边形法则进行插入操作
			d[xr]=d[y]-d[x];
		}
	}else
	{
		if(xr==yr && (d[x]-d[y]-1)%3) ans++;
		else if(xr!=yr)
		{
			pa[xr]=yr;
			d[xr]=d[y]-d[x]+1;
		}
	}
}
int main()
{
	int k,sum=0; scanf("%d %d",&n,&k);
	for(int i=1;i<=n;i++) pa[i]=i;
	int last;
	for(int i=1;i<=k;i++)
	{
		//last=ans;
		scanf("%d %d %d",&op,&x,&y);
		join();
		//cout<<ans-last<<endl;
	}
	cout<<ans;
	return 0;
}