POJ 3648 2-sat

时间:2023-03-08 17:47:34

题目大意:

有一对新人结婚,邀请n对夫妇去参加婚礼。
有一张很长的桌子,人只能坐在桌子的两边,还要满
足下面的要求:1.每对夫妇不能坐在同一侧 2.n对夫妇
之中可能有通奸关系(包括男男,男女,女女),有通
奸关系的不能同时坐在新娘的对面,可以分开坐,可以
同时坐在新娘这一侧。如果存在一种可行的方案,输出
与新娘同侧的人。 这里因为输入的是字符串,要注意的是数字可能不只是一个个位数,要

while(isdigit(s1[index1])) i = i*10+(s1[index1++]-'0');
while(isdigit(s2[index2])) j = j*10+(s2[index2++]-'0');

这里自己一直没找到原因,错了很多次

其他的就按照 2i 表示 i 号丈夫坐在新娘对面,2i+1 表示i 号妻子坐在新娘对面

初始将新郎对应的编号的标记设为true , 因为他必然坐在新娘对面

这样找下来,最后标记为false的便是坐在新娘这边的

 #include <cstdio>
#include <cstring>
#include <vector>
#include <ctype.h>
#include <algorithm>
using namespace std;
#define N 300
int n , m , S[N] , c ;
bool mark[N];
char s1[] , s2[];
vector<int> G[N]; void init()
{
memset(mark , , sizeof(mark));
for(int i= ; i<n* ; i++) G[i].clear();
} bool dfs(int u)
{
if(mark[u]) return true;
if(mark[u^]) return false;
mark[u] = true;
S[c++] = u;
for(int i= ; i<G[u].size() ; i++)
if(!dfs(G[u][i])) return false;
return true;
} bool solve()
{
mark[] = true;//一定是坐在新娘对面,所以新郎为true
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 add_clause(int i , int p , int j , int q)
{
int m = *i+p , n = *j+q;
G[m].push_back(n^);
G[n].push_back(m^);
} int main()
{
// freopen("in.txt" , "r" , stdin);
while(scanf("%d%d" , &n , &m) , n+m)
{
init();
while(m--){
scanf("%s%s" , s1 , s2);
int i , j , p , q;
i = , j = ;
int index1 = , index2 = ;
while(isdigit(s1[index1])) i = i*+(s1[index1++]-'');
while(isdigit(s2[index2])) j = j*+(s2[index2++]-'');
p = s1[index1]=='h'?: , q = s2[index2]=='h'?:;
add_clause(i , p , j ,q);
}
if(!solve()) puts("bad luck");
else{
int flag = ;
for(int i= ; i<n* ; i++){
if(!mark[i]){
if(flag) printf(" %d%c" , i/ , i&?'w':'h');
else printf("%d%c" , i/ , i&?'w':'h');
flag=;
}
}
puts("");
}
}
return ;
}