После изменения чего-либо в модели вся информация для решения, как правило, отбрасывается, и проблема решается с нуля.Даже если вы ослабили проблему, это не обязательно означает, что ее легче решить для MIP-решателя, в частности, она всегда может привести к разным решениям LP, которые вызывают разветвление, первичный эвристический запуск с другой начальной точки ине повезло в конце.Так что, в конце концов, вам может быть не повезло, что решатель теперь занимает больше времени.
Выполнить «теплый старт» в MIP-решателе довольно сложно.SCIP предоставляет такую функциональность, см. http://scip.zib.de/doc-5.0.1/html/REOPT.php,, но это работает только в том случае, если вы изменили объективные коэффициенты или ужесточили ограничения (это основано на предположении, что все, что раньше было невозможным, все еще невозможно, поэтому вам нужно искать только вдопустимая часть дерева).
В вашем конкретном случае, однако, простое хранение выполнимых решений и пробование их в следующем запуске уже помогло бы.Это то, что SCIP делает по умолчанию.Кроме того, SCIP (как и все упомянутые вами альтернативы) должен быть намного более стабильным и производительным, чем GLPK.См. http://plato.asu.edu/ftp/milpc.html для эталона решателей MIP на MIPLIB 2010, стандартного набора эталонных тестов MIP: GLPK может решить 2 из 87 экземпляров за 2 часа, в то время как CBC решает 53, SCIP решает 76,CPLEX и Gurobi решают все 87 случаев.Также Xpress и SAS очень хорошо работают на наборе тестов.