本文主要是介绍HDU 1824 Let's go home 2-sat基础，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
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为结束。
想法：一个队a,b,c a是队长b,c是队员，b,c可以把他们看成是一个，a和b,c不能同时留下或回家，这是一个矛盾点。然后注意建图，解决。
给你的队员是矛盾对，所以你要连接其他的非矛盾对。
#include<iostream>
#include<cstring>
#include<cstdio>
#include<stack>
using namespace std;
const int N=2000+5;
const int E=10000+5;
int T,M;
int par[N];
struct node
{int v,next;
}e[E];
stack<int>s;
int head[N],cnt;
int dfn[N],low[N],instack[N],paint[N],index,col;
void Init()
{while(!s.empty()) s.pop();memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));memset(paint,0,sizeof(paint));memset(instack,0,sizeof(instack));memset(head,-1,sizeof(head));index=col=1;cnt=0;
}
void add(int a,int b)
{e[cnt].v=b;e[cnt].next=head[a];head[a]=cnt++;
}
int MIN(int a,int b)
{if(a<b) return a;return b;
}
void tarjan(int u)
{dfn[u]=low[u]=index++; instack[u]=1;s.push(u);for(int i=head[u];i+1;i=e[i].next){int v=e[i].v;if(!dfn[v]){tarjan(v);low[u]=MIN(low[u],low[v]);}else if(instack[v]){low[u]=MIN(low[u],dfn[v]);}}if(dfn[u]==low[u]){int k=s.top();while(k!=u){s.pop();paint[k]=col;instack[k]=0;k=s.top();}s.pop();paint[u]=col;instack[u]=0;col++;}
}
void Input()
{for(int i=0;i<T;i++){int a,b,c;scanf("%d%d%d",&a,&b,&c);par[a]=i;par[b]=par[c]=i+T;}for(int i=1;i<=M;i++){int a,b;scanf("%d%d",&a,&b);a=par[a];b=par[b];if(b>=T) add(a,b-T);else add(a,b+T);if(a>=T) add(b,a-T);else add(b,a+T);}
}
void treatment()
{for(int i=0;i<2*T;i++){if(!dfn[i]) tarjan(i);}for(int i=0;i<T;i++){if(paint[i]==paint[i+T]){printf("no\n");return;}}printf("yes\n");return;
}
int main()
{while(~scanf("%d%d",&T,&M)){Init();Input();treatment();}return 0;
} 这篇关于HDU 1824 Let's go home 2-sat基础的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
