54图的匹配.docVIP

第四节 图的匹配 一、什么是图的匹配 1.图的定义 无向图：无向图G是指非空有限集合VG，和VG中某些元素的无序对的集合EG，构成的二元组(VG，EG)。VG称为G的顶点集，其中的元素称为G的顶点。EG称为G的边集，其中的元素称为G的边。在不混淆的情况下，有时记V＝VG，E＝EG。如果V＝{v1,…,vn}，那么E中的元素e与V中某两个元素构成的无序对(vi，vj)相对应，记e＝vivj，或e＝vjvi。在分析问题时，我们通常可以用小圆圈表示顶点，用小圆圈之的连线表示边。 二分图：设G是一个图。如果存在VG的一个划分X，Y，使得G的任何一条边的一个端点在X中，另一个端点在Y中，则称G为二分图，记作G＝(X，Y，E)。如果G中X的每个顶点都与Y的每个顶点相邻，则称G为完全二分图。 2.匹配的相关概念 设G＝(V，E)是一个图，，如果M不含环且任意两边都不相邻，则称M为G的一个匹配。G中边数最多的匹配称为G的最大匹配。 对于图G＝(V，E)，在每条边e上赋一个实数权w(e)。设M是G的一个匹配。定义，并称之为匹配M的权。G中权最大的匹配称为G的最大权匹配。如果对一切，e∈E，w(e)=1,则G的最大权匹配就是G的最大匹配。 设M是图G=(V,E)的一个匹配，vi∈V。若vi与M中的边相关联，则称vi是M饱和点，否则称vi为M非饱和点。 如果G中每个顶点都是M饱和点，则称M为G的完美匹配