启发
上文介绍了二分图的最大匹配,自然而然地想到,这个算法能否推广到一般图?
在一般图中,找到一个matching,使得它包含的边数最多。
我们发现上文算法中的基本概念augmenting path并非依赖于二分图的性质,这是一个好消息。
那么二分图特殊在哪儿呢?
G为二分图的充要条件是|G|>2且图中没有奇长度的环。
那么这个性质有什么影响呢?能否在原算法的基础上通过修改解决这个问题呢?如果不能,又要退回到更基本的概念和想法上。
这便是算法延展的一般思路。
症结
我们“照葫芦画瓢”,继续使用ST标号的方法,只不过这次没有boy和girl的说法了。得到如下标号规则:
1. 如果
x
∈
S
,
y
i
s
f
r
e
e
,
∃
(
x
,
y
)