摘要：欧拉回路的证明我都没写，这个我却写了，哎。 题目 题目 做法 第一问其实就是让你求用强连通缩点之后入度为$0$的点。 不难证明的一件事情是，缩点之后是个$DAG$，而$DAG$必然存在入度为$0$的点（如果不存在，你从一个点出发一直走指向你的边，最后就会走成一个环。）。 入度为$0$的点是肯定需要放 阅读全文

摘要：其实还是晚上的思考 为什么晚上这么多思考啊(╯‵□′)╯︵┻━┻ 还有我还花了一个上午，就证了这么一个SB东西(╯‵□′)╯︵┻━┻ 点双存在条件 点双联通分量的定义：一个无向连通图中不存在割点即可。 一个无向联通图是点双，当且仅当满足以下条件之一： 图的顶点数不超过2 图中任意两点都存在于至少一个 阅读全文

摘要：updata：修正错误 有向图强连通分量 有向图强连通分量就是在一个强连通分量里面，每个点都能到达分量里面其他所有点。（很明显的是每个点只能属于一个分量） 那么，如何求？ Tarjan算法 例题 定义 我们定义一个low数组与一个dfs数组与一个ts（时间戳，不需要过多理解，下文看了就知道功能了） 阅读全文