匈牙利算法：二分图最大匹配的有效解法

匈牙利算法是一种用于解决二分图最大匹配问题的算法，其原理如下：

1. 初始化：将所有节点的匹配状态设置为未匹配。

2. 对于每个未匹配的节点，尝试为其找到一条增广路径。

3. 在增广路径中，交替选择未匹配的节点和已匹配的节点，形成一个交错路径。如果路径的起点是未匹配节点，则说明找到了一条增广路径。

4. 如果找到了增广路径，将路径上的所有节点的匹配状态进行调整，即将未匹配的节点与已匹配的节点进行匹配，已匹配的节点与未匹配的节点取消匹配。

5. 重复步骤2和3，直到无法找到增广路径为止。

6. 最终，所有的节点都会被匹配，形成一个最大匹配。

匈牙利算法的关键在于如何找到增广路径。通常使用深度优先搜索（DFS）来搜索增广路径，从一个未匹配节点开始，递归地搜索与它相邻的节点，直到找到一条增广路径或无法继续搜索为止。

匈牙利算法的时间复杂度为O(V^3)，其中V是节点的数量。