离散结构：图论进阶

离散结构：图论进阶

一、匹配

1.0 引论

设 G=(V, E) 是简单图， M   E。 如果 M 中任何两条边都不邻接， 则称 M 为 G 中的一个匹配（matching）或边独立集

设顶点 v  V， 若存在 e  M， 使得 v 是 e 的一个端点， 则称 v 是 M-饱和的（matched or saturated） ， 否则称 v 是 M-非饱和的（unmatched）。

例子如下所示：

{v2, v4, v5, v6}是M-饱和顶点 {v1, v3}是M-非饱和顶点