Algorithm 图算法，近似算法

去掉随机图的dfs树的叶子后，假设剩下的边数是| S |，我们能证明该图的匹配是| S |/2吗？

这里有一个证明

定理：设

T

是任何有

i

叶的树。在

T

中有一个

（|T |-i）/2

匹配

---

证明：通过归纳法。如果

T

是具有

i

叶子的树，则让

T'

成为从

T

中移除所有叶子时产生的树

T'

has

j By | S |/2你是指地板还是天花板？1）是| S |删除DFS树的叶子或原始随机图后的边数？2） “匹配”是指最大匹配还是任何匹配都可以？@kunigami 1）| S |是在删除DFS树的叶子之后2）任何最大匹配都可以，任何匹配都可以。为了纠正我的问题，它是天花板（| S |/2），而不仅仅是| S |/2。好了，现在我明白了。所以我认为基思·兰德尔回答了你的问题：）