设AB为G的一条最长路径设C、D、E为A的3个前驱结点，则C一定在AB上(否则路径CAB比最长路径AB还长)同理D、E也在AB上,不失一般性，存在路径 A->C->D->E->B （E和B也可能是同一点，不过不影响结论）故存在长度至少为4的环 A->C->D->E->A
2
