非凸= 2和Presolve
回答
你好,
我有一个问题,其中包含9双线性约束:每个约束的产品2连续变量。请注意,只有连续变量的问题。
我在gam作为QCP建模问题,添加Gurobi选项凸= 2。因此,最初的双线性约束被视为二次约束二次约束(9)然后日志文件显示“Presolved模型216双线性约束”
是否有办法避免二次约束转化为双线性约束?换句话说,如何确保决议认为只是最初的9双线性约束和不翻译(216限制)?我试图禁用Presolve阶段(Presolve = 0),但我不确定这是最好的办法。
提前谢谢你
-
JaromiłNajmanGurobi员工
嗨玛蒂娜,
对于非凸模型,Gurobi引入了双线性约束每一个独特的双线性两个变量的乘积。例如
\[开始\{对齐*}
x_1 \ cdot x_2 + x_3 \ cdot x_4 + x_5 \ cdot x_6 = 0
结束\{对齐*}\]是新配方
\[开始\{对齐*}
z_ {12} + z_ {34} + z_ {56} \ \ & = 0
z_ {12} & = x_1 \ cdot x_2 \ \
z_ {34} & = x_3 \ cdot x_4 \ \
z_ {56} & = x_5 \ cdot x_6
结束\{对齐*}\]因此,最初的约束是现在一个线性和我们介绍了3双线性约束。没有办法避免这种情况在Gurobi再形成。请注意,这个重构是当前最先进的标准,是由几乎任何凸全局优化解算器。手机万博登录
如果您的模型是凸的,那么Gurobi作品与原凸约束和不引入辅助双线性约束。
我希望这能阐明你的状况。
最好的问候,
Jaromił0 -
嗨Jaromił,
谢谢你的非常明确的答案。
如果有可能,我还想问你一个问题相关的模型:日志文件显示”连续模型是非凸——解决作为MIP”
我跟着你的视频通过非凸优化实践之旅但我不完全理解为什么连续问题变成整数空间分支界限法的应用。的确,麦考密克放松应该不需要的应用程序二进制文件(新连续变量的引入z如你的例子)。二进制文件用于分裂域变量的非凸的条件吗?最优性差距的意义是什么?
最好的问候,
玛蒂娜
0 -
JaromiłNajman
嗨玛蒂娜,
如果有可能,我还想问你一个问题相关的模型:日志文件显示”连续模型是非凸——解决作为MIP”
消息并不意味着一个连续的非凸MIP模型是新配方。消息表明Gurobi将使用空间B&B算法Gurobi将在连续变量出现在非线性条件分支,就像他们在传统的B&B算法将整数变量。因此,“解决MIP”消息并不指再形成,而是使用的算法类型(在这种情况下空间B&B)连续变量在哪里治疗就像整数变量的MIP算法。
最好的问候,
Jaromił0 -
嗨Jaromił,
谢谢你！
因为模型不是新配方在一个混合整数模型中,我仍然不理解的意义(最优)的差距,我看到当我解决模型。你能帮我吗?
最好的问候,
玛蒂娜
0 -
JaromiłNajman
嗨玛蒂娜,
与传统的整数B&B算法类似,Gurobi计算最佳解决凸模型的时候。空间的差异B&B算法的放松凸模型不仅涉及整数条件放松但也为所有双线性项构建有效的放松方式,例如,麦考密克信封。最好的绑定的区别证明到目前为止最好的可行点发现到目前为止,然后给出的最优的差距。
最好的问候,
Jaromił0
请登录留下你的评论。
评论
5个评论