POJ 3648 Wedding

2-SAT，直接选择新娘一侧的比较难做，所以处理的时候选择新郎一侧的，最后反着输出就可以。

A和B通奸的话，就建边 A->B'以及B->A’，表示 A在新郎一侧的话，B一定不在；B在新郎一侧的话，A一定不在。

然后再把新郎的mark标记为1，表示新郎一定选择。

#include<cstdio>
#include<cstring>
#include<cmath>
#include<vector>
#include<algorithm>
using namespace std;

const int maxn=+;
int N,m;
char s1[],s2[];

struct TwoSAT
{
    int n;
    vector<int> G[maxn*];
    bool mark[maxn*];
    int S[maxn*],c;

    bool dfs(int x)
    {
        if(mark[x^]) return false;
        if(mark[x]) return true;
        mark[x]=true;
        S[c++]=x;
        for(int i=;i<G[x].size();i++)
            if(!dfs(G[x][i])) return false;
        return true;
    }

    void init(int n)
    {
        this->n=n;
        for(int i=;i<n*;i++) G[i].clear();
        memset(mark,,sizeof mark);
    }

    void add_clause(int x,int y)
    {
        G[x].push_back(y^);
        G[y].push_back(x^);
    }

    bool solve()
    {
        for(int i=;i<*n;i+=)
            if(!mark[i]&&!mark[i+])
            {
                c=;
                if(!dfs(i))
                {
                    while(c>) mark[S[--c]]=false;
                    if(!dfs(i+)) return false;
                }
            }
        return true;
    }

    //输出字典序最小的解
    void Printf()
    {
        for(int i=;i<n;i++)
        {

            if(mark[*i]) printf("%dw",i);
            else printf("%dh",i);

            if(i<n-) printf(" ");
            else printf("\n");
        }
    }
};

int main()
{
    TwoSAT T;
    while(~scanf("%d%d",&N,&m))
    {
        if(N==&&m==) break;
        T.n=N; T.init(T.n);
        for(int i=;i<m;i++)
        {
            int a=,b=;
            scanf("%s%s",s1,s2);

            for(int j=;j<strlen(s1)-;j++)
                a=a*+s1[j]-'';
            for(int j=;j<strlen(s2)-;j++)
                b=b*+s2[j]-'';

            if(s1[strlen(s1)-]=='h') a=a*;
            else a=a*+;

            if(s2[strlen(s2)-]=='h') b=b*;
            else b=b*+;

            T.add_clause(a,b);
        }
        T.mark[]=;
        if(T.solve()) T.Printf();
        else printf("bad luck\n");
    }
    return ;
}