73
правки
Изменения
м
→Корректность алгоритма Ху-Таккера: ссылка на книгу
== Корректность алгоритма Ху-Таккера ==
Как пишет Д. Кнут короткого доказательства алгоритма не известно, и вероятно оно ни когда не будет найдено. Для доказательства своего алгоритма Ху и Таккеру потребовалось 3 теоремы и 2 леммы(См. книгу Т.Ч.Ху и М.Т.Шинг Комбинаторные алгоритмы <tex>-</tex> стр.172).
== Сложность алгоритма ==
