博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
hdu 4115 石头剪子布(2-sat问题)
阅读量:5112 次
发布时间:2019-06-13

本文共 2143 字,大约阅读时间需要 7 分钟。

/*意甲冠军:石头剪子布,目前已知n周围bob会有什么,对alice限制。供u,v,w;设w=0说明a,b回合必须出的一样否则,必须不一样。alice假设输一回合就输了,否则就赢了解:2-satalice有两个选择要么平手要么赢。对于第u回合,alice能够出au,bu;对于第v回合,alice能够出av,bv;当w=0那么第u回合和第v回合必须同样比較au和bu。bv是否矛盾,假设矛盾建两条边比較av和bu。

bv是否矛盾,假设矛盾建两条边 当w=1第u回合和第v回合必须不同样 比較au和bu。bv是否矛盾,假设矛盾建两条边 比較av和bu。bv是否矛盾,假设矛盾建两条边 */ #include<stdio.h> #include<string.h> #include<stdlib.h> #include<algorithm> using namespace std; #define N 21000 #define NN 11000 struct node { int u,v,next; } bian[NN*20]; int head[N],yong,low[N],dfn[N],belong[N],ans,top,index,stac[N],vis[N]; void init() { memset(head,-1,sizeof(head)); yong=index=ans=top=0; memset(vis,0,sizeof(vis)); memset(dfn,0,sizeof(dfn)); } void addedge(int u,int v) { bian[yong].v=v; bian[yong].next=head[u]; head[u]=yong++; } void tarjan(int u) { low[u]=dfn[u]=++index; stac[++top]=u; vis[u]=1; int i; for(i=head[u]; i!=-1; i=bian[i].next) { int v=bian[i].v; if(!dfn[v]) { tarjan(v); low[u]=min(low[u],low[v]); } else if(vis[v]) low[u]=min(low[u],dfn[v]); } if(low[u]==dfn[u]) { ans++; int t; do { t=stac[top--]; belong[t]=ans; vis[t]=0; } while(t!=u); } } int slove(int n) { int i; for(i=0; i<n*2; i++) if(!dfn[i]) tarjan(i); // printf("%d\n",ans); for(i=0; i<n; i++) if(belong[i]==belong[i+n]) return 0; return 1; } void Switch(int f,int &au,int &av) { au=f; av=(f+1)%3; return ; } int a[N]; int main() { int t,n,m,i,k=0,u,v,w; int au,av,bu,bv; scanf("%d",&t); while(t--) { scanf("%d%d",&n,&m); for(i=0; i<n; i++) { scanf("%d",&a[i]); a[i]--; } init(); for(i=0; i<m; i++) { scanf("%d%d%d",&u,&v,&w); u--; v--; Switch(a[u],au,av); Switch(a[v],bu,bv); if(!w) { if(au!=bu) { addedge(u,v+n); addedge(v,u+n); } if(au!=bv) { addedge(u,v); addedge(v+n,u+n); } if(av!=bu) { addedge(u+n,v+n); addedge(v,u); } if(av!=bv) { addedge(u+n,v); addedge(v+n,u); } } else { if(au==bu) { addedge(u,v+n); addedge(v,u+n); } if(au==bv) { addedge(u,v); addedge(v+n,u+n); } if(av==bu) { addedge(u+n,v+n); addedge(v,u); } if(av==bv) { addedge(u+n,v); addedge(v+n,u); } } } if(!slove(n)) printf("Case #%d: no\n",++k); else printf("Case #%d: yes\n",++k); } return 0; }

版权声明:本文博主原创文章。博客,未经同意不得转载。

转载于:https://www.cnblogs.com/bhlsheji/p/4839974.html

你可能感兴趣的文章
linux之CentOS-7.0环境搭建
查看>>
恶狼传说[Erlang的有趣旅程]
查看>>
缅怀逝去的青葱岁月, 忆“煤油灯”
查看>>
clojure的语法糖
查看>>
python练习_购物车(简版)
查看>>
数据仓库开发之路之三--时间维度的创建
查看>>
Error:Execution failed for task ':app:validateSigningDebug'.
查看>>
Build MySQL Replication Environment
查看>>
django 中自带的加密方法
查看>>
ADS1298的Pace Detection的讨论
查看>>
[转]过孔在焊盘上扇出
查看>>
黑盒测试实践——day05
查看>>
成长道路上的你和我
查看>>
使用grep查找文件中指定字符出现的次数
查看>>
【反编译系列】一、反编译代码(dex2jar + jd-gui)和反编译资源(apktool)
查看>>
[Openwrt 项目开发笔记]:Openwrt平台搭建(一)
查看>>
应用层timer_libc_posix timer
查看>>
-*- coding:utf-8 -*-
查看>>
UVA 1025 -- A Spy in the Metro (DP)
查看>>
(原)vs2013编译成静态库
查看>>