Time Limit: 1000MS |
| Memory Limit: 65536K |
Total Submissions: 9200 |
| Accepted: 3422 |
Description
Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a boolean operator op (one of AND, OR, XOR) and an integer c (0 ≤ c ≤ 1). One Katu is solvable if one can find each vertex Vi a value Xi (0 ≤ Xi ≤ 1) such that for each edge e(a, b) labeled by op and c, the following formula holds:
Xa op Xb = c
The calculating rules are:
|
|
|
Given a Katu Puzzle, your task is to determine whether it is solvable.
Input
The first line contains two integers N (1 ≤ N ≤ 1000) and M,(0 ≤ M ≤ 1,000,000) indicating the number of vertices and edges.
The following M lines contain three integers a (0 ≤ a < N), b(0 ≤ b < N), c and an operator op each, describing the edges.
Output
Output a line containing "YES" or "NO".
Sample Input
4 4
0 1 1 AND
1 2 1 OR
3 2 0 AND
3 0 0 XOR
Sample Output
YES
Hint
X0 = 1, X1 = 1, X2 = 0, X3 = 1.
Source
POJ Founder Monthly Contest – 2008.07.27, Dagger
题目大意:有n个点,m条有向边,然后呢,对于每个边的输入有四个元素,a,b,c,d,表示从a到b有一条有向边,对于组成的图,我们给每个点都赋予一个值(0/1),问是否能有一个赋值方案能够满足对于每条边的操作a opd b==c。
思路:
1、拆点。对于每个点,要么取值为1,要么取值为0,那么一个点就可以看成两个点,两个点组成一块,就是一个党派即a(1),!a(0)。
2、建边。
①与运算&:同1为1,其余为0
②或运算|:有1为1,其余为0
③亦或运算^:不同为1,相同为0
对于每两个点之间有一个操作,和一个操作结果值。我们对矛盾情况进行枚举,我们拿与运算来举个例子:
①c==1:对应矛盾情况就是不让c=1,那么就是让c=0,对于a--->b 其中矛盾边为:a---->!b !a------->b !a-------->!b
②c==0:对应矛盾情况就是不让c=0,那么就是让c=0,对于a----->b 其中矛盾边为:a------->b
那么这个问题我们就转化到了入门2-SAT的题目问题:
给出n个党派,每个党派两个人,每个党派之间都有矛盾关系,判断是否能选出n个人使其中每个人都没有矛盾。
我们的问题是给出n个点,每个点都拆分出两个点,每个点之间都有矛盾关系,判断是否能够赋值给n个点,使其中每个点都能符合其边权值。
3、Tarjan求强连通,缩点染色,如果a和!a出现在同一个强连通分量就输出NO,否则输出YES
ac代码:
/*
add(x+n,y);
add(y+n,x);//0 0
add(x,y+n);
add(y,x+n);//1 1
add(x,y);
add(y+n,x+n);//1 0
add(x+n,y+n);
add(y,x);//0 1
*/
#include<stdio.h>
#include<string.h>
#include<queue>
using namespace std;
int head[100000];
struct EdgeNode
{
int to;
int w;
int next;
}e[6000000];
int vis[100000];
int low[100000];
int dfn[100000];
int color[100000];
int stack[1000000];
int n,m,cont,sig,cnt,tt;
void init()
{
cont=0;
tt=-1;
sig=0;
cnt=1;
memset(stack,0,sizeof(stack));
memset(color,0,sizeof(color));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(head,-1,sizeof(head));
memset(vis,0,sizeof(vis));
}
void add(int from,int to)
{
e[cont].to=to;
e[cont].next=head[from];
head[from]=cont++;
}
void Tarjan(int u)
{
vis[u]=1;
dfn[u]=low[u]=cnt++;
stack[++tt]=u;
for(int i=head[u];i!=-1;i=e[i].next)
{
int v=e[i].to;
if(vis[v]==0)Tarjan(v);
if(vis[v]==1)low[u]=min(low[u],low[v]);
}
if(dfn[u]==low[u])
{
sig++;
do
{
color[stack[tt]]=sig;
vis[stack[tt]]=-1;
}
while(stack[tt--]!=u);
}
}
void Slove()
{
for(int i=0;i<n*2;i++)
{
if(vis[i]==0)
{
Tarjan(i);
}
}
int flag=0;
for(int i=0;i<2*n;i+=2)
{
if(color[i]==color[i+n])
flag=1;
}
if(flag==1)printf("NO\n");
else printf("YES\n");
}
int main()
{
scanf("%d%d",&n,&m);
init();
for(int i=0;i<m;i++)
{
int x,y,c;
scanf("%d%d%d",&x,&y,&c);
char s[10];
scanf("%s",&s);
if(strcmp(s,"AND")==0)
{
if(c==1)
{
add(x,y);
add(y+n,x+n);//1 0
add(x+n,y+n);
add(y,x);//0 1
add(x+n,y);
add(y+n,x);//0 0
}
if(c==0)
{
add(x,y+n);
add(y,x+n);//1 1
}
}
if(strcmp(s,"OR")==0)
{
if(c==1)
{
add(x+n,y);
add(y+n,x);//0 0
}
if(c==0)
{
add(x,y+n);
add(y,x+n);//1 1
add(x,y);
add(y+n,x+n);//1 0
add(x+n,y+n);
add(y,x);//0 1
}
}
if(strcmp(s,"XOR")==0)
{
if(c==0)
{
add(x,y);
add(y+n,x+n);//1 0
add(x+n,y+n);
add(y,x);//0 1
}
if(c==1)
{
add(x+n,y);
add(y+n,x);//0 0
add(x,y+n);
add(y,x+n);//1 1
}
}
}
Slove();
}