若$(i,j)\in E$,实际上会不断推出$(p_{i},p_{j})\in E,(p_{p_{i}},p_{p_{j}})\in E,...$ 考虑将$i$向$p_{i}$连边得到了一张(由若干个环组成的)有向图,则$(i,j)\in E$有以下两个必要条件: 1.若$i$和$j$在同一个环中,则对应环长$l$必须恰为2 设$d$为$i$和$j$的环上距离,则环上距离为$d$的点对间都有边,则这$l$个点之间至少有$l$条边(特别的,若$l=2$时有重边),显然会产生环 2.若$i$和$j$…