UVa 11294 - Wedding（2-SAT）

想了好長時間，繞死我了

可以把每對夫婦看做一個點，w和h則表示他們所在的位置

可以假定w0和h0的位置（因爲相反的位置效果一樣），然後建圖

建圖的時候，由於這一條件——當一對吵架者中的一個人出現在新娘的對面時，另一個必須在新娘的同側，連邊即可。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
using namespace std;
#define maxn 70

vector<int> G[maxn*2];
bool mark[maxn*2];
int S[maxn*2],c;

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

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

void add_clause(int x,int xval,int y,int yval)
{
    x=x*2+xval;
    y=y*2+yval;
    G[x^1].push_back(y);
    G[y^1].push_back(x);
}

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

char a,b;
int m,n,x,y,u,v;
int main()
{
    while(scanf("%d%d",&n,&m)==2)
    {
        if(!n&&!m)break;
        init(n);
        for(int i=0; i<m; i++)
        {
            scanf("%d%c %d%c",&x,&a,&y,&b);
            u=(a=='h')?0:1;
            v=(b=='h')?0:1;
            add_clause(x,u,y,v);
        }
        G[0].push_back(1);
        if(!solve(n))printf("bad luck");
        else
        {
            for (int i=2; i<2*n; i+=2)
            {
                if(i!=2) printf(" ");
                if(mark[i]==mark[0]) printf("%dw",i/2);
                else printf("%dh",i/2);
            }
        }
        printf("\n");
    }
    return 0;
}