Сложные ограничения с использованием инструментов OR в Python для решения задачи планирования ⇐ Python

[Anonymous]

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

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

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

# The total number of shifts each person has at each moment has to be less than one
for p in people:
for r in roles_per_person[p]:
for h in range(len(hours_per_role[r])-1):
sum_other_roles = sum(shifts[(p, hours_per_role[r2][h2], hours_per_role[r2][h2+1], r2)] for r2 in roles_per_person[p] for h2 in range(len(hours_per_role[r2])-1) if (hours_per_role[r2][h2+1] > hours_per_role[r][h] and hours_per_role[r][h+1] > hours_per_role[r2][h2]))
model.AddImplication(shifts[(p, hours_per_role[r][h], hours_per_role[r][h+1], r)] == 1, sum_other_roles 

Подробнее здесь: [url]https://stackoverflow.com/questions/59437151/complex-constraints-using-or-tools-in-python-for-a-scheduling-problem[/url]