hdu3062 2-SAT模板

题意:中文题不用解释

思路:这题讲的就是2-sat,如果想知道什么事2-sat可以看看大牛的http://blog.csdn.net/pi9nc/article/details/11849843,每个结点有两种状态,u结点的一个状态与v结点的一个状态矛盾,那么就还有另外两个状态时不矛盾的,那么我们把它连边。最后强连通,如果一个结点的两个状态在一个连通图中,那么就矛盾了。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
#include<stdio.h>
#include<string.h>
const int maxn = 3000;
 
struct node
{
    int v,next;
}eg[maxn*maxn];
int head[maxn];
int dfn[maxn],low[maxn],sta[maxn],insta[maxn],belong[maxn];
int tot,color,top,Index,n;
void add(int a,int b)
{
    eg[tot].v= b;
    eg[tot].next = head[a];
    head[a] = tot++;
}
void tarjan(int u)
{
    dfn[u] = low[u] = ++Index;
    sta[top++] = u;
    insta[u] = 1;
    for(int i=head[u];i+1;i= eg[i].next)
    {
        int v= eg[i].v;
        if(!dfn[v])
        {
            tarjan(v);
            low[u] = low[u] < low[v] ? low[u] : low[v];
        }else if(insta[v])
            low[u] = low[u] < dfn[v] ? low[u] : dfn[v];
    }
    if(low[u] == dfn[u])
    {
        int v;
        color++;
        do
        {
            v= sta[--top];
            insta[v] = 0;
            belong[v] =color;
        }while(v != u);
    }
}
void init()
{
    tot = color = top = Index =0;
    memset(dfn,0,sizeof(dfn));
    memset(insta,0,sizeof(insta));
    memset(belong,0,sizeof(belong));
    memset(head,-1,sizeof(head));
}
void work()
{
    int i;
    for(i=0;i<2*n;i++)
    {
        if(!dfn[i])tarjan(i);
    }
    int flag = 0;
    for(i=0;i<n;i++)
    {
        if(belong[i*2] == belong[i*2+1])
        {
            break;
        }
    }
    if(i == n) printf("YES\n");
    else printf("NO\n");
 
}
int main()
{
    int m,a1,a2,b1,b2;
    while(~scanf("%d",&n))
    {
        init();
        scanf("%d",&m);
        while(m--)
        {
            scanf("%d%d%d%d",&a1,&a2,&b1,&b2);
        //  printf("%d %d\n",a1*2+a2,b1*2 + !b2);
        //  printf("%d %d\n",b1*2 + b2,a1*2+!a2);
            add(a1*2 + b1,a2*2 + 1 -b2);
            add(a2*2 + b2,a1*2 + 1 -b1);
        }
        work();
    }
 
    return 0;
}
/*
 
 
  2
1
0 1 1 1
 
  */

posted on   黎昊明  阅读(465)  评论(0编辑  收藏  举报

努力加载评论中...

导航

点击右上角即可分享
微信分享提示