hdu-1814(2-sat)

题意:给你n个组,m条规则,每组有俩个人,这两个人不能同时出现,然后m条规则代表着有两个人,这两个人也不能同时出现,问你是否存在每组都能出现一人的选择方案

解题思路:因为这个需要字典序输出,所以只能用暴力的方法解决,如果x,y在同一条规则里面,那么建立一条边由x指向和y同一组的另一个人,y也这样做,然后开始暴力dfs

代码:

#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdio>
#include<queue>
#include<vector>
#define oth(x) (x%2==0?x-1:x+1)
using namespace std;
const int maxn=20050;
int n,m,cnt;
bool mark[maxn];
vector<int>e[maxn];
int ans[maxn];
bool dfs(int x)
{
if(mark[oth(x)])
return false;
if(mark[x])
return true;
mark[x]=true;
ans[++cnt]=x;
for(int i=0;i<e[x].size();i++)
if(!dfs(e[x][i]))
return false;
return true;
}
bool twosat()
{
memset(mark,0,sizeof(mark));
for(int i=1;i<=n;i+=2)
{
if(!mark[i]&&!mark[oth(i)])
{
cnt=0;
if(!dfs(i))
{
for(int j=1;j<=cnt;j++)
mark[ans[j]]=mark[oth(ans[j])]=0;
if(!dfs(oth(i)))
return false;
}
}
}
return true;
}
int main()
{
int x,y;
while(scanf("%d%d",&n,&m)!=EOF)
{
n=n*2;
for(int i=0;i<=n;i++)
e[i].clear();
for(int i=1;i<=m;i++)
{
cin>>x>>y;
e[x].push_back(oth(y));
e[y].push_back(oth(x));
}
if(twosat())
{
for(int i=1;i<=n;i+=2)
{
if(mark[i])
printf("%d\n",i);
else
printf("%d\n",i+1);
}
}
else
printf("NIE\n");
}
}

  

上一篇:OC语言大总结(下)


下一篇:《鸟哥的Linux私房菜》学习笔记0——计算机概论