Обсуждение:Алгоритм Куна для поиска максимального паросочетания

1) :Просматриваем все вершины [math]v[/math] первой доли графа [math]u \in V_1[/math]. Что это?

2) Вынести доказательство корректности в теорему. Нормально доказать.

В целом, тут нужны некоторые небольшие изменения, что бы сделать его более понятным.