Hdu1824 Let's go home（2-sat）

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
#define clr(x)memset(x,0,sizeof(x))
int abs(int x){if(x>0)return x;return -x;}
const int maxn=65000;
struct node{
int to;
int next;
}q[1000010];
int head[maxn];
int tot;
void add(int s,int u){
q[tot].to=u;
q[tot].next=head[s];
head[s]=tot++;
}
bool ins[maxn];
int color[maxn];
int dfn[maxn],low[maxn],stack[maxn];
int ti,sn,top;
void tarjan(int u){
dfn[u]=low[u]=++ti;
stack[++top]=u;
ins[u]=true;
int i,k;
for(i=head[u];i;i=q[i].next){
k=q[i].to;
if(dfn[k]==0){
tarjan(k);
if(low[k]<low[u])low[u]=low[k];
}
else if(ins[k]&&dfn[k]<low[u])
low[u]=dfn[k];
}
if(dfn[u]==low[u]){
sn++;
do{
k=stack[top--];
ins[k]=false;
color[k]=sn;
}while(k!=u);
}
}
void init(){
clr(low);
clr(dfn);
clr(ins);
clr(head);
tot=1;
top=-1;
sn=ti=0;
}
int n,m;
int main(){
int i,T,a,b,c;
while(scanf("%d%d",&T,&m)!=EOF){
init();
n=T*3;
for(i=0;i<T;i++){
scanf("%d%d%d",&a,&b,&c);
add(a+n,b);add(a+n,c);
add(b+n,a);add(c+n,a);
}
for(i=0;i<m;i++){
scanf("%d%d",&a,&b);
add(b,a+n);
add(a,b+n);
}
for(i=0;i<2*n;i++)
if(dfn[i]==0)tarjan(i);
int flag=0;
for(i=0;i<n;i++)
if(color[i]==color[i+n])flag=1;
if(flag)printf("no\n");
else printf("yes\n");
}
return 0;
}