求出有向图的所有最大匹配

对于一个有向图，我们可以使用匈牙利算法来求解其最大匹配。

匈牙利算法的基本思想是通过增广路径来不断扩展匹配，直到无法再找到增广路径为止。下面是匈牙利算法的步骤：

1. 初始化一个空的匹配 M。
2. 对于图中的每个顶点 v，尝试将其与一个未匹配的顶点 u 进行匹配。如果能够成功匹配，则将 (v, u) 加入到匹配 M 中。
3. 如果存在一个未匹配的顶点 v，尝试寻找一条从 v 出发的增广路径：
- 如果找到了增广路径，则根据路径上的奇偶性来调整路径中的匹配边和非匹配边，从而扩展当前的匹配。
- 如果没有找到增广路径，则说明当前的匹配已经是最大匹配，算法结束。
4. 重复步骤 3 直到无法找到增广路径。

通过以上步骤，最终得到的匹配 M 就是有向图的最大匹配。

需要注意的是，匈牙利算法是一个经典的算法，其时间复杂度为 O(V * E)，其中 V 是顶点数，E 是边数。在实际应用中，可以使用一些优化技巧来提高算法的效率。