【bzoj1823】满汉全席

  • 本文为博主原创,未经许可不得转载

不管是这一段的CF,还是今天的测试,cydiater大神都多次提到2-sat问题,为此我在今晚恶补一发

所谓2-sat,其实是一种图论模型,用于解决集合元素的双决策问题

比如这题就是一个板子

2-sat巧妙地将元素的决策问题转化为了图论模型,并以O(m)的优越复杂度解决问题,确实很妙

这里记录一下做题时犯得sb错误:

(1)读入函数写错(zz真是没救了)
(2)int类型的get()函数没有return
(3)数组开小

犯这种错误我也是醉了,还好我静态差错能力较强,否则一晚上就进去了

留一个代码作为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
#include<bits/stdc++.h>
#define FILE "read"
#define MAXN 20100
#define cmin(a,b) a=min(a,b)
#define cmax(a,b) a=max(a,b)
using namespace std;
struct node{int y,next;}e[MAXN<<1];
int n,m,top,len,bcnt,dfs_clock,Link[MAXN],vis[MAXN],st[MAXN],dfn[MAXN],low[MAXN],belong[MAXN];
inline int read(){
int x=0,f=1; char ch=getchar();
while(!isdigit(ch)) {if(ch=='-') f=-1; ch=getchar();}
while(isdigit(ch)) {x=x*10+ch-'0'; ch=getchar();}
return x*f;
}
void insert(int x,int y){e[++len].next=Link[x];Link[x]=len;e[len].y=y;}
int get(){
int x; char ch=getchar();
while(ch!='m'&&ch!='h') ch=getchar();
if(ch=='m') x=read()*2;
else x=read()*2-1;
return x;
}
void tarjan(int x){
dfn[x]=low[x]=++dfs_clock; st[++top]=x; vis[x]=1;
for(int i=Link[x];i;i=e[i].next){
if(!dfn[e[i].y]){
tarjan(e[i].y);
cmin(low[x],low[e[i].y]);
}
else if(vis[e[i].y]) cmin(low[x],dfn[e[i].y]);
}
if(dfn[x]==low[x]){
bcnt++; int y;
do{
y=st[top--];
belong[y]=bcnt;
vis[y]=0;
}while(x!=y);
}
}
void pre(){
top=bcnt=len=dfs_clock=0;
memset(Link,0,sizeof(Link));
memset(dfn,0,sizeof(dfn));
}
void solve(){
top=dfs_clock=len=bcnt=0;
n=read(); m=read();
for(int i=1;i<=2*n;i++) Link[i]=dfn[i]=0;
for(int i=1;i<=m;++i){
int x=get(),y=get(),xp,yp;
int px=(x&1?x+1:x-1),py=(y&1?y+1:y-1);
insert(x,py); insert(y,px);
}
for(int i=1;i<=n*2;++i) if(!dfn[i]) tarjan(i);
for(int i=1;i<=n*2;i+=2) if(belong[i]==belong[i+1]) {puts("BAD"); return;}
puts("GOOD");
}
int main(){
freopen(FILE".in","r",stdin);
freopen(FILE".out","w",stdout);
for(int T=read();T;--T) solve();
return 0;
}
文章目录
,