Задача коммивояжера(1-tree)

[yarchi]

Здравствуйте, существует метод вычисления нижней границы решения для задачи коммивояжера с помощью 1-tree. Данный метод может сходится к оптимальному решению, либо давать точную нижнюю границу. Если метод сходится, то 1-tree в результате является гамильтоновым циклом в графе. Но что делать, если алгоритм не сходится. Есть ли какой-то способ узнать будет ли он сходится, или критерий останова. Заранее, спасибо.