任给kk2k3k4k5EY,则 (7-k)(7-k2)(7-k3)(7-k4)(7-k)∈X 即 XI≤Y|,同理可证|Y|≤|XI,故IX=Y 推论1互开图G(V,日是以X与Y为顶 点划分的二部图。 引理3互开图G(V,目有完美匹配。 利用匈牙利算法可以得到互开图的一个完美匹配。 任给 k1k2k3k4k5 ∈ Y，则 (7-k1 ) (7-k2 ) (7-k3 ) (7-k4 ) (7-k5 ) ∈X 即 推论1 互开图 G(V, E) 是以 X 与 Y 为顶 点划分的二部图。 |X|≤|Y|，同理可证|Y|≤|X|，故 |X|=|Y|。 引理3 互开图G(V, E) 有完美匹配。 利用匈牙利算法可以得到互开图的一个完美匹配