SCIP混合整数二次规划

Question

我想使用我的源代码（C ++）中包含的SCIP来解决MIQP，除了这个FAQ条目之外没有找到怎么做：

  

SCIP不支持非线性目标函数，必须将其建模为约束函数。注意，对非二次非线性约束的支持仍然在BETA体育场中，并且还不如SCIP的其他部分那么强大。缺少非线性变量和微小或巨大系数的界限很容易导致数值问题，这可以通过仔细建模来避免。

我已经设法为目标函数构造表达式树。我想知道：

• 如果我必须将MIQP建模为MINLP，那么这种约束函数建模是如何工作的？上限是否可变？
• 如果有MIQP的具体方法，我在哪里可以找到有关它的文档？

Answer 1

看看这些例子 http://scip.zib.de/doc/examples/CallableLibrary/

如果您只想要二次方，那么您可以使用约束处理程序直接在SCIP中创建二次约束： http://scip.zib.de/doc/html/cons__quadratic_8h.php

对于SCIP用于处理MIQP的二次部分的方法，请参阅 http://nbn-resolving.de/urn:nbn:de:0297-zib-59377及其中的参考文献。