图论学习八之支配集、覆盖集、独立集 与匹配

　　　　　　　　　　匹配

• 设G = <V, E>, 若E*(E*E)中任何两条边均不相邻,
　　• 则称E*为G中边独立集, 也称E*为G中的匹配(Matching);

图(a)中， E*= { e1, e4, e7 }就是一个匹配。所
谓任何两条边均不相邻，通俗地讲，就是任
何两条边都没有公共顶点。

 

若在E*中加入任意一条边所得集合都不是匹配, 则称E*为极大匹
配;
边数最多的匹配称为最大匹配;
最大匹配的边数称为边独立数或匹配数, 记作β₁(G), 简记为β₁。

　　图(a)中, { e2, e6 }, { e3, e5 }, { e1, e4, e7 }都是极大匹配,
{ e1, e4, e7 }是最大匹配, β₁ = 3。
　　图(b)中, { e1, e3 }, { e2, e4 }, { e4, e7 }都是极大匹配, 也
都是最大匹配, β₁ = 2。

 

 

　　　　　　　　二部图(二分图)

二部图：如果图G是一个简单图，它的顶点集合V是由两个没
有公共元素的子集X={X1,X2,..,Xm}与子集Y={Y1,Y2,…,Yn}，
并且Xi与Xj(1≤i,j≤m)之间， Ys与Yt(1≤s,t≤m)之间没有边连接，
则G称为二部图。

 

• 下面介绍一些重要结论，是解决匹配问题的利器
　　• 可以将一些看上去不像匹配的问题转化成匹配问题。

• 能解决90%的二分图匹配问题

• 结论要求记忆

 

 

　　　　　　　　点支配集、点覆盖集、点独立集
　　　　　　　　　　(都是顶点的集合)

定义 支配与支配集
　　设图G = <V, E>, V*⊆V, 若对于任意vi∈V - V*, 存在vj∈V*,
　　使得: (vi, vj)∈E, 则称vj支配vi, 并称V*为G的一个支
　　配集;

 

图(a)中， V*={ v1, v5 }就是一个支配集。因为
V-V*={v2, v3, v4, v6, v7}中的顶点都是V*中顶
点的邻接顶点。 通俗地讲，所谓支配集，就
是V中的顶点要么是V*集合中的元素，要么
与V*中的一个顶点相邻。

 

若支配集V*的任何真子集都不是支配集, 则称V*是极小支配集;
顶点数最少的支配集称为最小支配集;
最小支配集中的顶点数称为支配数, 记作γ₀(G)或简记为γ₀。

 

 

 　　在图(a)中, { v1, v5 }, { v3, v5 }和{ v2, v4, v7 }都是极小支
配集, { v1, v5 }, { v4, v5 }和{ v3, v6 }都是最小支配集,
γ₀ = 2。
　　图(b)为7阶星形图, { v0 }, { v1, v2, ..., v6 }为极小支配集,
{ v0 }为最小支配集, γ₀ = 1。
　　图(c)为轮图W6, { v0 }, { v1, v3 }, { v1, v4 }等都是极小支
配集, 显然,

转载于:https://www.cnblogs.com/Mary-Sue/p/9342493.html