在有向图的补图及部分补图上进行简单的深度优先搜索

对有向图顶点的补运算会将所有出弧变为非弧，并将所有出非弧变为弧。部分补有向图 $\widetilde{G}$ 是通过对 $G$ 执行一系列顶点补运算而得到的有向图。Dahlhaus 等人表明，给定 $\widetilde{G}$ 的邻接表表示，可以在 $O(n + \widetilde{m})$ 时间内对 $G$ 执行深度优先搜索 (DFS)，其中 $n$ 是顶点数，$\widetilde{m}$ 是 $\widetilde{G}$ 中的边数。为了达到这一界限，他们的算法利用了一种略显复杂的类栈数据结构来模拟递归栈，而非直接将其实现为递归算法。我们提出了一种不使用复杂数据结构的 $O(n+\widetilde{m})$ 递归算法。