第四章匹配问题及其应用一、匹配理论概念及基本性质(1)定义:1、设M是图G的边子集,称M是G中的一个匹配,若M中任二边在G中不相邻;M中的每条边的两个端点称为在M中相配;M中每边的端点称为被M许配;称M为G的一个完全匹配,若G中每个顶点皆被M许配;称G的最大匹配,若对任意的G的匹配,均有
2、权数:对于匹配M,它的权数为
3、称M为最优匹配,若M为所有匹配中权数最大的匹配
4、称P为关于匹配M的可扩路:设M是图G的一个匹配,若路P的边在M中交替出现,且P的两个端点是M不饱和的
5、称B是G的一个覆盖集:设,若G的每条边皆与B中的顶相关联
6、称B是G的极小覆盖:设,若B是G的一个覆盖集,但,不再是G的覆盖集
7、称B为G的最小覆盖:设,若B是G的顶数最小的覆盖集
8、G的覆盖数:最小覆盖中顶的数目,记作
9、AB为A与B的对称差:AB=,其中A、B为集合,有时也写成
(2)基本性质:1、M是图G中的一个最大匹配当且仅当G中无M的可扩路
2、设G是二分图,顶集的二分图划分为X与Y,满足①;②;③X中的任两点不相邻,Y中亦然;④,记;则存在把X中点皆许配的匹配的充要条件是,,其中是S中每个点的邻点组成的所谓S的邻集
求G的最大匹配M的算法:Step1:任取G的匹配M;Step2:若,则M为G的最大匹配,算法终止;若不存在M的可扩路,则M为G的最大匹配,算法终止
否则转到Step3;Step3:取M的可扩路P,作
Eg:求图G的最大匹配
路P:123456作===Step1:取取①上一边在M中交叉出现②、都是M不饱和的是关于M的可扩路
作=Step2:对于,也是可扩路
作==Step3:对于,也是可扩路
作==3、k次正则2分图有完备匹配,k>0
4、若G为二分图,则其最大匹配的边数为
5、图G有完备匹配当且仅当,,其中是中奇数个顶的连通片的个数
6、无桥三次正则图有完备匹配(所