我只看了证明部分，没看代码。

问题在于：

抄袭 这个博客 过多。虽然作者说的参考的 CSDN 上的博客，不过那个博客一样是转载，貌似这个博客才是起源。

对于一些原文不清晰的定义还是说得不清晰。比如我在博客园那个博客看了很多遍都没搞清楚半支配点的“能到达”是指 DFS 树上能到达还是指图上能到达（虽然这个问题有点弱智）。

然后你这推论、证明不就跟原博客差了几个字吗，而且还没抄完。。

比如原博客花了几句话解释了前向边、后向边、横向边，这个日报直接就用了这几个名词，却不解释它们的一丝，如果真有萌新看这个日报，估计什么都看不懂。

另外就是推论 $1$，原博客写的是一个分段函数表达式，日报写的是什么奇葩表达式，感觉是为了避嫌故意写得跟原文不一样。

综上：

希望原作者可以尽快改一下？