摘要：
P3387 题目链接 题意 2-SAT板题 思路 依据约束关系建图，用$Tarjan$跑强连通分量，如果一个值的true和false再同一个强连通分量则无解 我觉得最具有争议的地方就是洛谷的输出，输出本来按照缩点后的拓扑序，同一个值的true和false状态选择拓扑序大的作为结果即可，即选SSC编号 阅读全文
摘要：
tarjan算法的简单应用 hdu1269 题目链接 题意 给定有向图，问改有向图是否只有一个强连通分量 思路 tarjan算法求有向图强连通分量的简单应用 代码 #include <iostream> #include <cstring> #include <string> #include <a 阅读全文