1
правка
Изменения
→Важно! Недоказанное утверждение в описании общего метода: новая тема
После применения операции могут исчезать нули на ребрах между <tex>X_c</tex> и <tex>Y_c</tex>. Из-за этого оценка <tex>O(n^5)</tex> перестает быть очевидной. Я не знаю, верна ли она на самом деле, но можно просто показать, что алгоритм завершается (в той же статье есть доказательство). --[[Участник:Igor buzhinsky|Игорь Бужинский]] 23:58, 11 марта 2012 (GST)
== Важно! Недоказанное утверждение в описании общего метода ==
В описании общего метода не установлено никаких ограничений на алгоритм поиска максимального паросочетания. Соответственно, мы НЕ можем с уверенностью сказать, что для любого способа поиска максимального паросочетания на любой итерации алгоритма, у нас не будет добавляться ребро, которое было удалено на прошлой итерации, подразумевавшееся ненужным для увеличения паросочетания. И, как следствие, алгоритм теоретически может зациклится. Это серьезное упущение в доказательстве, которое даже ставит под сомнение корректность алгоритма. В связи с чем, прошу автора статьи срочно принять нужные меры.
