小时候,乡愁是一枚小小的邮票,我在这头,母亲在那头。
—— 余光中
集训是辛苦的,道路是坎坷的,休息还是必须的。经过一段时间的训练,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
题意分析,队长和俩个队员其实就是 存在互不包容的情况,不能够都放假。=== 》用于判定有无解的条件
注意这道题用到了数组序号的小技巧,但还是蛮方便的有时候,可以学习下
代码
#include <bits/stdc++.h>
using namespace std;
#define inf 0x3f3f3f3f
#define LL long long
const int MAXN = 1000<<3; /** 这里要注意 我们多建立了好多点,所以要加上 */
const int MAXM = 1e6+100;
const double PI = acos(-1.0);
const double eps = 1e-8;
inline int read(){
int x=0,f=1; char ch=getchar();
while (ch<'0'||ch>'9') { if (ch=='-') f=-1; ch=getchar(); }
while (ch>='0'&&ch<='9') { x=x*10+ch-'0'; ch=getchar(); }
return x*f;
}
/*--------------------------------------*/
struct Edge {
int from,to,next;
}edge[MAXM];
int head[MAXN],top;
int low[MAXN],dfn[MAXN];
int sccno[MAXN],scc_cnt;
stack<int>S;int Instack[MAXN];
int n,m;
int dfs_clock;
void init()
{
memset(head,-1,sizeof(head));
top=0;
}
void addedge(int a,int b)
{
Edge e={a,b,head[a]};
edge[top]=e;head[a]=top++;
}
int B[MAXN<<3]; // 注意这里是 将两个队员当作一个人,并和队长为一组的。
void getmap() // 核心
{
int a,b,c;
for(int i=0;i<n;i++)
{
scanf("%d%d%d",&a,&b,&c);
B[a]=i<<1;
B[b]=B[c]=i<<1|1;
}
while(m--)
{
/*// 和1进行异或得到的是同一组的另一个人的点。
但是这种技巧只能用于序号是从0开始的,并且每一组是两个成员
这个技巧常用于 用邻接表来存图的时候,对一个边,取反向边的时
候。*/
scanf("%d%d",&a,&b);
addedge(B[a],B[b]^1);
addedge(B[b],B[a]^1) ;//建议自己找一组数据 自己手算一遍,就能够明白这个原理
}
}
void tarjan(int now,int pre)
{
low[now]=dfn[now]=++dfs_clock;
Instack[now]=1;S.push(now);
for(int i=head[now];i!=-1;i=edge[i].next)
{
Edge e=edge[i];
if(!dfn[e.to])
{
tarjan(e.to,now);
low[now]=min(low[now],low[e.to]);
}else if(Instack[e.to])
low[now]=min(low[now],dfn[e.to]);
}
if(low[now]==dfn[now])
{
scc_cnt++;
for(;;)
{
int nexts=S.top();S.pop();Instack[nexts]=0;
sccno[nexts]=scc_cnt;
if(nexts==now) break;
}
}
}
void find_cut(int le,int ri)
{
memset(low,0,sizeof(low));
memset(dfn,0,sizeof(dfn));
memset(sccno,0,sizeof(sccno));
memset(Instack,0,sizeof(Instack));
dfs_clock=scc_cnt=0;
for(int i=le;i<=ri;i++)
if(!dfn[i]) tarjan(i,-1);
}
void solve()
{
for(int i=0;i<n;i++)
{
if(sccno[i<<1]==sccno[i<<1|1])// i<<1 ===i*2 ;i<<|1 == i*2+1 ; 同一组的两个点
{
puts("no"); // 如果 有那一组两个人都去了,肯定是no
return ;
}
}
puts("yes");
}
int main()
{
//freopen("in.txt","r",stdin);
//freopen("out.txt","w",stdout);
while(scanf("%d%d",&n,&m)!=EOF)
{
init();
getmap();
find_cut(0,2*n-1);
solve();
}
return 0;
}