什么是2-sat问题?
2-sat问题就是2判定问题,是一种特殊的逻辑判断问题。下面看一道例题来认识一下2-sat问题:
HDU3062:http://acm.hdu.edu.cn/showproblem.php?pid=3062
Problem Description
有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席。在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席?
Input
n: 表示有n对夫妻被邀请 (n<= 1000)
m: 表示有m 对矛盾关系 ( m < (n - 1) * (n -1))
在接下来的m行中,每行会有4个数字,分别是 A1,A2,C1,C2
A1,A2分别表示是夫妻的编号
C1,C2 表示是妻子还是丈夫 ,0表示妻子 ,1是丈夫
夫妻编号从 0 到 n -1
Output
如果存在一种情况 则输出YES
否则输出 NO
Sample Input
2
1
0 1 1 1
Sample Output
YES
有n个组,第i个组里有两个节点Ai,Ai'。需要从每个组中选出一个。而某些点不可以同时选出(称之为不相容)。任务是保证选出的n个点都能两两相容。
如果Ai和Aj不相容,那么选择Ai就必须选择Aj‘;同样,选择Aj就必须选择Ai'。Ai->Aj' 和Aj->Ai'相互对称。
算法一:
举例说明:
假设有4个组,不和的代表有:1和4,2和3,7和3,那么构图:
假设:首先选1
3必须选,2不可选
8必须选,4、7不可选
5、6随便选一个矛盾的情况为:存在Ai,使得Ai必须被选又不可选。
深入分析:
Ai->Aj'
Aj->Ai'
猜测一:图中的环分别对称
假设选择S3'
->选择S3'的后代节点,S1'
->删除S3
->删除S3的前代节点S1
->S1与S1'是对称的
#include<cstdio>
#include<cstring>
usingnamespace std;
#define MIN(x,y) (x<y?x:y)
#define N 2005
struct Edge
{
int vtx,next;
}E[999999];
int head[N],size;
int dfn[N],low[N],blg[N],step,scc;
int stk[N],top;
bool ins[N];
void Init()
{
memset(head,-1,sizeof(head));
memset(dfn,-1,sizeof(dfn));
memset(ins,false,sizeof(ins));
size=step=scc=0; top=-1;
}
void Insert(int u,int v)
{
E[size].vtx=v;
E[size].next=head[u];
head[u]=size++;
}
void Tarjan(int u)
{
stk[++top]=u; ins[u]=true;
dfn[u]=low[u]=step++;
for(int i=head[u];i!=-1;i=E[i].next)
{
int v=E[i].vtx;
if(dfn[v]==-1)
{
Tarjan(v);
low[u]=MIN(low[u],low[v]);
}
else if(ins[v])
{
low[u]=MIN(low[u],dfn[v]);
}
}
if(low[u]==dfn[u])
{
for(int v=-1;v!=u;top--)
{
v=stk[top];
ins[v]=false;
blg[v]=scc;
}
scc++;
}
}
int main()
{
int n,m;
while(~scanf("%d%d",&n,&m))
{
Init();
for(int i=0;i<m;i++)
{
int a1,a2,c1,c2;
scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
Insert((a1<<1)+c1,(a2<<1|1)-c2);
Insert((a2<<1)+c2,(a1<<1|1)-c1);
}
for(int i=0;i<2*n;i++)
{
if(dfn[i]==-1) Tarjan(i);
}
bool flag=true;
for(int i=0;i<n;i++)
{
if(blg[i<<1]==blg[i<<1|1])
{
flag=false;
break;
}
}
puts(flag?"YES":"NO");
}
}
更多请参考:
2-sat专题