0

为了清楚起见 - c-Expander 图是一个有向图 G(V,E),有 2 个不相交集(A 和 B),大小等于或大于 c,在 A 的节点和 B 的节点之间至少有一个 Vertex .

我必须证明该图中有一条长度为 n-2c+1 的简单有向路径。

有任何想法吗?

(我得到的提示 - 证明在运行 DFS 时有一个阶段,黑色节点的数量等于白色节点的数量,其中 BLACK 节点是我们完成工作的节点,WHITE 节点是我们尚未处理的节点开始工作)

4

0 回答 0