Изменения
Нет описания правки
1) Дефисы, где следует, заменить на тире.2) Можно убрать фразы про "разобьем на 2 :Просматриваем все вершины <tex>v</tex> первой доли" и т. д. Ясно, что алгоритм работает только на двудольных графах и можно сразу оперировать правой и левой долямиграфа <tex>u \in V_1</tex>.Что это?3) Так как подробное описание краткое, то краткое, думаю, можно уничтожить что бы не читать два раза одно и тоже.42) В алгоритме заменить (где это возможно) явную индексацию на теоретико-множественные операцииВынести доказательство корректности в теорему. Ведь и так понятно как на самом деле можно реализовать ту или иную операцию. Название переменных лучше не сокращатьНормально доказать.5) v = 1...n1 - нехорошо. т. к. левый операнд типа вершина правый операнд - число. 6) Вместо пытаемся насытить - запускаем поиск увеличивающей цепи, нашли - делаем А, нет - делаем Б.7) В поиске увеличивающей цепи не надо говорить: "Изначально стоим там-то" Это слышится как глас сверху: "встань в вершину vцелом, о чудесный дфстут нужны некоторые небольшие изменения, если это первый твой запуск". вершина v (лучше видимо u что бы не было конфликта имен) - это параметр дфса, который не должен знать о вершине каких-то внешних данных. И соответственно не должно быть special case для ребра из начальной вершинысделать его более понятным.
