Невозможно разобраться в окне решения, когда CumulVar и SlackVar используются вместе с инструментами OR. ⇐ Python

[Anonymous]

У меня проблема с маршрутизацией с одним транспортным средством и несколькими путевыми точками (погрузка и доставка).
Я могу успешно добавить временное окно для каждой путевой точки с помощью:

Код: Выделить всё

dimension.CumulVar(index).SetRange(start_window, end_window)

Но я также хочу заставить транспортное средство ждать в каждой точке ожидания, чтобы имитировать время погрузки или разгрузки. Я пытаюсь сделать это с помощью:

Код: Выделить всё

dimension.SlackVar(index).SetValue(loading_time)

Окно решения, которое я получаю только с помощью CumulVar, выглядит так:

Код: Выделить всё

waypoint 1: (10:17, 11:19)
waypoint 2: (11:25, 11:38)
waypoint 3: (11:45, 11:46)
waypoint 4: (11:45, 11:46)
waypoint 5: (11:45, 11:46)
waypoint 6: (11:53, 11:54)
waypoint 7: (12:00, 12:00)

После добавления SlackVar это будет выглядеть так:

Код: Выделить всё

waypoint 1: (11:14, 11:14)
waypoint 2: (11:27, 11:27)
waypoint 3: (11:40, 11:40)
waypoint 4: (11:45, 11:45)
waypoint 5: (11:50, 11:50)
waypoint 6: (12:09, 12:09)
waypoint 7: (12:21, 12:21)

Почему окно решения больше не обладает гибкостью? Почему путевую точку 1 можно сделать почти за час, но при использовании SlackVar теряется всякая гибкость?
Какие у меня недопонимания?
В чем мои ошибки?

Подробнее здесь: https://stackoverflow.com/questions/791 ... ed-togethe