Изменения

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

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

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

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

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

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

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