多分有向图的同构因子分解——对Harary,Robinson,Wormald的一个关于有向图的同构因子分解猜想的证明

一个有向图D=(V,X)的一个同构因子分解是弧集合X的一个分划{X_1,X_2,…,X_i},使得昕有支撑子图(V,X_1),(V,X_2,),…,(V,X_i)都彼此同构。有向图D的每个非孤立的支撑子有向图被称为它的一个因子。若有向图D能分解为t个同构因子,