什么是二分图最大匹配？

• 二分图: 一个图的顶点可以被分为两个独立的集合 U 和 V，使得所有的边都连接 U 和 V 中的顶点，而 U 或 V 内部没有边。
• 匹配: 图中的一个边的集合，其中任意两条边都没有公共的顶点。
• 最大匹配: 一个图中，包含边数最多的匹配。