1-Factor Expansion of Independent Edge Set in Abipartite Graph

• 偶图中独立边集的1－因子扩张