知识点-Tarjan
强连通分量：在一个图的子图中，任意两个点相互可达，也就是存在互通的路径，那么这个子图就是强连通分量（或者称为强连通分支）。如果一个有向图的任意两个点相互可达，那么这个图就称为强连通图。
当我们实现基于dfs的Tarjan算法时，我们用D[i]记录节点i被访问的时间（别的博客用dfn[i]），用F[i]记录节点i或i的子树最小可以返回到的节点j的D[j]（别的博客用low[i]）。
让我们模拟一下dfs的过程，每个节点上左边的是D的值，右边的是F的值。
首先从节点1开始往下深搜，每次搜索都更新D值和F值，此时F值是节点本身。
当搜索到节点4时，已经无法继续搜索。而此时D值=F值，所以我们可以判定一个强连通分量（在代码中，需要借助“栈”来寻找强连通分量中所有节点），这个强连通量就是节点4。
从图我们也可以看出，节点4无法到达其它任意节点。
延伸阅读
- ssh框架 2016-09-30
- 阿里移动安全 [无线安全]玩转无线电——不安全的蓝牙锁 2017-07-26
- 消息队列NetMQ 原理分析4-Socket、Session、Option和Pipe 2024-03-26
- Selective Search for Object Recognition 论文笔记【图片目标分割】 2017-07-26
- 词向量-LRWE模型-更好地识别反义词同义词 2017-07-26
- 从栈不平衡问题 理解 calling convention 2017-07-26
- php imagemagick 处理 图片剪切、压缩、合并、插入文本、背景色透明 2017-07-26
- Swift实现JSON转Model - HandyJSON使用讲解 2017-07-26
- 阿里移动安全 Android端恶意锁屏勒索应用分析 2017-07-26
- 集合结合数据结构来看看(二) 2017-07-26
学习是年轻人改变自己的最好方式