Party
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 5598 Accepted Submission(s): 1815
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
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
否则输出 NO
Sample Input
2 1 0 1 1 1
Sample Output
YES
解析:
本题是2-SAT的模板题。如果找到一个夫妻在一个环里面,就说明不可能有结果。其中用到了Tarjan算法.
2-SAT的概念:
现有一个由N个布尔值组成的序列A,给出一些限制关系,比如A[x] AND A[y]=0、A[x] OR A[y] OR A[z]=1等,要确定A[0..N-1]的值,使得其满足所有限制关系。这个称为SAT问题,特别的,若每种限制关系中最多只对两个元素进行限制。
代码:
<span style="font-size:18px;">#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int maxn = 2000+10;
int head[maxn*maxn];
struct node{
int t, next;
}edge[maxn*maxn];
int cnt, t;
int vis[maxn];
int color[maxn];
int n;
int dfn[maxn];
int low[maxn];
int st[1000010];
int stk;
void init() {
memset(head, -1, sizeof(head));
cnt = 0;
memset(vis, 0, sizeof(vis));
memset(dfn, 0, sizeof(dfn));
memset(low, 0, sizeof(low));
memset(color, 0, sizeof(color));
memset(st, 0, sizeof(st));
stk = 0;
}
void addedge(int u, int v) {
edge[cnt].t = v;
edge[cnt].next = head[u];
head[u] = cnt;
cnt++;
}
void Tarjan(int u,int lay, int &scc_num) { // 寻找环
dfn[u] = low[u] = lay;
st[++stk] = u;
vis[u] = 1;
for (int i=head[u]; i!=-1; i=edge[i].next) {
if (vis[edge[i].t] == 0) //没有被访问才继续
Tarjan(edge[i].t, ++lay, scc_num);
if (vis[edge[i].t] == 1) //若被访问了,只更新访问时间。
low[u] = min(low[edge[i].t], low[u]);
}
if (dfn[u] == low[u]) { //找到根节点
++scc_num;
do {
vis[st[stk]] = 2; //注意vis的值。
color[st[stk]] = scc_num;
}while (st[stk--] != u);
}
}
bool ok() {
stk = 0;
int scc_num=0, lay = 1;
for (int i=0; i<2*n; i++)
if (vis[i] == 0)
Tarjan(i, lay, scc_num);
for (int i=0; i<n; i++)
if(color[i*2] == color[2*i+1])
return false;
return true;
}
int main()
{
int m;
while (scanf("%d%d", &n, &m)!=EOF) {
init();
for (int i=0; i<m; i++){
int a1, a2, c1, c2;
scanf("%d%d%d%d", &a1, &a2, &c1, &c2);
int u = 2*a1+c1;
int v = 2*a2+c2;
addedge(u, v^1);
addedge(v, u^1);
}
if (ok() == true)
printf("YES\n");
else
printf("NO\n");
}
return 0;
}</span>