python - 如何在 Sage 混合整数线性规划的目标函数中指定乘法？

Question

我想在 Sage 中将其表示为混合整数线性程序的目标函数

但是当我输入：

p = MixedIntegerLinearProgram()  
x = p.new_variable(integer=True, nonnegative=True)
c = p.new_variable(integer=True,nonnegative=True)
p.set_objective(sum(c[(i,j)]*x[(i,j)] for i in range(3) for j in range(4) ))

我收到此错误：

Error in lines 1-1
Traceback (most recent call last):
  File "/usr/local/sage/local/lib/python2.7/site-packages/smc_sagews/sage_server.py", line 1188, in execute
    flags=compile_flags) in namespace, locals
  File "", line 1, in <module>
  File "/usr/local/sage/local/lib/python2.7/site-packages/sage/misc/functional.py", line 577, in symbolic_sum
    return sum(expression, *args)
  File "", line 1, in <genexpr>
  File "sage/structure/element.pyx", line 1532, in sage.structure.element.Element.__mul__ (build/cythonized/sage/structure/element.c:12188)
    return (<Element>left)._mul_(right)
  File "sage/structure/element.pyx", line 1576, in sage.structure.element.Element._mul_ (build/cythonized/sage/structure/element.c:12602)
    raise bin_op_exception('*', self, other)
TypeError: unsupported operand parent(s) for *: 'Linear functions over Real Double Field' and 'Linear functions over Real Double Field'

奇怪的是，这似乎工作正常（+而不是*）：

p.set_objective(sum(c[(i,j)]+x[(i,j)] for i in range(3) for j in range(4) ))

有什么线索吗？Sage 不支持混合整数线性程序的目标函数的乘法吗？

Answer 1

发现我自己的错误，我唯一的变量是x. c不是决策变量。_ 所以它应该被指定为一个矩阵。这不会导致错误：c[i,j]*x[i,j]

x = p.new_variable(integer=True, nonnegative=True)
c=matrix([[10,15],[24,25],[87,12]])
p.set_objective(sum(c[i,j]*x[i,j] for i in range(3) for j in range(2) ))