HDU 1824 Let's go home 2-Sat
来源:互联网 发布:宏基笔记本怎么样 知乎 编辑:程序博客网 时间:2024/05/20 07:36
B - Let's go home
Time Limit:1000MS Memory Limit:32768KB 64bit IO Format:%I64d & %I64uAppoint description:
Description
小时候,乡愁是一枚小小的邮票,我在这头,母亲在那头。
―― 余光中
集训是辛苦的,道路是坎坷的,休息还是必须的。经过一段时间的训练,lcy决定让大家回家放松一下,但是训练还是得照常进行,lcy想出了如下回家规定,每一个队(三人一队)或者队长留下或者其余两名队员同时留下;每一对队员,如果队员A留下,则队员B必须回家休息下,或者B留下,A回家。由于今年集训队人数突破往年同期最高记录,管理难度相当大,lcy也不知道自己的决定是否可行,所以这个难题就交给你了,呵呵,好处嘛~,免费**漂流一日。
―― 余光中
集训是辛苦的,道路是坎坷的,休息还是必须的。经过一段时间的训练,lcy决定让大家回家放松一下,但是训练还是得照常进行,lcy想出了如下回家规定,每一个队(三人一队)或者队长留下或者其余两名队员同时留下;每一对队员,如果队员A留下,则队员B必须回家休息下,或者B留下,A回家。由于今年集训队人数突破往年同期最高记录,管理难度相当大,lcy也不知道自己的决定是否可行,所以这个难题就交给你了,呵呵,好处嘛~,免费**漂流一日。
Input
第一行有两个整数,T和M,1<=T<=1000表示队伍数,1<=M<=5000表示对数。
接下来有T行,每行三个整数,表示一个队的队员编号,第一个队员就是该队队长。
然后有M行,每行两个整数,表示一对队员的编号。
每个队员只属于一个队。队员编号从0开始。
接下来有T行,每行三个整数,表示一个队的队员编号,第一个队员就是该队队长。
然后有M行,每行两个整数,表示一对队员的编号。
每个队员只属于一个队。队员编号从0开始。
Output
可行输出yes,否则输出no,以EOF为结束。
Sample Input
1 20 1 20 11 22 40 1 23 4 50 30 41 31 4
Sample Output
yesno
2-sat最难的是如何建图加边 这里对一个队 a,b,c b和c是绑定的 那么我们就可以转换为熟悉的 2-sat
ACcode:
#include <map>#include <queue>#include <cmath>#include <cstdio>#include <cstring>#include <stdlib.h>#include <iostream>#include <algorithm>#define maxn 100000using namespace std;struct Node{ int to,next;}edge[maxn];int head[maxn],tot;void init(){tot=0;memset(head,-1,sizeof(head));}void add(int u,int v){edge[tot].to=v;edge[tot].next=head[u];head[u]=tot++;}int low[maxn],dfn[maxn],Stack[maxn],Belong[maxn];int Index,top;int scc;bool Instack[maxn];int num[maxn];void tarjan(int u){ int v; low[u]=dfn[u]=++Index; Stack[top++]=u; Instack[u]=true; for(int i=head[u];i!=-1;i=edge[i].next){ v=edge[i].to; if(!dfn[v]){ tarjan(v); low[u]=min(low[u],low[v]); } else if(Instack[v]&&low[u]>dfn[v]) low[u]=dfn[v]; } if(low[u]==dfn[u]){ scc++; do{ v=Stack[--top]; Instack[v]=false; Belong[v]=scc; num[scc]++; } while(v!=u); }}void solve(int n){ memset(dfn,0,sizeof(dfn)); memset(Instack,false,sizeof(Instack)); Index=scc=top=0; for(int i=0;i<n;++i)if(!dfn[i])tarjan(i); for(int i=0;i<n;i+=2) if(Belong[i]==Belong[i+1]){ printf("no\n");return; } printf("yes\n");}int aa[maxn];int main(){ int t,m,n,a,b,c,x,y; while(~scanf("%d%d",&t,&m)){ init();n=t*2; for(int i=0;i<t;++i){ scanf("%d%d%d",&a,&b,&c); aa[a]=2*i;aa[b]=aa[c]=2*i+1; } for(int i=0;i<m;++i){ scanf("%d%d",&x,&y); add(aa[x],aa[y]^1); add(aa[y],aa[x]^1); } solve(n); } return 0;}
0 0
- HDU 1824 Let's go home 2-sat
- hdu 1824 Let's go home(2-sat入门)
- HDU 1824 Let's go home (2-SAT)
- HDU 1824 Let's go home (2-SAT判断)
- HDU 1824 Let's go home(2-SAT)
- Hdu 1824 Let's go home (2-sat 可行性判定)
- 【HDU】1824 Let's go home 2-sat
- HDU 1824 Let's go home(2-sat)
- HDU 1824 Let's go home (2-SAT)
- HDU - 1824 Let's go home(2-SAT)
- HDU 1824 Let's go home (2-SAT判定)
- HDU 1824 Let's go home 2-sat基础
- hdu 1824 Let's go home (2-sat)
- HDU 1824 Let's go home 2-Sat
- HDU-1824-Let's go home(2-SAT)
- HDU 1824 Let's go home(2-SAT)
- HDU 1824 Let's go home(2-SAT)
- hdu 1824 Let's go home(s-sat)
- 找规律类博弈(1)
- Android学习笔记之TimePicker与DatePicker
- IOS plist读取写入
- zzuli 1878 计算两日期距离天数
- NJUST1925 sequence(贪心+二分)
- HDU 1824 Let's go home 2-Sat
- word2vec 入门教程
- 预处理
- ApplePay 支付的简单使用
- 每天一个linux命令-grep
- 最大公约数和最大公倍数
- meanshift segmentation(原理+源码)
- ORA-28009:connection as SYS should be as SYSDBA OR SYSOPER