【洛谷P2024】 [NOI2001]食物链

哈啊~ 欢迎来到本蒟蒻的第一篇博客~~~

题目描述

——————————————————————————————————————

动物王国中有三类动物 A,B,C，这三类动物的食物链构成了有趣的环形。A 吃 B，B吃 C，C 吃 A。

现有 N 个动物，以 1 － N 编号。每个动物都是 A,B,C 中的一种，但是我们并不知道

它到底是哪一种。

有人用两种说法对这 N 个动物所构成的食物链关系进行描述：

第一种说法是“1 X Y”，表示 X 和 Y 是同类。

第二种说法是“2 X Y”，表示 X 吃 Y 。

此人对 N 个动物，用上述两种说法，一句接一句地说出 K 句话，这 K 句话有的是真

的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。

• 当前的话与前面的某些真的话冲突，就是假话

• 当前的话中 X 或 Y 比 N 大，就是假话

• 当前的话表示 X 吃 X，就是假话

你的任务是根据给定的 N 和 K 句话，输出假话的总数。

输入输出格式

输入格式：

第一行两个整数，N，K，表示有 N 个动物，K 句话。

第二行开始每行一句话（按照题目要求，见样例）。

输出格式：

一行，一个整数，表示假话的总数。

输入输出样例

输入样例：
100 7
1 101 1
2 1 2
2 2 3
2 3 3
1 1 3
2 3 1
1 5 5
输出样例：
3

说明

1 ≤ N ≤ 5 ∗ 10^4

1 ≤ K ≤ 10^5

——————————————————————————————————————

咱来分析一下题目哈~

1. 数据很大，且我们需解决的是A,B,C之间的关系，不难想到用并查集。
2. 拿到题时，最简单的想法便是用一种绝对的值来代表这三种动物，但A,B,C,是本身就是相对的：“A”可以是“A”，也可以是“B”，这便使得编程难度增大，所以我们不妨用相对距离来表示。
3. 很明显，动物X与其他任意动物Y只有三种关系，同类，捕食，被捕食，故而我们不妨用0,1,2表示X与Y之间的关系：dis_xy=0：X,Y同类；dis_xy=1：X吃Y；dis_xy=2：Y吃X。
   容易发现以下两点规律：
4. dis_xy=u，则dis_yx=（3-u）%3。（对称规律）
5. dis_xy=u，dis_yz=v，则dis_xz=（u+v）%3（传递规律，路径压缩）。
6. 接下来，我们可以根据说过的话构造出一个或多个集合，每个集合中，dis_x表示X到其父亲X₀的距离，相当于集合中的每个元素向父亲连一条有向边。于是初始化为fa[i]=i，dis[i]=0。
7. 对每句话，计算出X,Y的父亲A,B，若A=B，则可判断话的真假，因为dis[X],dis[Y]为指向父亲的有向边,所以为了用上第5点，需用第4点将其中一条边变为父亲指向孩子的有向边，即dis[X,Y]=(dis[X,A]+dis[A,Y])%3=(dis[X,A]+(3-dis[Y,A])%3)%3=(3+dis[X]-dis[Y])%3；若A!=B，则合并两个集合，即fa[A]=Y，至于dis[A,Y]，根据第5点，dis[X,Y]=(dis[A]+dis[X])%3，所以dis[A]=(dis[X,Y]-dis[X]+3)%3。

附代码~

#include<bits/stdc++.h>
using namespace std;
const int maxn=5e4+10; 
int fa[maxn],dis[maxn];
inline int read(){                  //读入优化 
	char c;
	while((c=getchar())<'0'||c>'9');
	int x=c-'0';
	while((c=getchar())>='0'&&c<='9')
	  x=(x<<1)+(x<<3)+c-'0';
	return x;  
}
int find(int x){
    if(fa[x]==x) return x;
    int y=find(fa[x]);
    dis[x]=(dis[x]+dis[fa[x]])%3;  //路径压缩 
    return fa[x]=y;
}
int main()
{
    int n,m,ans=0,d,x,y;
    n=read(),m=read();
    for(int i=1;i<=n;i++) fa[i]=i;
    for(int i=1;i<=m;i++){
        d=read(),x=read(),y=read();
        if(x>n||y>n){
            ans++;
            continue;
        }
        int u=find(x),v=find(y);
        if(d==1){                 //如果同类 
            if(u==v){             //x,y在同一集合 
                if(dis[x]!=dis[y]) ans++;
            }
            else{           
                dis[v]=3-dis[y];
                fa[v]=x;          //合并
            }
        }
        else{                     //如果x吃y                         
            if(x==y) {            //x吃x 
                ans++;
                continue;
            }
            if(u==v){            //x,y在同一集合 
                if((dis[x]-dis[y]+3)%3!=2) ans++;
            }
            else{                 
                dis[v]=(4-dis[y])%3;
                fa[v]=x;         //合并
            }
        }
    }  
    cout<<ans<<endl;
    return 0;
}

.

好累啊啊啊啊啊啊~