Let's go home+hdu+2sat问题的求解
2014-08-10 16:36
246 查看
Let's go home
Time Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 1377 Accepted Submission(s): 533
Problem Description
小时候,乡愁是一枚小小的邮票,我在这头,母亲在那头。
—— 余光中
集训是辛苦的,道路是坎坷的,休息还是必须的。经过一段时间的训练,lcy决定让大家回家放松一下,但是训练还是得照常进行,lcy想出了如下回家规定,每一个队(三人一队)或者队长留下或者其余两名队员同时留下;每一对队员,如果队员A留下,则队员B必须回家休息下,或者B留下,A回家。由于今年集训队人数突破往年同期最高记录,管理难度相当大,lcy也不知道自己的决定是否可行,所以这个难题就交给你了,呵呵,好处嘛~,免费**漂流一日。
Input
第一行有两个整数,T和M,1<=T<=1000表示队伍数,1<=M<=5000表示对数。
接下来有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解决方案:把那两个队员当做一个整体,有回归简单的2-sat问题了。code:#include<iostream> #include<cstdio> #include<cstring> #include<stack> #include<algorithm> #define MMAX 1003 #define Max 5003 using namespace std; stack<int>S; int head[2*MMAX],k,group[3*Max]; int dfn[2*MMAX],low[2*MMAX],instack[2*MMAX],belong[2*MMAX]; int T,M,index; struct edge { int to; int next; } E[Max*Max*2]; void init() { index=1; memset(dfn,0,sizeof(dfn)); memset(low,0,sizeof(low)); memset(instack,0,sizeof(instack)); for(int i=0; i<2*T; i++) { belong[i]=i; } while(!S.empty())S.pop(); } void tarjan(int u) { dfn[u]=low[u]=index++; instack[u]=1; S.push(u); for(int v=head[u]; v!=-1; v=E[v].next) { int s=E[v].to; if(!instack[s]) { tarjan(s); low[u]=min(low[u],low[s]); } else if(instack[s]==1) { low[u]=min(low[u],dfn[s]); } } if(dfn[u]==low[u]) { while(!S.empty()) { int temp=S.top(); S.pop(); instack[temp]=2; belong[temp]=u; if(temp==u) break; } } } void add(int from,int to) { E[k].to=to; E[k].next=head[from]; head[from]=k++; } int main() { while(~scanf("%d%d",&T,&M)) { init(); memset(head,-1,sizeof(head)); for(int i=0; i<T; i++) { int a,b,c; scanf("%d%d%d",&a,&b,&c); group[a]=2*i; group[b]=group[c]=2*i+1; } k=0; for(int i=0; i<M; i++) { int a,b; scanf("%d%d",&a,&b); add(group[a],group[b]^1); add(group[b],group[a]^1); } for(int i=0; i<2*T; i++) { if(!instack[i]) { tarjan(i); } } bool flag=true; for(int i=0; i<T; i++) { if(belong[i*2]==belong[i*2+1]) { flag=false; break; } } if(flag) { printf("yes\n"); } else printf("no\n"); } return 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判断)
- [算法思考]关于2-sat判定求解中“同一组内必须选择”问题的思考
- poj3683&nbsp;2-SAT&nbsp;求解
- 三分法(Ternary Search)求解凸(凹)函数的极值问题<题目篇>
- HOJ-GSM-Graham's Scan法求解凸包问题
- Graham's Scan法求解凸包问题
- 浅谈2-sat的问题的构造与求解
- HDOJ 1824 - Let's go home 简单构图2-set
- Graham's Scan法求解【 凸包 】问题
- Graham's Scan法求解凸包问题(C++)
- GUI中“鼠标事件”问题,~~~~~求解~~~~~····
- Hdu 1824 Let's go home (2-sat 可行性判定)
- poj 3207 简单的2-SAT问题
- 关于2-sat判定求解中“同一组内必须选择”问题的思考
- 三分法(Ternary Search)求解凸(凹)函数的极值问题<方法篇>
- hdu 1824 Let's go home(2-sat入门)
- HDU 1824 —— Let's go home(2-SAT)