深搜的一個性質

括號引理： 我們將每個節點的其實時間和結束時間映射到一個時間軸上，正如圖二所示。 括號引理：從a點的時間跨度範圍來看，如果我們經過深搜後能夠找到圖二所示的一棵樹（藍線和紅線所包圍的那棵），那麼在這棵樹中，任何一個祖先的時間跨度範圍都會完完全全的包含其後代的時間跨度範圍；反之，任何一個後代的時間跨度範圍都會完完全全的包含在其祖先的時間跨度範圍內。反之亦然。

>>阅读原文<<