hdu 1824 2-sat
来源:互联网 发布:2010江苏高考数学知乎 编辑:程序博客网 时间:2024/06/16 17:57
Let's go home
Time Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 693 Accepted Submission(s): 220
Problem 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 2 0 1 2 0 1 1 2 2 4 0 1 2 3 4 5 0 3 0 4 1 3 1 4
Sample Output
yes no
Author
威士忌
每个队员有两种选择,根据关系,某种选择必然会导致某种选择,就这么建图就好了
注意:队长回家,其他两个队员一定留下
其他两个队员回家,队长一定留下
队长留下不一定导致其他两个队员都留下
#include<stdio.h>#include<string.h>#include<vector>#include<algorithm>using namespace std;const int MAX = 20010;vector<int> edge[MAX];int st[MAX];int dfn[MAX],low[MAX];int top,btype,tdfn;//btype:连通块的个数int belong[MAX];//点属于哪个连通块bool ins[MAX];void dfs(int s){int i,t;dfn[s]=low[s]=++tdfn;ins[s]=true;st[++top]=s;for(i=0;i<edge[s].size();i++){t=edge[s][i];if(!dfn[t]){dfs(t);if(low[t]<low[s]) low[s]=low[t];}else if(ins[t] && dfn[t]<low[s]) low[s]=dfn[t];}if(dfn[s]==low[s]){btype++;do{t=st[top--];ins[t]=false;belong[t]=btype;}while(t!=s);}}void SCC(int n){int i;top=btype=tdfn=0;memset(ins,false,sizeof(ins));memset(dfn,0,sizeof(dfn));for(i=1;i<=n;i++)if(!dfn[i])dfs(i);}int main(){ int i,j,k;int n,m;int a,b,c,t;while(scanf("%d%d",&t,&m)!=EOF){int n=3*t;for(i=0;i<=2*n;i++)edge[i].clear();for(i=0;i<t;i++){scanf("%d%d%d",&a,&b,&c);a++,b++,c++;edge[a+n].push_back(b);edge[a+n].push_back(c);edge[b+n].push_back(a);edge[c+n].push_back(a);}for(i=0;i<m;i++){scanf("%d%d",&a,&b);a++,b++;edge[a].push_back(b+n);edge[b].push_back(a+n);}SCC(2*n);int flag=1;for(i=1;i<=n;i++){if(belong[i]==belong[i+n]){flag=0;break;}}if(flag) printf("yes\n");else printf("no\n");}return 0;}
- hdu 1824 (2-SAT)
- hdu 1824 2-sat
- HDU 1824 2-sat算法
- hdu 1824 && hdU 3062 2-SAT经典
- 2-sat(tarjan算法)hdu(1824)
- hdu 3062+1824(2-sat入门)
- hdu 1824 2-sat问题(判断)
- HDU 3715 2-sat
- hdu 3062 2-SAT
- HDU 4421 2-SAT
- hdu 3062 (2-SAT)
- hdu 4115 2-sat
- HDU 4421 2-sat
- hdu 3062 2-sat
- hdu 4115 2-sat
- HDU 4115 2-SAT
- hdu-1814(2-SAT)
- hdu--3062(2-sat
- poj 1745 dp
- 多校第一场
- poj 1837 01背包
- poj 1948 二维01背包
- poj 1976 dp
- hdu 1824 2-sat
- hdu 1203 01背包
- hdu 2955 Robberies 01背包
- hdu 3033 分组背包 每组至少选一个
- hdu 1712 分组背包 每组至多取一个背包
- poj 2723 2-sat
- poj 2536 二分匹配
- poj 2537 DP
- 关于分组背包