POJ 3648 Wedding(2-SAT)

题目链接：http://poj.org/problem?id=3648

 

题目大意：

  有一对新郎新娘(编号为0)举办婚礼，请了一堆夫妇，每对夫妇不能坐同一边，然后有m个奸情，可能男男 男女 女女，啥性别之间都有可能，然后有奸情的一对不能同时坐在新娘对面，求跟新娘坐同一边的可能安排

 

题目思路：

  首先说明定义，*2是男的，*2+1是女的，不+p表示是新娘这一边，+p是新郎那一边。每对夫妇不能坐同一边很简单，就是男的在这边就推出女的在那边，男的在那边女的在这边，女的在这边男的在那边，女的在那边男的在这边这四种情况。奸情的话，如果其中一个人在新娘对面，那另一个人必须在新郎这边，每个奸情就加这两条边就行。然后还有个事情，就是为了保证这一边是新娘，也就是必须选新娘，所以把新娘在那边的情况连接新娘在这边的情况，也就是新娘必须在这边。到这里，建边就结束了。
  输出任意方案有一种很巧妙的办法，如果在这边的强联通分量编号小于在那边的，那么就在这边。

 

以下是代码：

#include<iostream>
#include<cstring>
#include<queue>
#include<cstdio>
#include<stack>
using namespace std;
#define inf 0x3f3f3f3f
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define per(i,a,b) for(int i=a;i>=b;i--)
#define ll long long
const int MAXN = 1e5+5;
int x,y,n,m,dfn[MAXN],low[MAXN],vis[MAXN],ans,tot,num,belong[MAXN],a,b;
vector<int>g[MAXN];
stack<int>s;
void tarjan(int u){
    low[u]=dfn[u]=++tot;
    s.push(u);
    vis[u]=1;
    int len=g[u].size();
    rep(i,0,len-1){
        int v=g[u][i];
        if(!dfn[v])tarjan(v),low[u]=min(low[u],low[v]);
        else if(vis[v])low[u]=min(low[u],dfn[v]);
    }
    if(low[u]==dfn[u]){
        num++;
        while(1){
            int now=s.top();
            s.pop();
            belong[now]=num;
            vis[now]=0;
            if(now==u)break;
        }
    }
}
char s1,s2;
int main(){
    while(~scanf("%d%d",&n,&m)&&(n+m)){
        tot=0;
        ans=0;
        num=0;
        while(!s.empty())s.pop();
        memset(dfn,0,sizeof(dfn));
        memset(low,0,sizeof(low));
        memset(vis,0,sizeof(vis));
        memset(belong,0,sizeof(belong));
        int x,y;
        int p=2*n;
        rep(i,1,2*p)g[i].clear();
        rep(i,0,n-1){
            g[i*2].push_back(i*2+1+p);
            g[i*2+1].push_back(i*2+p);
            g[i*2+1+p].push_back(i*2);
            g[i*2+p].push_back(i*2+1);
        }
        rep(i,1,m){
            scanf("%d%c%d%c",&x,&s1,&y,&s2);
            if(s1=='h')x*=2;
            else x=x*2+1;
            if(s2=='h')y*=2;
            else y=y*2+1;
            g[x+p].push_back(y);
            g[y+p].push_back(x);
        }
        g[1+p].push_back(1);
        rep(i,0,2*p){
            if(!dfn[i]){
                tarjan(i);
            }
        }
        int flag=0;
        rep(i,0,p-1){
            if(belong[i]==belong[i+p]){
                flag=1;
                break;
            }
        }
        if(flag)puts("bad luck");
        else{
            flag=0;
            rep(i,2,p-1){
                if(belong[i]<belong[i+p]){
                    if(!flag)flag=1;
                    else printf(" ");
                    if(i&1){
                        printf("%dw",i/2);
                    }
                    else{
                        printf("%dh",i/2);
                    }
                }
            }puts("");
        }
    }
    return 0;
}