Спасибо за ответ, я немного неточно выразился -- если вы как-то целесообразно, разумно меняете порядок добавления классических ограничений на мини-циклы в задачу, вместо добавления всех сразу, то проблемы нет: как только вы находите гамильтонов цикл, задача решена. Очевидно, что данный цикл будет удовлетворять и полному набору ограничений на нераспадаемость решения на подциклы (он ведь уже гамильтонов), т.е. этот цикл действительно будет оптимальным решением задачи. И как резонно писали выше -- различные попытки ввести порядок на ограничениях и надеяться, что оптимальное решение удастся перехватить раньше, чем потребуются все ограничения, -- уже были.
Вопрос касается Шага 4, где вводятся иные ограничения. Тут придется доказывать, а зная сколько научного внимания и сил потрачено на эту задачу, -- скорее искать контрпример :) Но статья у вас, конечно, все-равно хорошая :)
Спасибо за ответ, я немного неточно выразился -- если вы как-то целесообразно, разумно меняете порядок добавления классических ограничений на мини-циклы в задачу, вместо добавления всех сразу, то проблемы нет: как только вы находите гамильтонов цикл, задача решена. Очевидно, что данный цикл будет удовлетворять и полному набору ограничений на нераспадаемость решения на подциклы (он ведь уже гамильтонов), т.е. этот цикл действительно будет оптимальным решением задачи. И как резонно писали выше -- различные попытки ввести порядок на ограничениях и надеяться, что оптимальное решение удастся перехватить раньше, чем потребуются все ограничения, -- уже были.
Вопрос касается Шага 4, где вводятся иные ограничения. Тут придется доказывать, а зная сколько научного внимания и сил потрачено на эту задачу, -- скорее искать контрпример :) Но статья у вас, конечно, все-равно хорошая :)
Нужно строгое доказательство оптимальности решения или пример, показывающий, что метод может выдавать неоптимальное.