Question

我正在使用cplex.conflict来解决问题，当我使用cplex.conflict.refine然后请求cplex.conflict.get时，它为某些约束提供了值5（一个不可行的例子）。有谁知道这意味着什么？这是python中的一个例子：

> python
Python 2.7.6 (default, Jun 22 2015, 17:58:13) 
[GCC 4.8.2] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> import cplex
>>> c = cplex.Cplex()
>>> c.variables.add(names = ["x0"])
>>> c.linear_constraints.add(lin_expr = [[[0], [-1.0]], [[0], [1.0]]], senses = "LL", rhs = [-10,9]) 
>>> c.conflict.refine(c.conflict.linear_constraints())
>>> c.conflict.get()
[5, 5]
>>>

api仅指返回值-1,0或3。

Answer 1

c.conflict.get()也可能会返回conflict.constraint_type。在您的情况下，两个约束是冲突的成员，cplex返回约束的类型：

>>> c.conflict.group_status[5]
None
>>> c.conflict.constraint_type[5]
SOS

，即你的约束属于SOS类型，这很奇怪，因为SOS约束是整数变量（二进制）。如果添加冗余约束，例如

>>> c.linear_constraints.add(lin_expr = [[[0], [-1.0]], [[0], [1.0]], \
[[0], [1.0]]], senses = "LLL", rhs = [-10,9,10]) 
>>> c.conflict.refine(c.conflict.linear_constraints()) 
[5, 5, -1]

意味着最后一个被排除在外，因为它不是冲突的成员。我建议您使用c.conflict.get_groups()获取更多信息。

修改

如果指定变量＆＃39;定义一切时的类型工作正常：

>>> c.variables.add(names = ["x0"], obj=[1.0], types=[c.variables.type.continuous]) ...etc... >>> c.conflict.refine(c.conflict.linear_constraints()) Refine conflict on 3 members... Iteration Max Members Min Members 1 2 0 2 2 1 3 2 2 [3, 3, -1]

什么意思是价值5作为cplex冲突的回归？

1 个答案: