题目
小w来到百度之星的赛场上,准备开始实现一个程序自动分析系统。
这个程序接受一些形如xi=xj 或 xi≠xj 的相等/不等约束条件作为输入,判定是否可以通过给每个 w 赋适当的值,来满足这些条件。
输入包含多组数据。
然而粗心的小w不幸地把每组数据之间的分隔符删掉了。
他只知道每组数据都是不可满足的,且若把每组数据的最后一个约束条件去掉,则该组数据是可满足的。
请帮助他恢复这些分隔符。
Input
第1行:一个数字L,表示后面输入的总行数。
之后L行,每行包含三个整数,i,j,e,描述一个相等/不等的约束条件,若e=1,则该约束条件为xi=xj ,若e=0,则该约束条件为 xi≠xj 。
i,j,L≤100000
xi,xj≤L
Output
输出共T+1行。
第一行一个整数T,表示数据组数。
接下来T行的第i行,一个整数,表示第i组数据中的约束条件个数。
Sample Input
6
2 2 1
2 2 1
1 1 1
3 1 1
1 3 1
1 3 0
Sample Output
1
6
思路
题意: 一共给出n行数据,每一行是xi,yi,e,如果e=1,说明xi=yi;如果e=0,说明xi!=yi;其中会出现自相矛盾的情况,那么说明到了一个分组了(除掉最后一个就变的合理),求一共有多少个分组~
解题思路:很容易想到用并查集来判断,如果e=1的时候,判断xi和yi的父亲结点时候相等,但是e=0的时候,仅仅判断父亲结点不同,那么然后呢?如何保证其他和xi相等的 和 其它和yi相等的 也要不相等呢?(即 a!=b,a=c,b=d,那么还要保证c!=b,c!=d,a!=d).这个时候我们用一个set集合对于每个数字存储和它不相等的数字,解题过程就变成了:
e=1,如果父亲结点相等,那么父亲结点就合并set,这个set存储这一颗关系树上的点都不相等的数字;否则,清空目前从0到最大根节点的set集合;
e=0.如果父亲结点不等,那么双方的父亲结点的set都加上彼此,这样关系树上的点一颗不会等于另一颗了;否则,清空目前set集合;
代码如下
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<climits>
#include<cctype>
#include<queue>
#include<set>
using namespace std;
typedef long long ll;
const int INF=0x3f3f3f3f;
const int mx=1e5+10;
set<int>s[mx];//set用来存不和k相等的
int fa[mx],t;//fa用来存和k相等的
vector<int>f;//