hdoj1826 2-SAT问题尽量写简洁一点

最新推荐文章于 2025-06-12 16:32:28 发布

yx_zzzz

最新推荐文章于 2025-06-12 16:32:28 发布

阅读量166

点赞数 1

分类专栏： C++ 文章标签：图论

本文链接：https://blog.youkuaiyun.com/weixin_51768998/article/details/124867241

版权

这是一道关于2-SAT问题的编程题，描述了队伍回家的规定，并给出了一种解决方案。通过建立条件并利用2-SAT模板进行图的构建和Tarjan算法求解强连通分量，判断是否可行。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Let’s go home
Time Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 1584 Accepted Submission(s): 635

Problem 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模板题，题目很简单，就2个条件，第一个条件中要求A去那么B、C一定离开，B去那么A一定离开，C去那么A一定离开，因此能够得到四个条件。第二个条件说明A去那么B
不去，或者B去A不去，注意可以A和B都不去（这个条件没有get到，样例没看懂还特意问了队友。。。。）。用i来表示i去，i+3*n来表示i不去。因此按照题目约束关系建图，跑一遍tarjan求SCC，然后判断是否有矛盾即可。

#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define sf(n) scanf("%d",&n)
const int N=3003;//N开三倍，因为一队3人
struct edge{
   
	int to,nxt;
}e[N<<3];
int head[N<<1],<