图解匈牙利算法：如何用‘相亲模型’理解二分图匹配（含时间复杂度分析）

图解匈牙利算法：如何用‘相亲模型’理解二分图匹配（含时间复杂度分析）

在计算机科学中，图论算法常常因为其抽象性让初学者望而生畏。今天，我们将通过一个生动有趣的"相亲"类比，来揭开匈牙利算法这一经典二分图匹配算法的神秘面纱。无论你是正在学习数据结构与算法的学生，还是对图论感兴趣的开发者，这种生活化的解释方式都能帮助你快速掌握算法的核心思想。

匈牙利算法由匈牙利数学家Dénes Kőnig于1931年提出，主要用于解决二分图的最大匹配问题。所谓二分图，是指图中的所有顶点可以被划分为两个不相交的集合，且图中每条边所连接的两个顶点分别属于这两个不同的集合。这种结构在现实生活中非常常见，比如求职者与职位、学生与课程、当然也包括我们今天的主题——相亲中的男女嘉宾。

1. 从相亲场景理解二分图匹配

想象这样一个场景：在一个相亲派对上，有若干位男士和女士参加。每位参与者都有自己的心仪对象列表，组织者的目标是促成尽可能多的成功配对。这就是二分图匹配问题的现实映射——将两个集合（男士和女士）中的元素按照他们的偏好（边）进行最优匹配。

二分图的基本要素：

• 顶点集合V分为两个子集：V = L ∪ R，L ∩ R = ∅
• 所有边e ∈ E都连接L和R中的顶点，即e = (l, r)，其中l ∈ L，r ∈ R
• 匹配是指一组没有公共顶点的边集合

在相亲模型中：

• L集合代表所有男士
• R集合代表所有女士
• 边(l,r)表示男士l对女士r有好感

注意：在实际算法中，我们并不要求好感是双向的，这与现实中的相亲略有不同。

2. 匈牙利算法的核心思想

匈牙利算法采用了一种"先到先得，但可协商调整"的策略，这与现实中的相亲过程惊人地相似。让我们通过一个具体例子来理解：

假设有三男三女参加相亲：

• 男1喜欢女1和女2
• 男2只喜欢女1