Shlfa

一.理论准备需要读者事先懂得prime算法，不太了解的请看博主这一篇http://www.cnblogs.com/hxsyl/p/3286956.html，也需要读者对DP了解一些。先看一个结论：次小生成树可由最小生成树换一条边得到 证明:咱换种方式去看待这个结论(一个生成树可以通过换边得到另一个生成树)，T是某一棵最小生成树，T0是任一棵异于T的生成树，通过变换T0 --> T1 -->

定义在有向图G中，如果两个顶点间至少存在一条路径，称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。非强连通图有向图的极大强连通子图，称为强连通分量(strongly connected components)。Tarjan算法可以用于求一张有向图的最大强联通分量基本参数对于一张有向图上图来自byvoid大牛进行dfs搜索后会出现一棵df