Гуроби лучше всего связан в репортажах

Мне не понятен результат выполнения MIP в Gurobi: я установил MipGap = 0.005 и TimeLimit = 20.

введите здесь описание изображения См. первое красное поле; через 20 секунд разрыв составляет 0,0062, что больше, чем MIPGap, и решающая программа останавливается из-за TimeLimit.

Однако затем он сообщает о разрыве 0,004831 (второе красное поле), меньшем, чем MIPGap. Итак, почему это не прекратилось раньше? Возможно, он нашел лучшее решение незадолго до достижения TimeLimit, но это не так. Даже если я уменьшу TimeLimit до 15 секунд, я получу точно такие же промежутки.

Что это за 2,060000e + 02, о котором сообщается как лучшая граница (она никогда не отображается в столбце BestBd, но появляется в разделе «Текущий узел» уже в момент времени 10).

Итак, я понимаю, как отсюда рассчитывается 0,0062 (http://www.gurobi.com/resources/getting-started/mip-basics), но я не понимаю, как интерпретировать значение 0,004831. О каком из них я должен сообщить, чтобы представить качество решения?

Спасибо


person Libra    schedule 21.08.2017    source источник
comment
Доверяйте решению (и под этим я имею в виду атрибуты, которые возвращаются или могут быть прочитаны в целом, а не вывод на консоль)! Таблица - это всего лишь сокращенное представление, и такие эффекты (упорядочение, синхронизация по времени) не редкость (оборудование для печати тяжелое; потоки, точность по таймеру ...) (я также не удивлюсь, увидев, что нет точного shut-down-all в секунду x; но некоторая терпимость в подсекундах для очистки внутренних данных и почему бы не получить лучший результат, если эта очистка дает один)   -  person sascha    schedule 21.08.2017
comment
Какую версию Гуроби вы используете?   -  person Sonja Mars    schedule 21.08.2017
comment
@Sonja Mars: Все еще 6.0.4 :-( Я найду время, чтобы обновить ...   -  person Libra    schedule 21.08.2017


Ответы (1)


Во-первых, дважды проверьте правильность установки MIPGap, оставив TimeLimit по умолчанию и решив снова. Если это так, то это похоже на состояние гонки: последняя строка журнала происходит на узле 2342, и до остановки на узле 2360 был небольшой прогресс. Это нормально с ограничением по времени, что потенциально создает недетерминизм.

person Greg Glockner    schedule 21.08.2017