【2-SAT】POJ 3648

题意:一对新婚的夫妇邀请(n-1)对夫妇来参加自己的宴会,这对新人以及这些受邀请的夫妇都坐在长桌子的两边,新娘和新郎分别坐在桌子的两侧,新娘不希望看到她邀请来的那些夫妇之中有妻子和丈夫坐在同一边的情况(即妻子和丈夫要分作桌子的两边),在这n对夫妇中有一些男女存在着暧昧的关系,所以新娘也不希望看到有暧昧关系的人坐在她对面的那一侧.求解是否存在一种满足新娘要求的座位分配方案,如果存在的话,那么就输出这方案,否则输出"bad luck".

    新娘编号为0,新郎编号为1,即将妻子编号为2*i,丈夫编号为2*i+1,对于暧昧关系x y,加边x->y', y->x',因为需要输出和新娘坐在同一边的方案,所以这里应该以新娘为标准得到需要的解,这里由于新郎和新娘不能坐在同一边,所以加边0->1.

#define N 1004

vector<int> v[N];
vector<int> g[N];
stack<int> s;
bool vis[N];
bool inStack[N];
int low[N],dfn[N];
int belong[N];//属于哪个强连通分量
int n,m,step,t;
int conflict[N];
int col[N];
int in[N];

void init(){
    int i;
    for(i=0;i<=2*n;i++){
        v[i].clear();
        vis[i] = 0;
        inStack[i] = 0;
        in[i] = 0;
        g[i].clear();
        col[i] = 0;
    }
    while(!s.empty())s.pop();
}
void add(int a,int b){
    v[a].push_back(b);
}
//tarjan缩点
void tarjan(int u){
    vis[u]=true;
    step++;
    s.push(u);
    inStack[u]=true;
    low[u]=step,dfn[u]=step;
    int i,j;
    for(i=0;i<v[u].size();i++)
    {
        int x=v[u][i];
        if(!vis[x])
        {
            tarjan(x);
            low[u]=min(low[u],low[x]);
        }
        else
        if(inStack[x])
        low[u]=min(low[u],dfn[x]);
    }
    if(low[u]==dfn[u])
    {
        t++;
        while(1)
        {
            int x=s.top();
            s.pop();
            belong[x]=t;
            inStack[x]=false;
            if(x==u)break;
        }
    }
}
//反向建图，因为最后是自底向上拓扑，因此反向后就变成了一般的自上向下拓扑，方便实现
void rebuild(){
    int i,j;
    for(i=0;i<2*n;i++){
        for(j=0;j<v[i].size();j++){
            int a = belong[i],b = belong[v[i][j]];
            if(a!=b){
                in[a]++;
                g[b].push_back(a);
            }
        }
    }
}
void topsort(){
    int i,j;
    queue<int> qq;
    for(i=1;i<=t;i++){//现在对缩点后的图进行拓扑
        if(!in[i]){
            qq.push(i);
        }
    }
    while(!qq.empty()){
        int u = qq.front();qq.pop();
        if(!col[u]){
            col[u] = 1;//红色
            col[conflict[u]] = 2;//蓝色（因为缩点后变成有向无环图，对应的冲突点只有确定的一个）
        }
        for(i=0;i<g[u].size();i++){
            int vv = g[u][i];
            in[vv]--;
            if(!in[vv])qq.push(vv);
        }
    }
}
void solve(){
    t = 0,step = 0;
    int i,j;
    for(i=0;i<2*n;i++){
        if(!vis[i])tarjan(i);
    }
    for(i=0;i<2*n;i+=2){
        if(belong[i] == belong[i+1]){//矛盾点在同一个强连通分量
            puts("bad luck");
            return ;
        }
        int a = belong[i],b = belong[i+1];
        conflict[a] = b;
        conflict[b] = a;
    }
    rebuild();
    topsort();
    for(i=2;i<2*n;i+=2){
        if(i!=2)printf(" ");
        if(col[belong[i]] == col[belong[0]]){//如果女的与新娘同色，就取她
            printf("%dw",i/2);
        } else printf("%dh",i/2);//否则，取她的老公
    }
    puts("");
}
int main(){
    while(scanf("%d%d",&n,&m) && (n+m)){
        int i,j,ii,jj;
        init();
        char c1,c2;
        int d1,d2;
        while(m--){
            scanf("%d%c %d%c",&d1,&c1,&d2,&c2);
            if(c1 == 'h'){
                i = 2*d1+1;//man
                ii = i-1;//woman
            } else {
                i = 2*d1;//woman
                ii = i+1;//man
            }
            if(c2 == 'h'){
                j = 2*d2+1;//man
                jj = j-1;//woman
            } else {
                j = 2*d2;//woman
                jj = j+1;//man
            }
            add(i,jj);//i->j'
            add(j,ii);//j->i'
            //cout<<i<<" "<<ii<<endl;
            //cout<<j<<" "<<jj<<endl<<endl;
        }
        add(0,1);
        solve();
    }
    return 0;
}