> 设最长链是MN->已知[1]
> 设由B开始DFS得到最长路为BC->已知[2]
> 结论[1] MN与AB有公共点.否则MN<AM+AN<=AM+AB=BM 与已知[1]矛盾
> 结论[2] B是最长链的一个端点.否则由结论[1] 设K是AB上距B最近且在MN上的点 则MN=MK+KN=MK+AN-AK<=MK+AB-AK=MK+BK=BM 当取等号时MB与MN等长 符合结论[2] 否则与已知[1]矛盾  [这里假定了A不在NK上.若A在NK上 只须将上面式子中MN交换位置即可 不影响结论]
> 结论[3] BC是一条最长链.否则由结论[2] 设经过B的最长链为BD 则BD>BC 与已知[2]矛盾
> 至此证毕


我能问句：为啥不是floyed的去算啊