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-;
 const int maxn = 1e3 + ;
 const int maxm = 1e5 + ;
 inline ll read()
 {
   ll ans = ;
   char ch = getchar(), las = ' ';
   while(!isdigit(ch)) las = ch, ch = getchar();
   while(isdigit(ch)) ans = ans *  + ch - '', ch = getchar();
   if(las == '-') ans = -ans;
   return ans;
 }
 inline void write(ll x)
 {
   if(x < ) putchar('-'), x = -x;
   if(x >= ) write(x / );
   putchar(x %  + '');
 }

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

 stack<int> st;
 bool in[maxn << ];
 int dfn[maxn << ], low[maxn << ], cnt = ;
 int col[maxn << ], ccol = ;
 void tarjan(int now)
 {
   dfn[now] = low[now] = ++cnt;
   st.push(now); in[now] = ;
   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] = ;
     }while(x != now);
     }
 }

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

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

 int main()
 {
   while(scanf("%d%d", &n, &m), n >  || m > )
     {
       init();
       for(int i = ; 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(,  + n);
       for(int i = ; i <= (n << ); ++i) if(!dfn[i]) tarjan(i);
       bool flg = ;
       for(int i = ; i <= n && flg; ++i) if(col[i] == col[i + n]) flg = ;
       if(!flg) {puts("bad luck"); continue;}
       for(int i = ; i <= n; ++i) printf("%d%c%c", i - , col[i] > col[i + n] ? 'w' : 'h', " \n"[i == n]);
       if(n < ) enter;
     }
   return ;
 }