Напишите «существует» или «для любых» ограничений для инструмента mip python

Question

Как записать, существует или для любого ограничения для mip solver в python?

Я хочу написать ограничение, в котором значение двоичной переменной зависит от списка двоичных переменных. Я просто хочу проверить, существует ли в списке значение со значением 1, и назначить его двоичной переменной.

Answer 1

Используйте следующие ограничения (псевдокод):

s1 <= sum(s)
M*s1 >= sum(s)

, где M может быть установлено в размере s.