标签:
=================================================================
匹配:设M是E的一个子集,它的元素是G中的连杆,并且这些连杆中的任意两个在G中均不相邻,则称M为G中的对集(或匹配)。
配对:M中一条边的两个端点称为在M下是配对的。
饱和:若对集M的某条边与定点v关联,则称M饱和顶点v,并且称v是M饱和的,否则称v是M非饱和的。
完美对集:若G的每个顶点均是M饱和的,则称M是G的完美对集。
M交错路:设M是G的对集,G的M交错路是指其边在E\M和M中交错出现的路。
M可扩路:M可扩路是指起点和终点都是M非饱和的M交错路。
定理5.1:G的对集M是最大对集当且仅当G不包含M可扩路。
标签:
原文地址:http://www.cnblogs.com/liugl7/p/4513457.html