Рассмотрим граф с первой долей {1, 2, 3} и второй долей {a, b, c}. Задано паросочетание M = {1a, 3b}. Напомним, что увеличивающий путь (цепь) – это путь, который начинается с вершины, не покрытой паросочетанием, и заканчивается вершиной, не покрытой паросочетанием, и в котором дуги попеременно не принадлежат и принадлежат M.
Шаг 1. Определим, какие вершины покрыты, а какие – нет.
• В первой доле: 1 и 3 покрыты (так как 1a и 3b входят в M), незакрыта вершина 2.
• Во второй доле: a и b покрыты (1a и 3b), незакрыта вершина c.
Таким образом, увеличивающий путь должен начинаться из вершины 2 (пе...