python - 使用 cplex python api 创建一个只能从列表中获取值的整数变量

Question

from docplex.cp.model import CpoModel
mdl = CpoModel()

要在 [0,10] 之间创建一个整数变量：

variable = mdl.integer_var(min=0, max=10, name="variable")

如何创建一个只能从列表中获取整数值的变量？例如一个只能是 1、3、5 或 6 的变量？

Answer 1

你可以使用set_domain

set_domain([1, 3, 4, 5, 9])

注意：

这是一个完整的例子：

from docplex.cp.model import CpoModel

mdl = CpoModel()
dvar     = mdl.integer_var(0, 3, "dvar")

dvar.set_domain([1, 3])

mdl.add(mdl.minimize(dvar))

msol = mdl.solve( )

if msol:
    print("Solution status: " + msol.get_solve_status())
    print("dvar = " , msol[dvar])
else:
    print("No solution found")

你也可以写

from docplex.cp.model import CpoModel

mdl = CpoModel()
dvar     = mdl.integer_var(name="dvar",domain=[1, 3])

mdl.add(mdl.minimize(dvar))

msol = mdl.solve( )

if msol:
    print("Solution status: " + msol.get_solve_status())
    print("dvar = " , msol[dvar])
else:
    print("No solution found")