POJ 1182(食物链-另类做法【拆点】)[Template:并查集]

食物链

Time Limit: 1000MS		Memory Limit: 10000K
Total Submissions: 46039		Accepted: 13400

Description

动物王国中有三类动物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句话有的是真的，有的是假的。当一句话满足下列三条之中的一个时，这句话就是假话，否则就是真话。

1）当前的话与前面的某些真的话冲突，就是假话；

2）当前的话中X或Y比N大，就是假话；

3）当前的话表示X吃X，就是假话。

你的任务是依据给定的N（1 <= N <= 50,000）和K句话（0 <= K <= 100,000），输出假话的总数。

Input

第一行是两个整数N和K，以一个空格分隔。

下面K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，当中D表示说法的种类。

若D=1，则表示X和Y是同类。

若D=2，则表示X吃Y。

Output

仅仅有一个整数，表示假话的数目。

Sample Input

Sample Output

Source

Noi 01

i-A,i-B,I-C ：表示i在第(A,B,C)类。

同一组：表示若1个组员成立，组员全成立

则可分别维护i在A,B,C组的情况。

i,j 同类：i-A=j-A,i-B=j-B,I-C=j-C

i吃j ：i-A=j-B,i-B=j-C,I-C=j-A

推断：若i-A和j-B同类，则必有i吃j，否则无法确定（或因为其他连线不可能实现）。以此类推。

#include<cstdio>

#include<cstring>

#include<cstdlib>

#include<algorithm>

#include<functional>

#include<iostream>

#include<cmath>

#include<cctype>

#include<ctime>

using namespace std;

#define For(i,n) for(int i=1;i<=n;i++)

#define Fork(i,k,n) for(int i=k;i<=n;i++)

#define Rep(i,n) for(int i=0;i<n;i++)

#define ForD(i,n) for(int i=n;i;i--)

#define RepD(i,n) for(int i=n;i>=0;i--)

#define Forp(x) for(int p=pre[x];p;p=next[p])

#define Lson (x<<1)

#define Rson ((x<<1)+1)

#define MEM(a) memset(a,0,sizeof(a));

#define MEMI(a) memset(a,127,sizeof(a));

#define MEMi(a) memset(a,128,sizeof(a));

#define INF (2139062143)

#define F (100000007)

#define MAXN (3*50000+10)

#define MAXM (100000+10)

long long mul(long long a,long long b){return (a*b)%F;}

long long add(long long a,long long b){return (a+b)%F;}

long long sub(long long a,long long b){return (a-b+(a-b)/F*F+F)%F;}

typedef long long ll;

class bingchaji

{

public:

	int father[MAXN],n;

	void mem(int _n)

	{

		n=_n;

		For(i,n) father[i]=i;

	}

	int getfather(int x)

	{

		if (father[x]==x) return x;

		return father[x]=getfather(father[x]);

	}

	void unite(int x,int y)

	{

		father[x]=getfather(father[x]);

		father[y]=getfather(father[y]);

		father[father[x]]=father[father[y]];

	}

	bool same(int x,int y)

	{

		return getfather(x)==getfather(y);

	}

}S;

int main()

{

//	freopen("poj1182_template.in","r",stdin);

//	freopen(".out","w",stdout);

	int n,m;

	scanf("%d%d",&n,&m);

	S.mem(n*3);

	int ans=0;

	For(i,m)

	{

		int d,x,y;

		scanf("%d%d%d",&d,&x,&y);

		if (x>n||y>n||x<1||y<1) {ans++;continue;}

		if (d==1)

		{

			if (S.same(x,y+n)||S.same(x,y+2*n)) ans++;

			else

			{

				S.unite(x,y);S.unite(x+n,y+n);S.unite(x+2*n,y+2*n);

			}

		}

		else

		{

			if (S.same(x,y)||S.same(x,y+2*n)) ans++;

			else

			{

				S.unite(x,y+n);S.unite(x+n,y+2*n);S.unite(x+2*n,y);

			}

		}

	}

	cout<<ans<<endl;

	return 0;

}

巴特西

POJ 1182(食物链-另类做法【拆点】)[Template:并查集]

最新文章

热门文章