问题标签 [scip]

这是我之前关于使用 SCIP 对 MIP 进行 LP 松弛的问题的跟进。

虽然我可以通过简单地将 MIP（以 CPLEX 格式）传递给 SoPlex 来计算 MIP 的 LP 松弛解，但我观察到 SoPlex 所花费的计算时间比使用 SCIP 本身优化 MIP（测试较小的输入）要长）。由于 SCIP 在求解 MIP 之前在内部使用 SoPlex，这怎么可能？此外，我的 LP 松弛结果实际上是给出整数解，并且与 MIP 具有相同的目标值。我在 LP 放松中犯了错误吗？还是我的问题/公式的某些属性？

我指的是求解器打印的总计算时间（不是我自己计算的）。

我在使用 cplex 运行 scip 时遇到问题！当我运行“make LPS=cpx ZIMPL=false”时，出现以下错误：make LPS=cpx ZIMPL=false
make: * No rule to make target ~/scipoptsuite-3.0.2/scip-3.0.2/lib/liblpicpx.linux.x86_64.gnu.opt.a', needed bybin/vrp.linux.x86_64.gnu.opt.cpx'。停止。

有人可以帮帮我吗？

我一直在使用 GLPK 来解决一些混合整数编程问题。这是一个 MathProg 格式的示例输入文件：

对于此类更大的问题，我一直在遇到性能问题，并且由于 SCIP 声称 MIP 比 GLPK 快几倍，因此似乎值得研究。但是，当涉及到输入文件格式时，我无法确定文档的开头或结尾。SCIP 的主页说它支持 AMPL 格式，而 GLPK 的主页说 MathProg 是 AMPL 的一个子集。尝试通过将上述文件输入 SCIP 3.1.0scip -f file.nl会返回以下错误：

我不确定这是否是因为我未能构建具有 AMPL 支持的 SCIP 或其他原因。我发现这篇关于使用 AMPL 支持构建 SCIP 的博客文章，但说明似乎已经过时，因为 SCIP 3.1.0 的源 zip 不包含interfaces文件夹。

所以，我有两个问题：

1. 是否可以让 SCIP 按原样识别我的 MathProg 输入？
2. 如果没有，谁能建议如何将其转换为可识别的格式？自动化方法会更好，因为我真的不想学习另一种格式，但是手动方法总比没有好。

感谢您的帮助，并为我的无知道歉！

我正在使用 SCIPAMPL 来解决混合整数非线性规划问题 (MINLP)。在大多数情况下，它运行良好，但我发现了一个求解器错误地检测到不可行性的实例。

求解器在预求解阶段检测到不可行性。但是，如果取消注释将 x 和 y 固定为 4 和 12 的两个约束，求解器将工作并输出正确的 v 和 z 值。

我很好奇为什么会发生这种情况，以及我是否可以用不同的方式来解决这个问题来避免它。我得到的一个建议是，对于非凸问题，不可行性检测通常不是很好。

编辑：我应该提到这不仅仅是一个 SCIP 问题。SCIP 只是解决了这个特定集合 K 的问题。例如，如果我使用另一个全局 MINLP 求解器 bonmin，我可以解决这个特定 K 的问题，但是如果你将 K 扩展到 15，那么当问题仍然可行。对于那个 K，我还没有找到一个真正有效的求解器。我还尝试过基于 FILTER 的 minlp 求解器。我还没有尝试 BARON，因为它只需要 GAMS 输入。

我正在用 SCIP 求解整数程序模型，我需要存储目标函数值。我想知道解决IP模型后如何获得目标函数值？有人能帮我吗？

我有一个关于 SCIP 的一般性问题。我需要使用 SCIP 作为我的问题的分支和价格框架，我用 c++ 编写代码，所以我使用 VRP 示例作为模板。在某些情况下，代码停在分数解决方案并将其作为最佳解决方案返回，我认为有问题，我是否必须设置一些参数才能告诉 SCIP 寻找整数解决方案，或者我犯了一个错误，我相信它不应该停止，而是在分数解决方案上分支，直到它到达整数解决方案（没有任何其他负降低成本列）。我还以最佳方式解决了子问题！有什么评论吗？！

I'm including my own branching rule on SCIP and I'm using the SCIPincludeBranchruleMybranchingrule() function to initialize some branching rule data. One of the things I do is to call the SCIPgetNVars() function. When I run the code, I see that the function is called many times (not once, as I thought, before the B&B algorithm starts) and I get the following error triggered by the SCIPgetNVars() function:

[src/scip/scip.c:10048] ERROR: invalid SCIP stage <0>

I'm confused about the use of SCIPincludeBranchruleMybranchingrule(), since the documentation states that this function can be use to initialize branching rule data. I would like to initialize some data that can be used at every B&B node, maybe the branching rule data is not the right way of doing it.

I'll appreciate any help!

我想在插件和我的主函数之间共享数据（也就是说，在SCIPsolve函数调用之外使用它）。例如，一个分支规则将某个 int 变量设置为 1，然后，在优化完成后，我可以去检查该变量是否发生了变化。

我以为我可以通过使用插件数据（例如SCIP_BranchruleData）来完成此操作，但无法从插件的源文件外部访问它。

我该怎么做？我将不胜感激。鲁道夫

我对 SCIP 的分支和价格有疑问！我有一个启发式来解决我的子问题，这个启发式的输入是一个二分图。该图的结构依赖于通过分支规则固定的变量，因此每个节点都不同。我的问题是如何适当地将这个图表传递给子问题？我是否必须使用类似于约束处理程序的东西，或者有更好的方法来处理这个？谢谢你。

有人可以告诉我如何使用 SCIP 的 C++ 包装类吗？我不知道示例中的 Makefile 是如何工作的。我尝试简单地使用命令

但是当我这样做时，它告诉我 scip/scip.h: fatal error: scip/def.h: No such file or directory。我确定我在正确的目录中。有谁知道发生了什么？