Ответы:
Для двудольного графа и максимального соответствия группы помощью теоремы Кенига мы видим, что где является минимальной вершиной покрытия для . Ваше утверждение - это просто верхняя граница размера возможного соответствия, а не строгое равенство.
Изображение на странице википедии представляет собой хороший контрпример к вашей заявке. Мы видим, что , а .
Однако в случае полного двудольного графа ваше утверждение выполнено.