hdu 3062 2-SAT

题目描述:有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席。在2n个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n个人同时列席?

思路:2-SAT入门题,直接建模即可。

 1 #include <cstdio>
 2 #include <cstring>
 3 using namespace std;
 4
 5 const int N = 20001;
 6 const int M = 2000000;
 7 int s[N];
 8 int head[N];
 9 bool mark[N];
10 int n, m, e, c;
11
12 struct Edge
13 {
14     int v, next;
15 } edge[M];
16
17 void init()
18 {
19     e = 0;
20     memset( mark, false, sizeof(mark) );
21     memset( head, -1, sizeof(head) );
22 }
23
24 void addEdge( int u, int v )
25 {
26     edge[e].v = v;
27     edge[e].next = head[u];
28     head[u] = e++;
29 }
30
31 void add_clause( int x, int x_val, int y, int y_val )
32 {
33     x = x * 2 + x_val, y = y * 2 + y_val;
34     addEdge( x ^ 1, y );
35     addEdge( y ^ 1, x );
36 }
37
38 bool dfs( int x )
39 {
40     if ( mark[x ^ 1] ) return false;
41     if ( mark[x] ) return true;
42     mark[x] = true;
43     s[c++] = x;
44     for ( int i = head[x]; i != -1; i = edge[i].next )
45     {
46         int v = edge[i].v;
47         if ( !dfs(v) ) return false;
48     }
49     return true;
50 }
51
52 bool solve()
53 {
54     for ( int i = 0; i < 2 * n; i += 2 )
55     {
56         if ( !mark[i] && !mark[i + 1] )
57         {
58             c = 0;
59             if ( !dfs(i) )
60             {
61                 while ( c )
62                 {
63                     mark[s[--c]] = false;
64                 }
65                 if ( !dfs( i + 1 ) )
66                 {
67                     return false;
68                 }
69             }
70         }
71     }
72     return true;
73 }
74
75 int main ()
76 {
77     while ( scanf("%d", &n) != EOF )
78     {
79         scanf("%d", &m);
80         init();
81         while ( m-- )
82         {
83             int a1, a2, c1, c2;
84             scanf("%d%d%d%d", &a1, &a2, &c1, &c2);
85             add_clause( a1, c1, a2, c2 );
86         }
87         printf("%s\n", solve() ? "YES" : "NO");
88     }
89     return 0;
90 }
时间: 2024-10-05 23:55:14

hdu 3062 2-SAT的相关文章

HDU 3062 Party (2-sat)

题目地址:HDU 3062 2-sat第一发.水题.. 首先假设A,A'为同一组的两个布尔变量且不能同时选择同一组的两个变量.如果存在一种同时选择了A和A'的方案,则该方案无解. 设<X,Y>为选择X就必须选择Y,则基本的建图如下: A,B不能同时选:<A,B'><B,A'>,表示选择A就必须不能选择B,选择B就不能选择A A,B不能同时不选:<A',B><B',A>,表示不选A则必须选B,不选B则必须选A A,B必须同时选或同时不选:<A

HDU 3062 &amp;&amp; HDU 1824 &amp;&amp; POJ 3578 &amp;&amp; BZOJ 1997 2-SAT

一条边<u,v>表示u选那么v一定被选. 1 #include <iostream> 2 #include <cstring> 3 #include <cstdio> 4 #include <algorithm> 5 using namespace std; 6 const int Maxm=21000; 7 const int Maxn=2010; 8 struct EDGE{int to,next;}edge[Maxm]; 9 int T,m

HDU 3062

http://acm.hdu.edu.cn/showproblem.php?pid=3062 2sat判定性问题模板 #include <iostream> #include <algorithm> #include <cstring> #include <cstdio> #include <queue> #include <map> using namespace std ; struct node { int s,t,nxt ;

HDU 3062 简单的2-SAT问题

在2-SAT,最让我纠结的还是添加有向线段的函数了 void add_clause(int i,int a,int j,int b){    int m=2*i+a;    int n=2*j+b;    G[m^1].push_back(n);    G[n^1].push_back(m);} 这里a,b因为只有真假两种情况,所以只取0或1,这里表示m V n是正确的,那么意思是取到m^1时,那么n必然得取到 同理取到n^1时,m必然取到,所以两条有向线段就添加成功了 例如这道题给所有夫妻排好

HDU 3062 Party(2-sat 模板题 tarjan )

题目链接: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))

HDU 3062 Party

Party Time Limit: 1000ms Memory Limit: 32768KB This problem will be judged on HDU. Original ID: 306264-bit integer IO format: %I64d      Java class name: Main 有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席.在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同时出现在聚会上的

HDU 3062:Party(2-SAT入门)

http://acm.hdu.edu.cn/showproblem.php?pid=3062 题意:中文. 思路:裸的2-SAT.判断二元组的两个人是否在同一个强连通分量. 学习地址:http://www.cnblogs.com/ambition/archive/2011/07/30/2-sat.html 1 #include <bits/stdc++.h> 2 using namespace std; 3 #define N 2010 4 struct Edge { 5 int u, v,

图论(2-sat):HDU 3062 Party

Party Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 5558    Accepted Submission(s): 1809 Problem Description 有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席.在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同

(2sat) hdu 3062

http://wenku.baidu.com/link?url=xo0rr2Euamxkz3WOs7Nq66hZ4vrYfRQ3FWw98Z-fy37O8fOOBLUOnNpFNfS6WtfrAIUGZG2coxcrZhIqrDsFmLP1PboOr3XIGq9QFwn1b67 Party Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s):