[poj] 3678 Katu Puzzle

原题

这是一道简单的2-SAT！
其实2-SAT的题只要想明白怎么连边就很简单了啊！
这道题的连边思路还是很简单的啊～这里就不赘述了。
而对于是否存在可行解，只要判断是否在同一个强连通分量里。

#include<cstdio>
#include<stack>
#define N 1010
using namespace std;
int n,m,bel[2*N],sum,t,head[2*N],cnt=1,dfn[2*N],low[2*N];
stack <int> stk;
char s[5];
bool instk[2*N],exi[2*N];
struct hhh
{
    int to,next;
}edge[4*N*(N-1)];

int read()
{
    int ans=0,fu=1;
    char j=getchar();
    for (;(j<'0' || j>'9') && j!='-';j=getchar()) ;
    if (j=='-') j=getchar(),fu=-1;
    for (;j>='0' && j<='9';j=getchar()) ans*=10,ans+=j-'0';
    return ans*fu;
}

void add(int u,int v)
{
    edge[cnt].to=v;
    edge[cnt].next=head[u];
    head[u]=cnt++;
}

void Tarjan(int x)
{
    dfn[x]=low[x]=++t;
    stk.push(x);
    instk[x]=1;
    for (int i=head[x],v;i;i=edge[i].next)
    {
	v=edge[i].to;
	if (!dfn[v])
	{
	    Tarjan(v);
	    low[x]=min(low[x],low[v]);
	}
	else if (instk[v]) low[x]=min(low[x],dfn[v]);
    }
    if (low[x]==dfn[x])
    {
	sum++;
	int t;
	do
	{
	    t=stk.top();
	    bel[t]=sum;
	    stk.pop();
	    instk[t]=0;
	}while(t!=x);
    }
}

int main()
{
    n=read();
    m=read();
    for (int i=1,a,b,c;i<=m;i++)
    {
	a=read();
	b=read();
	exi[a]=1;
	exi[b]=1;
	c=read();
	scanf("%s",s);
	if (s[0]=='A')
	{
	    if (c==1)
	    {
		add(a,a+n);
		add(b,b+n);
//		add(a+n,b+n);
//		add(b+n,a+n);
	    }
	    else
	    {
		add(a+n,b);
		add(b+n,a);
	    }
	}
	else if (s[0]=='O')
	{
	    if (c==1)
	    {
		add(a,b+n);
		add(b,a+n);
	    }
	    else
	    {
		add(a+n,a);
		add(b+n,b);
//		add(a,b);
//		add(b,a);
	    }
	}
	else
	{
	    if (c==1)
	    {
		add(a,b+n);
		add(b,a+n);
		add(b+n,a);
		add(a+n,b);
	    }
	    else
	    {
		add(a,b);
		add(a+n,b+n);
		add(b,a);
		add(b+n,a+n);
	    }
	}
    }
    for (int i=0;i<2*n;i++)
    	if (!dfn[i]) Tarjan(i);
    for (int i=0;i<n;i++)
	if (exi[i] && bel[i]==bel[i+n])
	{
	    printf("NO");
	    return 0;
	}
    printf("YES");
    return 0;
}