pku3648 2-sat

我曾经一直认为2-sat是一个非常恶心的东西，但是这次在pku上看到这题之后发现它跟连通分量有关系，最后搜了份题解发现是2-sat。额，反正是照着题解打的，然后结果。。。

这道题居然神奇的rank1了，在pku上。。。（是pascal里头）

题目大意：

  话说有一堆夫妇，参加婚宴，两个圆桌，然后某些人会伦乱（男男，男女，女女均可，此题太邪恶了），一对夫妻不能在一个桌子上，让你求出一个可行的方案。

简略题解：

  就是2-sat，先求出连通分量，然后一对夫妻不能在一个连通分量里头，如果有解就进行染色，最后就是结果。

附程序（154行）：

program pku_3648; var pre,ether,pro,other:array[0..1000] of longint; last,late,f,col,zt,zb:array[0..60] of longint; n,m,tot,sum,time:longint; s:string; {-----------------------------------} function getid(l,r:longint):longint; var i,t:longint; begin t:=0; for i:=l to r-1 do t:=t*10+ord(s[i])-48; inc(t); if s[r]='h' then t:=2*t-1 else t:=2*t; exit(t); end; {-----------------------------------} procedure grow(x,y:longint); begin inc(tot); pre[tot]:=last[x];last[x]:=tot;other[tot]:=y; end; {-----------------------------------} procedure rise(x,y:longint); begin inc(sum); pro[sum]:=late[x];late[x]:=sum;ether[sum]:=y; end; {-----------------------------------} procedure dfs(x:longint); var i:longint; begin f[x]:=1; i:=last[x]; while i<>0 do begin if f[other[i]]=0 then dfs(other[i]); i:=pre[i]; end; inc(time);zt[time]:=x; end; {-----------------------------------} procedure dfn(x:longint); var i:longint; begin f[x]:=time; i:=late[x]; while i<>0 do begin if f[ether[i]]=0 then dfn(ether[i]); i:=pro[i]; end; end; {-----------------------------------} procedure shan(x:longint); var i:longint; begin col[x]:=2; i:=late[x]; while i<>0 do begin if (col[ether[i]]=0) and (f[x]=f[ether[i]]) then shan(ether[i]); i:=pro[i]; end; end; {-----------------------------------} procedure sat(x:longint); var i:longint; begin col[x]:=1; i:=late[x]; while i<>0 do begin if (col[ether[i]]=0) and (f[x]=f[ether[i]]) then sat(ether[i]); i:=pro[i]; end; if x mod 2=1 then shan(x+1) else shan(x-1); end; {-----------------------------------} procedure init; var i,t,x,y,p,q:longint; begin fillchar(last,sizeof(last),0); fillchar(late,sizeof(late),0); sum:=0; tot:=0; for i:=1 to m do begin readln(s); x:=getid(1,pos(' ',s)-1); y:=getid(pos(' ',s)+1,length(s)); if x>y then begin t:=x;x:=y;y:=t; end; if odd(x) then p:=x+1 else p:=x-1; if odd(y) then q:=y+1 else q:=y-1; grow(x,q); rise(q,x); grow(y,p); rise(p,y); end; grow(2,1); rise(1,2); end; {-----------------------------------} procedure main; var i:longint; begin fillchar(f,sizeof(f),0); time:=0; for i:=1 to n*2 do if f[i]=0 then dfs(i); fillchar(f,sizeof(f),0); time:=0; for i:=n*2 downto 1 do if f[zt[i]]=0 then begin inc(time); zb[time]:=zt[i]; dfn(zt[i]); end; for i:=1 to n do if f[i*2-1]=f[i*2] then begin writeln('bad luck'); exit; end; fillchar(col,sizeof(col),0); for i:=time downto 1 do if col[zb[i]]=0 then sat(zb[i]); for i:=3 to n*2 do if col[i]=2 then begin write((i+1) div 2-1); if odd(i) then write('h') else write('w'); write(' '); end; writeln; end; {-----------------------------------} begin readln(n,m); while n<>0 do begin init; main; readln(n,m); end; end.

在pku让rank1很爽的