poj 3905 Perfect Election

本文从WordPress迁移而来, 查看全部WordPress迁移文章

2-sat判定

题意:给出n个人,直接给出了他们之间可选可不选的关系,说的很直白,就直接按照给出的4个关系建图,进行一次2-sat判定即可,简单题

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
#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
using namespace std;
#define N 1010
#define cl memset
#define pb push_back

int n,m;
vector<int>e[2*N];
int dcnt,bcnt,top,dfn[2*N],low[2*N],stack[2*N],belong[2*N];
bool ins[2*N];

inline void add(int u,int v){
e[u].pb(v);
}

void tarjan(int u){
dfn[u] = low[u] = ++dcnt;
stack[++top] = u; ins[u] = true;
for(int i = 0; i < e[u].size(); i++){
int v = e[u][i];
if(!dfn[v]){
tarjan(v);
low[u] = min(low[u],low[v]);
}
else if(ins[v])
low[u] = min(low[u],dfn[v]);
}
if(dfn[u] == low[u]){
++bcnt;
while(true){
int x = stack[top--];
ins[x] = false;
belong[x] = bcnt;
if(x == u) break;
}
}
}

bool check(){
dcnt = bcnt = top = 0;
cl(dfn,0,sizeof(dfn));
cl(ins,false,sizeof(ins));
for(int i = 0; i < 2*n; i++)
if(!dfn[i])
tarjan(i);
for(int i = 0; i < n; i++)
if(belong[i<<1] == belong[i<<1|1])
return false;
return true;
}

int main(){
while(scanf("%d",&n)!=EOF && n!=-1){
for(int i = 0; i < 2*n; i++) e[i].clear();
scanf("%d",&m);
while(m--){
int u,v;
scanf("%d%d",&u,&v);
if(u>0 && v>0){
u--; v--;
add(u<<1|1,v<<1);
add(v<<1|1,u<<1);
}
else if(u>0 && v<0){
u--; v = -v - 1;
add(u<<1|1,v<<1|1);
add(v<<1,u<<1);
}
else if(u<0 && v>0){
v--; u = -u - 1;
add(u<<1,v<<1);
add(v<<1|1,u<<1|1);
}
else{
u = -u - 1; v = -v - 1;
add(u<<1,v<<1|1);
add(v<<1,u<<1|1);
}
}
printf("%d\n",check()?1:0);
}
return 0;
}