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