区分MIP不可行或无界

(函数来自 pyomo.contrib.gdpopt.solve_discrete_problem)

pyomo.contrib.gdpopt.solve_discrete_problem.distinguish_mip_infeasible_or_unbounded(m, config)

区分不可行或无界的解决方案。

线性求解器有时会在预处理阶段告诉我一个问题不可行或无界，但不会区分这两种情况。我们通过再次求解并开启求解器选项标志来解决这个问题。