poj3678/poj3207

发表于 | 分类于

两道入门的2-sat，只要判定是否有解即可。

poj3678

题目链接
直接读入然后按照题目要求和位运算规则建图即可，不多解释。

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
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
#include<iostream>
#include<cstring>
#include<cstdio>
#include<stack>
using namespace std;
int dfn[100002],low[100002];
int tot,had[100002],nxt[4000006],point[4000006];
int blng[100002];
int t;
inline void add(int x,int y)
{
    tot++;
    point[tot]=y;
    nxt[tot]=had[x];
    had[x]=tot;
} 
bool vis[1003];
stack<int>s;
void tarjan(int x)
{
    low[x]=dfn[x]=++t;
    vis[x]=1;
    s.push(x);
    for(int i=had[x];i;i=nxt[i])
    {
        int to=point[i];
        if(!dfn[to])
        {
            tarjan(to);
            low[x]=min(low[x],low[to]);
        }
        else if(vis[to])
        {
            low[x]=min(low[x],dfn[to]);
        }
    }
    if(dfn[x]==low[x])
    {
        int y;
        while(!s.empty())
        {
            y=s.top();
            s.pop();
            vis[y]=0;
            blng[y]=x;
            if(y==x)break;
        }
    }
}
int main()
{
    int n,m;
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        int a,b,c;
        scanf("%d%d%d",&a,&b,&c);
        a++;b++;
        char ch[10];
        scanf("%s",ch);
        if(!strcmp(ch,"AND"))
        {
            if(c==0)
            {
                add(a+n,b);
                add(b+n,a);
            }
            else
            {
                add(a,a+n);
                add(b,b+n);
                add(a+n,b+n);
                add(b+n,a+n);
            }
        }
        if(!strcmp(ch,"OR"))
        {
            if(c==0)
            {
                add(a,b);
                add(b,a);
                add(a+n,a);
                add(b+n,b);
            }
            else
            {
                add(a,b+n);
                add(b,a+n);
            }
        }
        if(!strcmp(ch,"XOR"))
        {
            if(c==0)
            {
                add(a,b);
                add(b,a);
                add(a+n,b+n);
                add(b+n,a+n);
            }
            else
            {
                add(a,b+n);
                add(b+n,a);
                add(a+n,b);
                add(b,a+n);
            }
        }
    }
    for(int i=1;i<=2*n;i++)
    {
        if(!dfn[i])tarjan(i);
    }
    for(int i=1;i<=n;i++)
    {
        if(blng[i]==blng[i+n])
        {
            printf("NO");
            return 0;
        }
    }
    printf("YES");
    return 0;
}

poj3207

题目链接

在围成一个圈的点之间连边，边不能与圈交叉，即要么全在里面要么全在外面。将所有的边读进来之后，将边的编号拆点，若两条边可能交叉就对应连边建图。之后判定即可。

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
#include<iostream>
#include<cstdio>
#include<stack>
#include<cstring>
using namespace std;
const int big=1000002;
int dfn[big],low[big];
int tot,n,m;
int t;
int had[big],nxt[big],point[big];
bool vis[big];
int blng[big];
int l[big];
int r[big];
inline void add(int x,int y)
{
    tot++;
    point[tot]=y;
    nxt[tot]=had[x];
    had[x]=tot;
}
stack<int> sk;
void tarjan(int x)
{
    dfn[x]=low[x]=++t;
    vis[x]=1;
    sk.push(x);
    for(int i=had[x];i;i=nxt[i])
    {
        int to=point[i];
        if(!dfn[to])
        {
            tarjan(to);
            low[x]=min(low[x],low[to]);
        }
        else if(vis[to])low[x]=min(low[x],dfn[to]);
    }
    if(low[x]==dfn[x])
    {
        int y;
        while(!sk.empty())
        {
            y=sk.top();
            sk.pop();
            vis[y]=0;
            blng[y]=x;
            if(y==x)break;
        }
    }
}
int main()
{
    cin>>n>>m;
    for(int i=1;i<=m;i++)
    {
        int a,b;
        cin>>a>>b;
        r[i]=r[i+m]=max(a,b)+1;
        l[i]=l[i+m]=min(a,b)+1; 
    }
    for(int i=1;i<m;i++)
        for(int j=1+i;j<=m;j++)
        {
            if(r[i]>=l[j]&&r[i]<=r[j]&&l[i]<=l[j])
            {
                add(i,j+m);
                add(j,i+m);
                add(j+m,i);
                add(i+m,j);
            }
            if(r[j]>=l[i]&&r[i]<=r[j]&&l[i]<=l[j])
            {
                add(i,j+m);
                add(j,i+m);
            }
        }
    for(int i=1;i<=2*m;i++)
    {
        if(!dfn[i])tarjan(i);
    }
    bool f=1;
    for(int i=1;i<=m;i++)
    {
        if(blng[i]==blng[i+m])
        {
            f=0;
            break;
        }
    }
    if(f)cout<<"panda is telling the truth...";
    else cout<<"the evil panda is lying again";
    return 0;
}