hdu 3715

一个很简单的2-sat的题；

不过比较难想到；

其实也不是很难，可能接触的少了吧！

 #include<cstdio>
 #include<vector>
 #define maxn 10009
 using namespace std;

 struct twosat
 {
     int n;
     vector<int>g[maxn*];
     bool mark[maxn*];
     int s[maxn*],c;

     bool dfs(int x)
     {
         if(mark[x^])return ;
         if(mark[x])return ;
         mark[x]=;
         s[c++]=x;
         for(int i=; i<g[x].size(); i++)
             if(!dfs(g[x][i]))return ;
         return ;
     }
     void init(int n)
     {
         this->n=n;
         for(int i=; i<*n; i++)g[i].clear();
         memset(mark,,sizeof mark);
     }
     void add_clase(int x,int y)
     {
         g[x].push_back(y);
     }
     bool solve(int mid)
     {
         for(int i=; i<mid*; i+=)
             if(!mark[i]&&!mark[i+])
             {
                 c=;
                 if(!dfs(i))
                 {
                     while(c>)mark[s[--c]]=;
                     if(!dfs(i+))return ;
                 }
             }
         return ;
     }
 } getans;
 int a[maxn],b[maxn],c[maxn];
 int main()
 {
     int n,m,t;
     scanf("%d",&t);
     while(t--)
     {
         scanf("%d%d",&n,&m);
         for(int i=; i<m; i++)
             scanf("%d%d%d",&a[i],&b[i],&c[i]);
         int l=,r=m;
         int ans=;
         while(l<=r)
         {
             int mid=(l+r)/;
             getans.init(n<<);
             for(int i=;i<mid;i++)
             {
                 if(c[i]==)
                 {
                     getans.add_clase(a[i]<<,b[i]<<|);
                     getans.add_clase(b[i]<<,a[i]<<|);
                 }
                 else if(c[i]==)
                 {
                     getans.add_clase(a[i]<<|,b[i]<<|);
                     getans.add_clase(a[i]<<,b[i]<<);
                     getans.add_clase(b[i]<<|,a[i]<<|);
                     getans.add_clase(b[i]<<,a[i]<<);
                 }
                 else if(c[i]==)
                 {
                     getans.add_clase(a[i]<<|,b[i]<<);
                     getans.add_clase(b[i]<<|,a[i]<<);
                 }
             }
             if(!getans.solve(mid))r=mid-;
             else {ans=mid;l=mid+;}
         }
         printf("%d\n",ans);
     }
     return ;
 }