标签： algorithm graph nodes depth-first-search vertex
只是为了说清楚 - c-Expander图是一个有向图G（V，E），有2个不相交集（A和B），大小等于或大于c，在A的节点之间至少有一个顶点B的节点。
我必须证明在该图中有一条长度为n-2c + 1的简单有向路径。
任何想法？
（我得到的一个提示 - 证明在运行DFS时有一个阶段，黑色节点的数量等于白色节点的数量，其中BLACK节点是我们完成的节点，WHITE节点是节点我们尚未开始工作）