无解！出错！DOCPLEX如何给出冲突约束

最新推荐文章于 2024-09-12 08:09:00 发布

yaologos

最新推荐文章于 2024-09-12 08:09:00 发布

阅读量2k

点赞数 1

分类专栏： docplex 文章标签： python 运筹学 CPLEX

本文链接：https://blog.csdn.net/yaologos/article/details/113783962

版权

docplex 专栏收录该内容

7 篇文章 4 订阅

订阅专栏

docplex系列之refine_conflict介绍

使用docplex建模求解可能会出现无结果的错误，如下。

并且没有给出冲突约束，难以找出问题所在

Root node processing (before b&c):
  Real time             =    0.03 sec. (20.17 ticks)
Parallel b&c, 4 threads:
  Real time             =    0.00 sec. (0.00 ticks)
  Sync time (average)   =    0.00 sec.
  Wait time (average)   =    0.00 sec.
                          ------------
Total (root+branch&cut) =    0.03 sec. (20.17 ticks)
Traceback (most recent call last):
  File "C:/Users/root/Desktop/src/alternative/example.py", line 139, in <module>
    print(sol.get_objective_value())
AttributeError: 'NoneType' object has no attribute 'get_objective_value'

Process finished with exit code 1

于是，docplex提供了一个类，输出冲突约束，方便查找哪些约束发生冲突

具体使用方法参考下面的程序

from docplex.mp.conflict_refiner import ConflictRefiner

# 创建模型
model = Model()
# 添加约束，变量，目标函数等
# 这里略过这些步骤

# 解下来就是检查冲突的类
refiner = ConflictRefiner() # 先实例化ConflictRefiner类
res = refiner.refine_conflict(model) # 将模型导入该类，调用方法
res.display() # 显示冲突约束

sol = model.solve(log_output=True)

其他一些方法，请参考docplex的文档中ConflictRefiner模块的介绍，比较简单

一般情况，基本只需要调用display()方法就行了

下面是效果，有40个冲突约束，出现在bal_var约束，pre_1等约束上

conflict(s): 40
  - status: Member, LinearConstraint: bal_var_(4, 1): X_(4, 1)_1_1+X_(4, 1)_1_..
  - status: Member, LinearConstraint: bal_var_(4, 2): X_(4, 2)_1_1+X_(4, 2)_1_..
  - status: Member, LinearConstraint: bal_var_(5, 1): X_(5, 1)_1_1+X_(5, 1)_1_..
  - status: Member, LinearConstraint: bal_var_(5, 2): X_(5, 2)_1_1+X_(5, 2)_1_..
  - status: Member, LinearConstraint: bal_var_(5, 3): X_(5, 3)_1_1+X_(5, 3)_1_..
  - status: Member, LinearConstraint: bal_var_(6, 1): X_(6, 1)_1_1+X_(6, 1)_1_..
  - status: Member, LinearConstraint: bal_var_(8, 1): X_(8, 1)_1_1+X_(8, 1)_1_..
  - status: Member, LinearConstraint: bal_var_(8, 2): X_(8, 2)_1_1+X_(8, 2)_1_..
  - status: Member, LinearConstraint: X_(1, 1)_1_1+X_(1, 1)_1_2+X_(1, 1)_2_1+X..
  - status: Member, LinearConstraint: X_(1, 2)_1_1+X_(1, 2)_1_2+X_(1, 2)_2_1+X..
  - status: Member, LinearConstraint: X_(1, 3)_1_1+X_(1, 3)_1_2+X_(1, 3)_2_1+X..
  - status: Member, LinearConstraint: pre_1_(1, 1)_(4, 1): X_(1, 1)_1_1+2X_(1,..
  - status: Member, LinearConstraint: pre_1_(1, 3)_(4, 1): X_(1, 3)_1_1+2X_(1,..