Let's go home
Time Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 1771 Accepted Submission(s): 736
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
2-SAT水题
为什么要用反边存缩点后的图?
考虑到算法传递标记的时候,“选择”标记是没有进行传递的,也就是说正向边是没有利用到的,传递的都是“不选择”标记,也就是说走
的都是反边。
//#include <bits/stdc++.h>
#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
using namespace std;
const int MAXN = 1e6+7;
struct node
{
int v,next;
}edge[MAXN];
int head[MAXN],index;
void add_edge(int u,int v)
{
edge[index].v=v;
edge[index].next=head[u];
head[u]=index++;
}
int DFN[MAXN],low[MAXN],stack_[MAXN],in_stack[MAXN],belong[MAXN];
int cir,top,temp;
void Tarjan(int u)
{
int p;
DFN[u]=low[u]=++temp;
in_stack[u]=1;
stack_[top++]=u;
for(int i=head[u]; i+1; i=edge[i].next)
{
int v=edge[i].v;
if(!DFN[v])
{
Tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(in_stack[v])
{
low[u]=min(low[u],DFN[v]);
}
}
if(low[u]==DFN[u])
{
++cir;
do{
p=stack_[--top];
in_stack[p]=0;
belong[p]=cir;
}while(p!=u);
}
}
int main()
{
int n,m;
while(scanf("%d%d",&n,&m)!=EOF)
{
int a,b,c;
temp=cir=top=index=0;
memset(DFN,0,sizeof(DFN));
memset(head,-1,sizeof(head));
memset(in_stack,0,sizeof(in_stack));
for(int i=0; i<n; ++i)
{
scanf("%d%d%d",&a,&b,&c);
add_edge((a<<1)^1,b<<1);
add_edge((a<<1)^1,c<<1);
add_edge((b<<1)^1,a<<1);
add_edge((c<<1)^1,a<<1);
}
for(int i=0; i<m; ++i)
{
scanf("%d%d",&a,&b);
add_edge(a<<1,(b<<1)^1);
add_edge(b<<1,(a<<1)^1);
}
for(int i=0; i<n*6; ++i)
if(!DFN[i])
Tarjan(i);
int flag=0;
for(int i=0; i<n*3; ++i)
{
if(belong[i<<1]==belong[(i<<1)^1])
{flag=1;break;}
}
if(flag)printf("no\n");
else printf("yes\n");
}
return 0;
}