HDU 1824 Let's go home 2-Sat
2016-04-18 20:16
555 查看
B - Let's go home
Time Limit:1000MS Memory Limit:32768KB 64bit IO Format:%I64d & %I64u
SubmitStatusPracticeHDU
1824
Appoint description:
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最难的是如何建图加边 这里对一个队 a,b,c b和c是绑定的 那么我们就可以转换为熟悉的 2-sat
ACcode:
#include <map>
#include <queue>
#include <cmath>
#include <cstdio>
#include <cstring>
#include <stdlib.h>
#include <iostream>
#include <algorithm>
#define maxn 100000
using namespace std;
struct Node{
int to,next;
}edge[maxn];
int head[maxn],tot;
void init(){tot=0;memset(head,-1,sizeof(head));}
void add(int u,int v){edge[tot].to=v;edge[tot].next=head[u];head[u]=tot++;}
int low[maxn],dfn[maxn],Stack[maxn],Belong[maxn];
int Index,top;
int scc;
bool Instack[maxn];
int num[maxn];
void tarjan(int u){
int v;
low[u]=dfn[u]=++Index;
Stack[top++]=u;
Instack[u]=true;
for(int i=head[u];i!=-1;i=edge[i].next){
v=edge[i].to;
if(!dfn[v]){
tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(Instack[v]&&low[u]>dfn[v])
low[u]=dfn[v];
}
if(low[u]==dfn[u]){
scc++;
do{
v=Stack[--top];
Instack[v]=false;
Belong[v]=scc;
num[scc]++;
}
while(v!=u);
}
}
void solve(int n){
memset(dfn,0,sizeof(dfn));
memset(Instack,false,sizeof(Instack));
Index=scc=top=0;
for(int i=0;i<n;++i)if(!dfn[i])tarjan(i);
for(int i=0;i<n;i+=2)
if(Belong[i]==Belong[i+1]){
printf("no\n");return;
}
printf("yes\n");
}
int aa[maxn];
int main(){
int t,m,n,a,b,c,x,y;
while(~scanf("%d%d",&t,&m)){
init();n=t*2;
for(int i=0;i<t;++i){
scanf("%d%d%d",&a,&b,&c);
aa[a]=2*i;aa[b]=aa[c]=2*i+1;
}
for(int i=0;i<m;++i){
scanf("%d%d",&x,&y);
add(aa[x],aa[y]^1);
add(aa[y],aa[x]^1);
}
solve(n);
}
return 0;
}
Time Limit:1000MS Memory Limit:32768KB 64bit IO Format:%I64d & %I64u
SubmitStatusPracticeHDU
1824
Appoint description:
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最难的是如何建图加边 这里对一个队 a,b,c b和c是绑定的 那么我们就可以转换为熟悉的 2-sat
ACcode:
#include <map>
#include <queue>
#include <cmath>
#include <cstdio>
#include <cstring>
#include <stdlib.h>
#include <iostream>
#include <algorithm>
#define maxn 100000
using namespace std;
struct Node{
int to,next;
}edge[maxn];
int head[maxn],tot;
void init(){tot=0;memset(head,-1,sizeof(head));}
void add(int u,int v){edge[tot].to=v;edge[tot].next=head[u];head[u]=tot++;}
int low[maxn],dfn[maxn],Stack[maxn],Belong[maxn];
int Index,top;
int scc;
bool Instack[maxn];
int num[maxn];
void tarjan(int u){
int v;
low[u]=dfn[u]=++Index;
Stack[top++]=u;
Instack[u]=true;
for(int i=head[u];i!=-1;i=edge[i].next){
v=edge[i].to;
if(!dfn[v]){
tarjan(v);
low[u]=min(low[u],low[v]);
}
else if(Instack[v]&&low[u]>dfn[v])
low[u]=dfn[v];
}
if(low[u]==dfn[u]){
scc++;
do{
v=Stack[--top];
Instack[v]=false;
Belong[v]=scc;
num[scc]++;
}
while(v!=u);
}
}
void solve(int n){
memset(dfn,0,sizeof(dfn));
memset(Instack,false,sizeof(Instack));
Index=scc=top=0;
for(int i=0;i<n;++i)if(!dfn[i])tarjan(i);
for(int i=0;i<n;i+=2)
if(Belong[i]==Belong[i+1]){
printf("no\n");return;
}
printf("yes\n");
}
int aa[maxn];
int main(){
int t,m,n,a,b,c,x,y;
while(~scanf("%d%d",&t,&m)){
init();n=t*2;
for(int i=0;i<t;++i){
scanf("%d%d%d",&a,&b,&c);
aa[a]=2*i;aa[b]=aa[c]=2*i+1;
}
for(int i=0;i<m;++i){
scanf("%d%d",&x,&y);
add(aa[x],aa[y]^1);
add(aa[y],aa[x]^1);
}
solve(n);
}
return 0;
}
相关文章推荐
- golang交叉编译
- Good Tools for downloading Youtube source
- 2016 Google Code Jam Round 1A (A. The Last Word,B. Rank and File,C. BFFs(二元环))
- django 更改默认语言和时间
- 李艺:Go语言之内的结构体模拟继承
- django提供xml下载
- Google Codejam 2016 Round1A Problem C BFFs 简单图论
- Django笔记 Model的继承和操作
- GOF设计模式快速学习
- Django笔记 CMS框架Mezzanine 2
- Google官方MVP示例之TODO-MVP
- 一起学Django之Day01
- google的Guava库的callback使用分析
- phyton3.5 django典型错误
- AlexNet, VGGNet, GoogLeNet 对比
- django ORM model filter 条件过滤,及多表连接查询、反向查询字段
- google chrome当图片不显示时,默认显示边框的解决办法
- Ajax请求在IE和Google Chrome中可以响应,在Firefox中无法响应
- POJ 3767 I Wanna Go Home(Dijkstra)
- error:0D0C50A1:asn1 encoding routines:ASN1_item_verify:unknown message digest algorithm