Question

深搜策略：在深搜过程中，对于最新发现的顶点，如果它还有以此为起点的而未探测到的边，就沿此边继续探测下去。当顶点 v 的所有边都已被探测过后，搜索将回溯到发现顶点 v 有起始点的那些边。

时间戳：当顶点 v 第一次被发现时记录下第一个时间戳 d[v]，当结束检查 v 的邻接表时，记录下第二个时间戳 f[v]。v 在 d[v]时刻前是白色的，在时刻 d[v]和 f[v]之间是灰色的，在时刻 f[v]之后是黑色的。

括号定理，后裔区间的嵌套，白色路径定理

边的分类：（1）树边（2）反向边（3）正向边（4）交叉边

对无向图 G 进行深度搜索时，G 的每一条边，要么是树边，要么是反向边。