python - 如何在约束规划中实现细化冲突

Question

我使用 Docplex 和 python 3.7 来实现约束编程。当它不可行时，我如何继续列出冲突根源的约束？

mdl.export_as_cpo(out="/home/..../MCP3.lp")
msol = mdl.solve(FailLimit=700000, TimeLimit=1600)
DInfos= msol.get_solver_infos()
mconflict=msol.CpoRefineConflictResult()
mconflict.get_all_member_constraints()

错误信息:mconflict=msol.CpoRefineConflictResult()AttributeError:“CpoSolveResult”对象没有属性“CpoRefineConflictResult”

Answer 1

solve 返回一个 SolveResult，而 CpoRefineConflictResult 是 docplex.cp.solution 中的一个类。因此，错误消息是正确的:SolveResult 没有属性 CpoRefineConflictResult。您期望 CpoRefineConflictResult 作为冲突优化器的结果。

您可能应该多阅读一下文档 http://ibmdecisionoptimization.github.io/docplex-doc/cp/docplex.cp.solution.py.html

您可以调用 CpoSolver 对象上的 .refine_conflict() 方法来获取 CpoRefineConflictResult，如此处所述 http://ibmdecisionoptimization.github.io/docplex-doc/cp/docplex.cp.solver.solver.py.html#detailed-description

如果您需要更具体的问题解决方案，也许您可​​以提供一个最小的、可重现的示例。 https://stackoverflow.com/help/minimal-reproducible-example