Изменения

1) Дефисы, где следует, заменить на тире.

2) Можно убрать фразы про "разобьем на 2 доли" и т. д. Ясно, что алгоритм работает только на двудольных графах и можно сразу оперировать правой и левой долями.

3) Так как подробное описание краткое, то краткое, думаю, можно уничтожить что бы не читать два раза одно и тоже.

4) В алгоритме заменить (где это возможно) явную индексацию на теоретико-множественные операции. Ведь и так понятно как на самом деле можно реализовать ту или иную операцию. Название переменных лучше не сокращать.

5) v = 1...n1 - нехорошо. т. к. левый операнд типа вершина правый операнд - число.

6) Вместо пытаемся насытить - запускаем поиск увеличивающей цепи, нашли - делаем А, нет - делаем Б.

7) В поиске увеличивающей цепи не надо говорить: "Изначально стоим там-то" Это слышится как глас сверху: "встань в вершину v, о чудесный дфс, если это первый твой запуск". вершина v (лучше видимо u что бы не было конфликта имен) - это параметр дфса, который не должен знать о вершине каких-то внешних данных. И соответственно не должно быть special case для ребра из начальной вершины.