Можно ли сохранить информацию после решения проблемы и повторно использовать ту же информацию для решения той же проблемы, но с другими настройками?

Мои проблемы - большие проблемы с SAT. В SCIP7.0.0 есть множество правил ветвления на выбор. Если я отправлю проблему в SCIP, и SCIP решит ее, можно ли использовать полученную информацию в процессе решения, например, плоскости резки, ограничения конфликтов и переменную историю ветвлений, чтобы решить ту же проблему другим методом?

Например, я отправляю экземпляр SAT из 7500 переменных с 450 000 ограничений и оптимизирую, используя настройки по умолчанию. Можно ли будет использовать информацию, хранящуюся в SCIP (как указано выше), для решения той же проблемы с использованием полного разветвления?


mathematical-optimization scip sat
person Chia Teck Yan    schedule 14.05.2020    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Я знаю, что этот ответ приходит поздно, но почему вы хотите это сделать? Если вы хотите сравнить различные правила ветвления, то использование информации, которую вы узнали в предыдущем решении, значительно повлияет на поведение решения решения с другим правилом ветвления.

person Leon    schedule 26.06.2020
comment
Спасибо за ответ. Я хотел сделать это, потому что думал, что, возможно, информация, полученная из разных правил ветвления, может быть полезна другим. Тем не менее, сейчас я отошел от этого направления. - person Chia Teck Yan; 29.06.2020