hdu 1824

也是一道2-sat的入门题；

不过题目描述的不清楚，看了别人的题解才知道题意；

和上面的那题差不多，一个模板；

代码：

 #include<cstdio>
 #include<stack>
 #include<vector>
 #include<algorithm>
 #include<cstring>
 #define maxn 20010
 using namespace std;
 
 vector<int>ve[maxn];
 stack<int>s;
 int low[maxn],dfn[maxn],b[maxn],nncount,cnt;
 bool instack[maxn];
 
 void tarjin(int u)
 {
     low[u]=dfn[u]=++nncount;
     s.push(u);
     instack[u]=;
     int l=ve[u].size();
     for(int i=;i<l;i++)
     {
         int v=ve[u][i];
         if(!dfn[v])
         {
             tarjin(v);
             low[u]=min(low[u],low[v]);
         }
         else if(instack[v])
             low[u]=min(low[u],dfn[v]);
     }
     if(low[u]==dfn[u])
     {
         cnt++;
         int v;
         do
         {
             v=s.top();
             s.pop();
             b[v]=cnt;
             instack[v]=;
         }while(v!=u);
     }
 }
 
 int main()
 {
     int n,m,x,y,z,t;
     while(scanf("%d%d",&t,&m)!=EOF)
     {
         n=*t;
         for(int i=;i<*n;i++)
             ve[i].clear();
         memset(low,,sizeof low);
         memset(dfn,,sizeof dfn);
         memset(b,,sizeof b);
         nncount=cnt=;
         for(int i=;i<t;i++)
         {
             scanf("%d%d%d",&x,&y,&z);
             ve[x+n].push_back(y);
             ve[x+n].push_back(z);
             ve[y+n].push_back(x);
             ve[z+n].push_back(x);
         }
         for(int i=;i<m;i++)
         {
             scanf("%d%d",&x,&y);
             ve[x].push_back(y+n);
             ve[y].push_back(x+n);
         }
         bool flag=;
         for(int i=;i<*n;i++)
             if(!dfn[i]) tarjin(i);
         for(int i=;i<n;i++)
             if(b[i]==b[i+n]) {flag=;break;}
         if(flag) puts("no");
         else puts("yes");
     }
     return ;
 }