首页 > 代码库 > hdu3062 2-SAT模板
hdu3062 2-SAT模板
题意:中文题不用解释
思路:这题讲的就是2-sat,如果想知道什么事2-sat可以看看大牛的http://blog.csdn.net/pi9nc/article/details/11849843,每个结点有两种状态,u结点的一个状态与v结点的一个状态矛盾,那么就还有另外两个状态时不矛盾的,那么我们把它连边。最后强连通,如果一个结点的两个状态在一个连通图中,那么就矛盾了。
#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 10 1 1 1 */
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。