UVA 11294 Wedding

给n对夫妇安排座位，其中0h，0w分别表示新郎，新娘。同一对新郎，新娘不能坐在同一侧，而且互为通奸关系的人不能同时坐在新娘对面。

这道题目真是掉尽节操啊，，，欧美的氛围还是比较开放的。

分析：

首先说一下应该注意的是新郎新娘也可能是会有通奸关系出现的，所以一开始必须将他们考虑进去。

为每对夫妇设立一个变量，xi，1表示妻子和新娘坐在同侧，否则表示丈夫和新郎坐在同侧。然后用mark[2*i], mark[2*i^1]被标记时表示假，真，一开始应该将mark[1]标记。

然后考虑通奸关系：

i和j同为男时，应该满足非xi∨非xj；

i和j同为女时，应该满足xi∨xj；

i和j不同性别时，例如i男，j女，应该满足非xi∨xj。

总结起来就是一对关系中：男应该满足非xi，女应该满足xi。

代码：

#include <iostream>
#include <sstream>
#include <cstdio>
#include <climits>
#include <cstring>
#include <cstdlib>
#include <string>
#include <stack>
#include <map>
#include <cmath>
#include <vector>
#include <queue>
#include <algorithm>
#define esp 1e-6
#define pi acos(-1.0)
#define pb push_back
#define mp(a, b) make_pair((a), (b))
#define in  freopen("in.txt", "r", stdin);
#define out freopen("out.txt", "w", stdout);
#define print(a) printf("%d\n",(a));
#define bug puts("********))))))");
#define stop  system("pause");
#define Rep(i, c) for(__typeof(c.end()) i = c.begin(); i != c.end(); i++)

#define inf 0x0f0f0f0f

using namespace std;
typedef long long  LL;
typedef vector<int> VI;
typedef pair<int, int> pii;
typedef vector<pii,int> VII;
typedef vector<int>:: iterator IT;
const int maxn = 100000;
struct TwoSAT
{
    int n, mark[maxn*2], S[maxn*2], c;
    VI g[maxn*2];
    bool dfs(int x)
    {
        if(mark[x^1]) return false;
        if(mark[x]) return true;
        mark[x] = 1;
        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)
    {
        this->n = n;
        for(int i = 0; i  < maxn; i++)
            g[i].clear();
        memset(mark, 0, sizeof(mark));
        mark[1] = 1;
    }
    void add(int x, int xval, int y, int yval)
    {
        x = 2*x+xval;
        y = 2*y+yval;
        g[x^1].pb(y);
        g[y^1].pb(x);
    }
    bool solve(int n)
    {
        for(int i = 0; i < 2*n; i += 2)
        {
            if(!mark[i] && !mark[i+1])
            {
                c = 0;
                if(!dfs(i))
                {
                    while(c) mark[S[--c]] = false;
                    if(!dfs(i+1)) return false;
                }
            }
        }
        return true;
    }
} sat;
int main(void)
{
    int n, m;
    while(scanf("%d%d", &n, &m), n||m)
    {
        char ch1, ch2;
        sat.init(n);
        int u, v, xval, yval;
        while(m--)
        {
            scanf("%d%c%d%c", &u, &ch1, &v, &ch2);
            xval = (ch1 == 'w') ? 1 : 0;
            yval = (ch2 == 'w') ? 1 : 0;
            sat.add(u, xval, v, yval);
        }
        if(sat.solve(n))
        {
            for(int i = 1; i < n; i++)
                printf("%d%c%c", i, sat.mark[2*i] ? 'h' : 'w', i == n-1 ? '\n' : ' ');
        }
        else puts("bad luck");
    }
    return 0;
}