КП-САТ | ИЛИ-Инструменты: выберите макс. 5 из 10 вариантов? ⇐ Python

[Anonymous]

У меня проблема с оптимизацией: мне нужно выбрать макс. 5 из 10 доступных вариантов по разным критериям. Мне было интересно, как закодировать это ограничение. Является ли какая-либо из трех альтернативных версий ниже лучше/быстрее остальных? Если нет, я бы выбрал первый вариант, поскольку он наиболее краток...
# create model and 10 variables
model = CpModel()
vars = []
for i in range(10):
vars.append(model.new_bool_var(f"var {i}"))
model.maximize(sum(v for v in vars))

# constraint: max. 5 variables can be true

# Version 1
model.add(sum(v for v in vars) 10
model.add(var_sum == sum(vars))
model.add(var_sum

Подробнее здесь: https://stackoverflow.com/questions/789 ... al-options