hdu 3062 2-SAT

 

我晕死啊！又把NO写成了 N+0 我勒个去！！！！已经第N次犯这样的错误了，还屡错不改= =

 

2-SAT 看那个由对称性解2-SAT问题就好了，这题太裸 还不同TOPSORT

 

入门题吧

 

#include<stdio.h>
#include<stdlib.h>
#include<math.h>
#include<iostream>
#include<string.h>
#include<algorithm>
#include<queue>
#include<vector>
using namespace std;
#define maxn 2005
#define INF 99999999
int dfn[maxn];//搜索到的次序编号
int low[maxn];//能追溯到最早的栈中节点的次序
int sstack[maxn];//放节点的栈
bool instack[maxn];//是否在栈中
int scc[maxn];//强连通分量
int idex,cnt,top;//强连通个数
int n,m,size,head[maxn];

struct node
{
	int v;
	int next;
}edge[1000000];

void init()
{
	memset(head,-1,sizeof(head));
	memset(dfn,-1,sizeof(dfn));
	memset(instack,0,sizeof(instack));
    size=idex=cnt=0; top=-1;
}

void add(int u,int v)
{
	edge[size].v=v;
	edge[size].next=head[u];
	head[u]=size++;
}
void tarjan(int u)
{
    sstack[++top]=u;
    instack[u]=1;
    dfn[u]=low[u]=idex++;
    for(int i=head[u];i!=-1;i=edge[i].next)
    {
        int v=edge[i].v;;
        if(dfn[v]==-1)
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v])
        {
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(low[u]==dfn[u])
    {
        for(int v=-1;v!=u;top--)
        {
            v=sstack[top];
            instack[v]=0;
            scc[v]=cnt;
        }
        cnt++;
    }
}
void solve()
{
  for(int i=0;i<2*n;i++)
  {
    if(dfn[i]==-1)
    tarjan(i);
  }
}

int main()
{
    freopen("in.txt","r",stdin);
    while(scanf("%d%d",&n,&m)==2)
    {
        int i,j;
        init();
        int a1,a2,c1,c2;
        for(i=0;i<m;i++)
        {
            scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
            add((a1<<1)+c1,(a2<<1|1)-c2);
            add((a2<<1)+c2,(a1<<1|1)-c1);
        }
        solve();
        int flag=1;
        for(i=0;i<n;i++)
        {
            if(scc[i<<1]==scc[i<<1|1])
            {
              flag=0;
              break;
            }
        }
        if(flag)
        printf("YES\n");
        else
        printf("NO\n");
    }
    return 0;
}