UVA11294 Wedding

嘟嘟嘟

大佬们都说这是2-SAT入门题，然而对于刚学2_SAT的本菜鸡来说半天才理解……

题面：新娘和新郎不能坐在同一侧，妻子和丈夫不能坐在同一侧，有**关系的两个人必须至少一个坐在新娘一侧，问方案。

对于有**关系的两个人x, y，如果x坐在新郎一侧，那么y必须坐在新娘一侧，从而得出y的妻子（丈夫）必须坐在新郎一侧。那么令x表示妻子和新郎坐在同侧，x + n表示丈夫和新郎坐在同一侧。比如一对关系(3w, 5h)那么就连这么两条边：(3, 5)和((5 + n), (3 + n))。剩下同理。

有点坑儿的地方：

1.点从0开始。

2.别忘了新娘和新郎，所以连边(1, n + 1).

3.注意格式。

4.因为有spj，所以样例不过都可能AC。

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cmath>
#include<cstring>
#include<cstdlib>
#include<cctype>
#include<stack>
#include<queue>
#include<vector>
using namespace std;
#define enter puts("")
#define space putchar(' ')
#define Mem(a, x) memset(a, x, sizeof(a))
#define rg register
typedef long long ll;
typedef double db;
const int INF = 0x3f3f3f3f;
const db eps = 1e-8;
const int maxn = 1e3 + 5;
const int maxm = 1e5 + 5;
inline ll read()
{
  ll ans = 0;
  char ch = getchar(), las = ' ';
  while(!isdigit(ch)) las = ch, ch = getchar();
  while(isdigit(ch)) ans = ans * 10 + ch - '0', ch = getchar();
  if(las == '-') ans = -ans;
  return ans;
}
inline void write(ll x)
{
  if(x < 0) putchar('-'), x = -x;
  if(x >= 10) write(x / 10);
  putchar(x % 10 + '0');
}

int n, m;
struct Edge
{
  int to, nxt;
}e[maxm << 2];
int head[maxn << 1], ecnt = 0;
void addEdge(int x, int y)
{
  e[++ecnt].to = y;
  e[ecnt].nxt = head[x];
  head[x] = ecnt;
}

stack<int> st;
bool in[maxn << 1];
int dfn[maxn << 1], low[maxn << 1], cnt = 0;
int col[maxn << 1], ccol = 0;
void tarjan(int now)
{
  dfn[now] = low[now] = ++cnt;
  st.push(now); in[now] = 1;
  for(int i = head[now]; i; i = e[i].nxt)
    {
      if(!dfn[e[i].to])
    {
      tarjan(e[i].to);
      low[now] = min(low[now], low[e[i].to]);
    }
      else if(in[e[i].to]) low[now] = min(low[now], dfn[e[i].to]);
    }
  if(dfn[now] == low[now])
    {
      int x; ++ccol;
      do
    {
      x = st.top(); st.pop();
      col[x] = ccol; in[x] = 0;
    }while(x != now);
    }
}

int num(int x)
{
  return x > n ? x - n : x + n;
}

void init()
{
  while(!st.empty()) st.pop();
  for(int i = 1; i <= (n << 1); ++i)
    head[i] = dfn[i] = low[i] = col[i] = in[i] = 0;
  ecnt = cnt = ccol = 0;
}

int main()
{
  while(scanf("%d%d", &n, &m), n > 0 || m > 0)
    {
      init();
      for(int i = 1; i <= m; ++i)
    {
      int x, y;
      char c1, c2;
      scanf("%d%c %d%c", &x, &c1, &y, &c2);
      x++; y++;
      if(c1 == 'h') x += n;
      if(c2 == 'h') y += n;
      addEdge(x, num(y));
      addEdge(y, num(x));
    }
      addEdge(1, 1 + n);
      for(int i = 1; i <= (n << 1); ++i) if(!dfn[i]) tarjan(i);
      bool flg = 1;
      for(int i = 1; i <= n && flg; ++i) if(col[i] == col[i + n]) flg = 0;
      if(!flg) {puts("bad luck"); continue;}
      for(int i = 2; i <= n; ++i) printf("%d%c%c", i - 1, col[i] > col[i + n] ? 'w' : 'h', " 
"[i == n]);
      if(n < 2) enter;
    }
  return 0;
}