深搜的一个性质

括号引理:

深搜的一个性质

我们将每个节点的其实时间和结束时间映射到一个时间轴上,正如图二所示。

括号引理:从a点的时间跨度范围来看,如果我们经过深搜后能够找到图二所示的一棵树(蓝线和红线所包围的那棵),那么在这棵树中,任何一个祖先的时间跨度范围都会完完全全的包含其后代的时间跨度范围;反之,任何一个后代的时间跨度范围都会完完全全的包含在其祖先的时间跨度范围内。反之亦然。