cplex冲突中get的返回值5是什么意思？

Question

我正在使用cplex.冲突当我使用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()获取更多信息。你知道吗

编辑：

如果在定义所有内容时指定变量的类型，那么：

>>> 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]