Изменения

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