hdu3062 2-SAT模板
题意:中文题不用解释
思路:这题讲的就是2-sat,如果想知道什么事2-sat可以看看大牛的http://blog.csdn.net/pi9nc/article/details/11849843,每个结点有两种状态,u结点的一个状态与v结点的一个状态矛盾,那么就还有另外两个状态时不矛盾的,那么我们把它连边。最后强连通,如果一个结点的两个状态在一个连通图中,那么就矛盾了。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 | #include<stdio.h> #include<string.h> const int maxn = 3000; struct node { int v,next; }eg[maxn*maxn]; int head[maxn]; int dfn[maxn],low[maxn],sta[maxn],insta[maxn],belong[maxn]; int tot,color,top,Index,n; void add( int a, int b) { eg[tot].v= b; eg[tot].next = head[a]; head[a] = tot++; } void tarjan( int u) { dfn[u] = low[u] = ++Index; sta[top++] = u; insta[u] = 1; for ( int i=head[u];i+1;i= eg[i].next) { int v= eg[i].v; if (!dfn[v]) { tarjan(v); low[u] = low[u] < low[v] ? low[u] : low[v]; } else if (insta[v]) low[u] = low[u] < dfn[v] ? low[u] : dfn[v]; } if (low[u] == dfn[u]) { int v; color++; do { v= sta[--top]; insta[v] = 0; belong[v] =color; } while (v != u); } } void init() { tot = color = top = Index =0; memset (dfn,0, sizeof (dfn)); memset (insta,0, sizeof (insta)); memset (belong,0, sizeof (belong)); memset (head,-1, sizeof (head)); } void work() { int i; for (i=0;i<2*n;i++) { if (!dfn[i])tarjan(i); } int flag = 0; for (i=0;i<n;i++) { if (belong[i*2] == belong[i*2+1]) { break ; } } if (i == n) printf ( "YES\n" ); else printf ( "NO\n" ); } int main() { int m,a1,a2,b1,b2; while (~ scanf ( "%d" ,&n)) { init(); scanf ( "%d" ,&m); while (m--) { scanf ( "%d%d%d%d" ,&a1,&a2,&b1,&b2); // printf("%d %d\n",a1*2+a2,b1*2 + !b2); // printf("%d %d\n",b1*2 + b2,a1*2+!a2); add(a1*2 + b1,a2*2 + 1 -b2); add(a2*2 + b2,a1*2 + 1 -b1); } work(); } return 0; } /* 2 1 0 1 1 1 */ |
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步