CPLEX Conflict Refiner忽略时间限制问题求助

我使用CPLEX 22.1.0与Python的docplex库提取线性规划问题的不可约不可行子集（IIS），提取结果看似正确，但CPLEX始终忽略我设置的时间限制，请问这是什么原因？

原因分析 #

• 你设置的model.parameters.timelimit是全局求解器时间限制，仅适用于常规的LP/MIP求解流程，对冲突细化（IIS提取）的独立流程不生效。CPLEX的冲突细化模块有专属的时间控制参数。
• 冲突细化的时间限制需要单独配置在CPLEX原生对象的conflict子参数组中，而非docplex模型的全局参数。

解决方法 #

修改代码中的参数配置逻辑，将时间限制指定给冲突细化模块，确保在执行冲突细化前完成参数设置。修正后的代码如下：

from docplex.mp.model import Model
import random as rd
import numpy as np

m = 4000 #约束数量
n = 1000 #变量数量
seed = 0
time_limit = 1.0  #冲突细化的时间限制

rd.seed(seed)

# 创建矩阵
A = np.random.rand(m, n)
b = np.random.rand(m)

# 创建模型
model = Model()

# 创建变量
keys = [i for i in range(n)]
x = model.continuous_var_list(keys,name='x')

# 添加约束
for i in range(m):
    model.add_constraint(model.sum(A[i][j]*x[j] for j in range(n)) == b[i])

import time
st_time = time.time()
cplex_model = model.get_cplex()

# 配置冲突细化的专属参数
cplex_model.parameters.conflict.timelimit = time_limit  # 关键：设置冲突细化的时间限制
cplex_model.parameters.conflict.display = 2
cplex_model.parameters.conflict.algorithm = 0

# 执行冲突细化
cplex_model.conflict.refine(cplex_model.conflict.linear_constraints())

# 获取并处理IIS
iis_constraints = cplex_model.conflict.get()
finish_time = time.time() - st_time
for i in range(len(iis_constraints)):
    value = iis_constraints[i]
    if value > 0.5:
        print(f"约束{i}：属于IIS")

print(f"耗时：{finish_time:.3f} 秒")

关键说明 #

• 冲突模块的独立参数：CPLEX中parameters.conflict.timelimit是专门控制冲突细化过程的最大运行时间参数，全局timelimit参数不影响该流程。
• 参数设置时机：必须在调用cplex_model.conflict.refine()前完成冲突模块的参数配置，否则设置不会生效。

内容的提问来源于stack exchange，提问作者Roger L17