离散结构:图论进阶
離散結構:圖論進階
一、匹配
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-非飽和頂點 |
總結
- 上一篇: 【程序设计】浅析编程语言的区间为何常是左
- 下一篇: 【算法分析与设计】查找第K大/小元素问题