利用Gurobi追溯模型不可行原因的四种方案及详细案例


1. 引言

模型不可行是一个让工程师头疼的问题,对于复杂模型而言,导致模型不可行的原因可能有很多,常常不会只由单一约束或者单一变量边界导致不可行,更多时候是若干个约束和变量边界一起发生冲突,因此导致冲突的原因有无穷多的解读和因果链条,进而化解不可行的方式也不唯一,需要结合模型的应用场景来调整。常见的简单排查方式 “逐一屏蔽” 法检查不可行约束也就不能全面地分析不可行的原因。

在这里插入图片描述

本文将介绍如何利用Gurobi的内置方法,对不可行问题进行冲突溯源,对于不可行问题,Gurobi会在求解后打印 “Infeasible model” 的信息,说明模型存在相互冲突的约束集,找不到同时满足所有约束的可行解,可以运行如下函数获得冲突的约束条件。

model.computeIIS()

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Lins号丹

小小鼓励,满满动力~

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值