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

100 7
1 101 1
2 1 2
2 2 3
2 3 3
1 1 3
2 3 1
1 5 5

Sample Output

3

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;
}