简述匈牙利算法求解最大匹配的主要过程。_二分图最大权值匹配算法（KM算法）和匈牙利算法...

1.二分图

二分图又称为是二部图，我们在离散数学中学习过，它是一种特殊的图结构，假设图

,其中所有的顶点可以划分为满足下列条件的两个子集

：

在E中任取一条边

,

,

是两个互不相交的集合。

这样的图称为二分图。

2.二分图的匹配

二分图的匹配问题在有限资源分配时经常会用到，为了保证某一个资源分且只分到某一个用户的手中，二分图的匹配就是派上用场。二分图的匹配可以看成是二分图的一个子图，该子图满足以下条件：

在这个子图g中，不存在有任意的两条边依附于同一个顶点

在二分图的匹配当中，有两种常见的匹配目标，一个是最大匹配，即尽可能多地将

中的点配对；另一个是

最佳匹配，最佳匹配的应用场景则是在带权二分图中，最佳匹配就是

中所有的点都与

中的某一个点匹配成对，并且能够使得这些边的权值之和最大的匹配。 显然，满足最大匹配的子图可能不唯一，而满足最佳匹配的子图，由于不同边可能有一样的权值，也可能不唯一。

3.匈牙利算法

在解决二分图匹配问题时，我们可以采用匈牙利算法，这种算法的核心思想在于寻找增广路，什么是增广路呢？假定

已经是分配好的边，

是尚且没有分配的边，如果存在路径类似于

,从尚未分配的边开始寻找，在途中分配、未分配交替出现，最后结