二分图-最大匹配问题

Question

有一个二部图，B与B中的M匹配。 S是通过匹配M匹配的一组节点。 同样，M1是图中最大的大小匹配，可确保S中的每个节点在M1中都匹配。 令M ∗为B中的最大匹配，而没有此限制。 显示| M1 | ≤| M ∗ |。是| M1 | = | M ∗ |？ 我无法考虑如何解决这个问题。 我会很高兴为您提供一些提示，可以指导我朝正确的方向前进。