摘要：hdu2767 Proving Equivalences 传送门 题意 给定一个$n(1\leq n\leq 20000)$个顶点，$m(0\leq m\leq 50000)$条边的有向图，至少添加几条边可以使得整个图变成强连通图？ 题解 强连通分量缩点，判断每个点的出度或者入度是否为零，最终结果为 阅读全文

摘要：hdu1827 Summer Holiday 传送门 题意 给定一个$n(1\leq n\leq 1000)$个点，$m(1\leq m\leq 2000)$条边的有向图，每个点都有权值，选取一些点，使得这些点可以连接到图中所有的点，计算总权值的最小值 题解 强连通分量缩点，将图变成几个$DAG$， 阅读全文

摘要：有向图的dfs树 有向图的dfs树包含4种边： 1.树边。每次搜索找到一个还没有被访问过的节点时，生成一条树边 2.返祖边。指向祖先节点的边 3.横叉边。搜索时遇到了一个已经访问过的节点，但是这个节点并不是当前节点的祖先节点 4.前向边。搜索时遇到已经访问过的子树中的节点 图中节点编号为dfs序的编 阅读全文

摘要：第一次dfs为后序遍历 第二次dfs将所有边反向，从编号最大的顶点开始（也就是原图缩点后形成的DAG根节点所在的强连通分量），由于边反向后，不能由这个强连通分量访问到其他强连通分量的顶点，而强连通分量内部之间的顶点不受影响，所以每一次dfs所遍历到的所有顶点形成一个强连通分量 通过这种算法得到的强连 阅读全文