问如何在SCIP中指定编程类型

EN

我正在用Python中的PYSCIPOPT解决一个优化问题。我知道我不需要指定问题类型，它将自动为我检测。但我有一个特殊的情况，它可能是有用的。

我最初的问题是MINLP，但是PYSCIPOPT很难解决它。因此，我使用外部代码来建议对整数变量的猜测，然后修复整数变量，从而有效地解决了NLP问题。为了编写代码方便，而且由于有时可能不会修复所有整数变量，所以我使用相同的MINLP公式，而是使用.fixVar()方法指定整数变量的值。在预解后，它表示为0个整数变量，所以我假设它将这个问题作为NLP来处理。但是，由于初始模型包含整数变量，我想知道它是否仍试图像MINLP那样求解；例如，使用对MINLP而不是NLP进行微调的启发式方法。在这种情况下，显式地告诉SCIP像NLP一样解决它可能有好处。

我查看了SCIP和PYSCIPOPT文档，但是找不到一个参数来指定问题类型，比如GAMS有什么。我也没有在StackOverflow上看到任何相关的问题。

如果有人知道，

1. 如何强制问题类型
2. 一个更好的方法来确保它像NLP那样解决，而不仅仅是使用.fixVar()来修复整数变量。
3. 或者是知道它把它当作什么类型的问题(在预先解决之后)的标志。

那太好了。或者说这不重要因为，

1. SCIP对这两种方法都使用相同的启发式。
2. 在确定整数变量后，MINLP求解算法与NLP算法等价。
3. 或者SCIP在没有看到整数变量后自动切换到NLP算法。

这也是很好的了解。