摘要：P3387 题目链接 题意 2-SAT板题 思路 依据约束关系建图，用$Tarjan$跑强连通分量，如果一个值的true和false再同一个强连通分量则无解 我觉得最具有争议的地方就是洛谷的输出，输出本来按照缩点后的拓扑序，同一个值的true和false状态选择拓扑序大的作为结果即可，即选SSC编号 阅读全文

摘要：tarjan算法的简单应用 hdu1269 题目链接 题意 给定有向图，问改有向图是否只有一个强连通分量 思路 tarjan算法求有向图强连通分量的简单应用 代码 #include <iostream> #include <cstring> #include <string> #include <a 阅读全文

摘要：点双连通 poj1523 题目链接 题意 给出无向图，求割点，并给出每个割点去掉后会形成几个分量 思路 tarjan，会形成几个分量注意根节点的不同即可 代码 #include <iostream> #include <cstring> #include <string> #include <alg 阅读全文

摘要：kosarajo求强连通分量的证明 因为根据反向图的dfs求出的拓扑序列使得原本的DAG图中点的搜索优先级倒转 所以在原图dfs会优先将最末端的点优先跑完，而上面的点再跑时，因为下面的点已经被标记过，阻止了连通块的扩张 按照DAG的逆优先顺序，从下到上，依次把强连通分量“挖出来” 例题 poj218 阅读全文

摘要：一个小知识点：即用floyd求解两点之间的是否可达 poj1575 题目链接 题意 求出不可能为中位数的水滴 思路： 依据重量关系建图，用floyd求解，求出每个点可到达点的个数和别的点可到达该点的个数，若两个数其中有一个超过$\frac{n}{2}$，则该点必不可能是中位数点 代码： #inclu 阅读全文