Ограничения: AddNoOverlap с OnlyEnforceIf. ⇐ Python

[Anonymous]

У меня есть набор задач по проблеме удовлетворения ограничений. Для этих задач используется центрифуга. Поэтому, если они перекрываются, то они должны перекрываться полностью (я не могу добавлять задачи, пока центрифуга вращается).
Поэтому я хочу ограничить задачи, чтобы, если они перекрываются, время запуска должно быть равным, иначе они не должны перекрываться.
Если я попытаюсь:

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

from ortools.sat.python import cp_model
import collections
model = cp_model.CpModel()

# Named tuple to store information about created variables.
task_type = collections.namedtuple("task_type", "start end interval")

# Create tasks
task1_start = model.NewIntVar(0, 10, 'task1_start')
task1_end = model.NewIntVar(0, 10, 'task1_end')
task1_interval = model.NewIntervalVar(task1_start, 5, task1_end, 'task1_interval')
task1 = task_type(start=task1_start, end=task1_end, interval=task1_interval)

task2_start = model.NewIntVar(0, 10, 'task2_start')
task2_end = model.NewIntVar(0, 10, 'task2_end')
task2_interval = model.NewIntervalVar(task2_start, 5, task2_end, 'task2_interval')
task2 = task_type(start=task2_start, end=task2_end, interval=task2_interval)

# Create centrifuge tasks
centrifuge_tasks = [task1,task2]

# Add overlap constraints
for i, cent_a in enumerate(centrifuge_tasks):
for j, cent_b in enumerate(centrifuge_tasks):
if i < j:
b = model.NewBoolVar(f"centrifuge_overlap_{cent_a.interval.name}_{cent_b.interval.name}")

model.Add(cent_a.start == cent_b.start).OnlyEnforceIf(b)
model.AddNoOverlap([cent_a.interval, cent_b.interval]).OnlyEnforceIf(~b)

# Solve the model
solver = cp_model.CpSolver()
status = solver.Solve(model)

if status == cp_model.FEASIBLE or status == cp_model.OPTIMAL:
print("Task 1 start:", solver.Value(task1_start))
print("Task 2 start:", solver.Value(task2_start))
else:
print("No solution found")

Он возвращает:

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

No solution found

Я нашел способ обойти эту проблему, используя:

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

from ortools.sat.python import cp_model
import collections
model = cp_model.CpModel()

# Named tuple to store information about created variables.
task_type = collections.namedtuple("task_type", "start end interval")

# Create tasks
task1_start = model.NewIntVar(0, 10, 'task1_start')
task1_end = model.NewIntVar(0, 10, 'task1_end')
task1_interval = model.NewIntervalVar(task1_start, 5, task1_end, 'task1_interval')
task1 = task_type(start=task1_start, end=task1_end, interval=task1_interval)

task2_start = model.NewIntVar(0, 10, 'task2_start')
task2_end = model.NewIntVar(0, 10, 'task2_end')
task2_interval = model.NewIntervalVar(task2_start, 5, task2_end, 'task2_interval')
task2 = task_type(start=task2_start, end=task2_end, interval=task2_interval)

# Create centrifuge tasks
centrifuge_tasks = [task1,task2]

# Add overlap constraints
for i, cent_a in enumerate(centrifuge_tasks):
for j, cent_b in enumerate(centrifuge_tasks):
if i < j:
b = model.NewBoolVar(f"centrifuge_overlap_{cent_a.interval.name}_{cent_b.interval.name}")
b_order = model.NewBoolVar(f"centrifuge_order_{cent_a.interval.name}_{cent_b.interval.name}")

model.Add(cent_a.start == cent_b.start).OnlyEnforceIf(b)

model.Add(cent_a.end 

Подробнее здесь: [url]https://stackoverflow.com/questions/79766573/constraints-addnooverlap-with-onlyenforceif[/url]