【usaco-Liars and Truth Tellers, 2013 Jan真假奶牛】并查集

题解：

原先我看错题了，以为是任意选择k个使得它们不矛盾。

这样的话怎么做呢？我想M^2判断，把它们分成若干个集合，集合里面两两不矛盾这个集合里所有的话就不矛盾了。

但是这样是错的。为什么呢？

每一句话实质上都是说明了某两个点同真假或者不同真假。并非两两不矛盾它们就不矛盾，可能是合起来才矛盾。

后来发现题目说的是前k个。。

那么我们就可以像上图一样连边，用并查集判断，如果一个点为真或为假时它的祖先相同，则矛盾了。

代码：

 #include<cstdio>
 #include<cstdlib>
 #include<cstring>
 #include<iostream>
 #include<algorithm>
 #include<queue>
 #include<cmath>
 #include<set>
 using namespace std;

 const int N=*,M=;
 int n,m,fa[N];
 char s[];

 int findfa(int x)
 {
     if(fa[x]==x) return x;
     return findfa(fa[x]);
 }

 int main()
 {
     // freopen("a.in","r",stdin);
     freopen("truth.in","r",stdin);
     freopen("truth.out","w",stdout);
     scanf("%d%d",&n,&m);
     for(int i=;i<=*n;i++) fa[i]=i;
     int x,y,k=,bk=;
     for(int i=;i<=m;i++)
     {
         scanf("%d%d",&x,&y);
         scanf("%s",s);
         if(s[]=='L')
         {
             fa[findfa(x)]=findfa(n+y);
             fa[findfa(n+x)]=findfa(y);
         }
         else
         {
             fa[findfa(x)]=findfa(y);
             fa[findfa(n+x)]=findfa(n+y);
         }
         if(findfa(y)==findfa(n+y)) bk=;
         if(bk) k++;
     }
     printf("%d\n",k);
     return ;
 }