离散数学_第6章_图论(2)教学文稿.ppt

离散数学 注：?匹配又称为对集(并列集、径集)，通常将匹配E1记为M ； 　 ?匹配M中的边e?M称为杆(bar)； ?完美匹配一定是最大匹配； 　　?最大匹配不一定是完美匹配； ?(|M|=|V1|?|V2|)?(|M|=|V2|?|V1|)?M一定是最大匹配； ?M是最大匹配?(|M|?|V1|?|V2|)?(|M|?|V2|?|V1|)； ?|V1|?|V2| ?图G一定没有完美匹配。 离散数学 例9.在例1的图1.G中(P73) ，红线所示的边集 M={(u2,v1), (u3,v2), (u4,v3), (u5,v4), (u6,v5), (u8,v6), (u9,v7)} 是图G的一个匹配； 　M也是图G的一个最大匹配(因为：|M|=|V2|?|V1|)； 　并且， M还是图G的一个从V2到V1的最大匹配(同上)； 但M显然不是图G的一个完美匹配(因为：|V1|?|V2|)。 例10.在图10.所示的完全二分图 K3,3(3-正则偶图)中，红线所示的 边集M={(v1,v4), (v2,v5), (v3,v6)} 显然是图G的一个匹配、最大匹 配和完美匹配。 v1 v2 v3 v5 v4 v6 图10 离散数学 例1.相异代表系(SDR)问题及其数学模型的一个实例 　设有相异代表系问题如下：有9个人