【算法】匈牙利算法（二分图最大匹配算法）详细说明

---

匈牙利算法，又称为二分图最大匹配算法，是解决二分图最大匹配问题的经典算法之一。它的基本思想是通过不断增广路径来寻找最大匹配。

二分图是指一个图中的所有节点可以被分为两个不相交的集合，且图中的所有边都连接着这两个集合中的节点。最大匹配是指在一个二分图中，能够连接最多节点的边的集合。

匈牙利算法的具体实现步骤如下：

1. 初始化一个空的匹配集合M。

2. 对于每个未匹配的左节点，尝试寻找增广路径。增广路径是指从一个未匹配的左节点开始，交替经过未匹配的右节点和匹配了的左节点，最终到达另一个未匹配的左节点的路径。

3. 如果找到了增广路径，就将路径上的所有边加入到匹配集合M中。如果没有找到增广路径，则说明当前匹配是最大匹配，算法结束。

4. 重复步骤2和3，直到找到了所有的增广路径。

匈牙利算法的时间复杂度为O(VE)，其中V和E分别是二分图中的节点数和边数。在实际应用中，可以使用优化技巧来减少算法的时间复杂度，例如使用DFS来寻找增广路径，或者使用带权二分图匹配算法来解决带权匹配问题。