题目链接:http://icpc.njust.edu.cn/Problem/Pku/1182/

题意:给出动物之间的关系,有几种询问方式,问是真话还是假话。

定义三种偏移关系:

x->y 偏移量0时 x和y同类

x->y 偏移量1时 x被y吃

x->y 偏移量2时 x吃y

定义 rela[x]=rx->x;

如x,y不在同一个集合中,

由rx->ry=rx->x + x->y + y->ry=(rx->x)+(x->y)-(ry->y)可得

rx->ry=rela[ry]=rela[x]+rela[y]+(x->y);

由于关系仅限0,1,2,三种,对上面关系加三后取模才是正确的关系;

如果x,y在同一个集合中,

x->y=x->rx+rx->x;

所以x->y=(3-rela[x]+rela[y])%3;

种类并查集的问题我们必须清楚初始状况是什么样的还有状态的转移方程是什么。

代码如下:

 #include<iostream>
#include<cstdio>
using namespace std;
#define maxn 50005
int n,k;
int fa[maxn],rela[maxn];//分别表示父亲、子节点和父节点的关系
int ans;
void init()
{
for(int i=;i<=n;i++)
{
fa[i]=i; /*relation:0、同类 1、吃2、被吃*/
rela[i]=;//初始状态下它和本身在一个集合中,关系为同类
}
ans=;
}
int find(int x)
{
if(x==fa[x])return fa[x];
else
{
int tmp=fa[x];
fa[x]=find(fa[x]); rela[x]=(rela[tmp]+rela[x])%;//更新x与x的新的根结点的关系,ppx->x=ppx->px+px->x=rela[ppx]+real[px];
return fa[x];
} //向量模式,rela为rootx->x的向量方向;为保证结果在[0,2]区间内,对3取模;
}
int main()
{
cin>>n>>k;
init();
int f,a,b;
for(int i=;i<=k;i++)
{
scanf("%d%d%d",&f,&a,&b);
if(a>n||b>n)
{
ans++;
continue;
}
if(f==&&a==b)//x吃x ,不合法,
{
ans++;
continue;
}
int px=find(a);
int py=find(b);
if(px!=py) //如果关系还未建立则建立关系 //合并的操作和查询是否正确的操作在主函数体中一起完成
{
fa[py]=px;
rela[py]=(+rela[a]+(f-)-rela[b])%;
}
else
{
if(f==&&rela[a]!=rela[b])//说是同类然而 计算得并不是,则说了假话
{
ans++;
continue;
}
if(f==&&(+rela[b]-rela[a])%!=f-)//两者之间三种状态题目中只有两种描述方式
{
ans++;
continue;
}
} } cout<<ans;
}

下面是分集合操作的代码,集合划分成三个 i是同类集合,n+i是食物集合,2*n+i表示天敌集合,三个集合是绝对不相交的。

代码如下:(因为只有吃,被吃,吃三种状态,所以检测的时候可能错误的状态就是两种)

 #include<cstdio>
#include<iostream>
using namespace std;
int fa[];
int x1,x2,x3,y1,y2,y3;
int n,k,d,x,y,ans=;
int find(int x)
{
return fa[x]==x?x:fa[x]=find(fa[x]);
}
int main()
{
scanf("%d%d",&n,&k);
for(int i=;i<=n*;i++) fa[i]=i;
for(int i=;i<=k;i++)
{
scanf("%d%d%d",&d,&x,&y);
if(x>n||y>n)
{
ans++;
continue;
}
x1=find(x); //x表示自己
x2=find(x+n); //x+n表示x的食物
x3=find(x+n*); //x+2*n表示x的天敌
y1=find(y); //y表示自己
y2=find(y+n); //y+n表示y的食物
y3=find(y+n*); //y+2*n表Y的是天敌
if(d==)
{
if(x1==y2||y1==x2) ans++;
//给出的话表明x和y是同类,但是检测发现x吃y或者y吃x,产生矛盾。
//在这次检测之中和x,y的天敌集合是没有关系的,因为天敌只是对一方的天敌
//比如说x的天敌可能是y的同类,也可能是食物,也可能是天敌,所以说,是没有定论的美不需要检测
else
{
fa[x1]=y1;//由于x和y是同类,所以他们的同类,天敌,食物都是一样的,所以需要全部合并
fa[x2]=y2;
fa[x3]=y3;
}
}
else
{
if(x1==y1||x1==y2) ans++;//给出的话中表明x吃y,但是检测发现x和y是同类或者y吃x,发生矛盾
else
{//集合的合并
fa[y1]=x2;//y的同类都是x的食物
fa[y2]=x3;//x吃y,y吃z,z吃x
fa[y3]=x1;//将x集合归入y的天敌集合
}
}
}
printf("%d",ans);
return ;
}

最新文章

  1. iosselect:一个js picker项目,在H5中实现IOS的select下拉框效果
  2. C++11之std::function和std::bind
  3. boldSystemFontOfSize 和 systemFontOfSize 的区别
  4. 关于Div的宽度与高度的100%设定
  5. error CS0016: 未能写入输出文件
  6. KTV项目总结
  7. UML用例图在实际项目中的应用
  8. .Net鼠标随动窗口
  9. [反汇编练习] 160个CrackMe之006
  10. 获得临时文件目录(Temp文件夹)
  11. hadoop错误Cannot load libsnappy.so.1 (libsnappy.so.1 cannot open shared object file No such file or directory)!
  12. Socket 学习(三).4 UDP 穿透 客户端与客户端连接
  13. java报错排解
  14. makefile编写
  15. Linux下启动,停止,重启Nginx、Mysql、PHP
  16. Shell Trap信号管理
  17. python venv actieve uninstall pack-name sitepage
  18. Mybatis学习5标签:if,where,sql,foreach
  19. 【UI测试】--多窗口&系统资源
  20. 【Struts2】自定义拦截器interceptors

热门文章

  1. 通过zxing生成二维码
  2. github 下载部分代码
  3. Hive Functions
  4. Web 通信技术 ——跨文档信息传输(JavaScript)
  5. tp5.1 请求时间格式化
  6. go微服务框架kratos学习笔记十(熔断器)
  7. YiGo环境搭建
  8. python库常用函数学习
  9. 基于Noisy Channel Model和Viterbi算法的词性标注问题
  10. 沙雕与大婶 | Mock调你的外部依赖吧