了解Hopcroft-Karp算法的复杂性证明

问题描述

这是作者在1973年给出的Hopcroft-Karp算法的长达7页的描述（我猜是其中的更大篇幅）。 https://web.eecs.umich.edu/~pettie/matching/Hopcroft-Karp-bipartite-matching.pdf

在第228页有一个定理3。在其证明中，我不明白“ r命题/等式”来自何处（

让r =⌊s-sqrt（s）⌋

），其中

s

是最大匹配项的基数

作者从未对此进行解释。我试图了解这个r的来源，但失败了。如果有人能给我提示在哪里看的话，那真棒

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）