Time Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 2118 Accepted Submission(s): 912
小时候,乡愁是一枚小小的邮票,我在这头,母亲在那头。
—— 余光中
集训是辛苦的,道路是坎坷的,休息还是必须的。经过一段时间的训练,lcy决定让大家回家放松一下,但是训练还是得照常进行,lcy想出了如下回家规定,每一个队(三人一队)或者队长留下或者其余两名队员同时留下;每一对队员,如果队员A留下,则队员B必须回家休息下,或者B留下,A回家。由于今年集训队人数突破往年同期最高记录,管理难度相当大,lcy也不知道自己的决定是否可行,所以这个难题就交给你了,呵呵,好处嘛~,免费**漂流一日。
第一行有两个整数,T和M,1<=T<=1000表示队伍数,1<=M<=5000表示对数。
接下来有T行,每行三个整数,表示一个队的队员编号,第一个队员就是该队队长。
然后有M行,每行两个整数,表示一对队员的编号。
每个队员只属于一个队。队员编号从0开始。
可行输出yes,否则输出no,以EOF为结束。
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
yes
no
威士忌
HDOJ 2007 Summer Exercise(3)- Hold by Wiskey
思路:很明显的2-sat题目,建图时先根据队内连边,假设a是队长bc队员,如果队长回去,队员必须留下 连边
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;
#define LL long long
const int INF = 0x3f3f3f3f;
#define MAXN 100100
#define MAXM 5000100
struct node
{
int u, v, next;
} edge[MAXM];
int dfn[MAXN], low[MAXN], s[MAXN], Stack[MAXN], in[MAXN], block[MAXN];
int cnt, tot, index, bnum, ctt;
void init()
{
memset(s, -1, sizeof s);
memset(dfn, 0, sizeof dfn);
memset(low, 0, sizeof low);
memset(Stack, 0, sizeof Stack);
memset(in, 0, sizeof in);
memset(block, 0, sizeof block);
cnt = tot = index = bnum = 0;
}
void add(int u, int v)
{
edge[cnt].u = u;
edge[cnt].v = v;
edge[cnt].next = s[u];
s[u] = cnt++;
}
void tarjan(int x)
{
dfn[x] = low[x] = ++tot;
Stack[++index] = x;
in[x] = 1;
for (int i = s[x]; ~i; i = edge[i].next)
{
int v = edge[i].v;
if (!dfn[v])
{
tarjan(v);
low[x] = min(low[x], low[v]);
}
else if (in[v])
{
low[x] = min(low[x], low[v]);
}
}
if (dfn[x] == low[x])
{
bnum++;
do
{
//printf("%d ",Stack[index]);
block[Stack[index]] = bnum;
in[Stack[index--]] = 0;
} while (Stack[index + 1] != x);
// printf("\n");
}
}
bool solve()
{
for (int i = 0; i < ctt; i++)
if (!dfn[i])
tarjan(i);
for (int i = 0; i < ctt; i += 2)
{
if (block[i] == block[i ^ 1])
return 0;
}
return 1;
}
int main()
{
int n, m,a,b,c;
while (~scanf("%d%d", &n, &m))
{
ctt = 6 * n;
init();
for (int i = 0; i < n; i++)
{
scanf("%d%d%d", &a, &b, &c);
int x = 2 * a, y = 2 * b, z = 2 * c;
add(x ^ 1, y);
add(x ^ 1, z);
add(y ^ 1, x);
add(z ^ 1, x);
}
for (int i = 0; i < m; i++)
{
scanf("%d%d", &a, &b);
int x = 2 * a, y = 2 * b;
add(x, y ^ 1);
add(y, x ^ 1);
}
if (solve()) printf("yes\n");
else printf("no\n");
}
return 0;
}