问题标签 [scip]

我有一个线性程序，我可以在其中输入 n 的数字，它为我提供了这个特定 n 的 LP 输出。我现在想为各种 n=10...1000 执行此操作。有没有一种技术我不必手动执行每个 n 而是自动执行此操作并为文件中的每个 n 输出 LP 的解决方案？我喜欢稍后绘制图表。

这是我的线性程序：

我有一个类型的约束（在 zmpl 中）

S1 中的总和 (i,j)：x[i,j]*c[i,j]<=100

其中，x 是二维的二进制变量，c[i,j] 是参数。我想将其更改为

S1 中的 sum (i,j) : x[i,j]*c[i,sum (i) x[i,j]]<=100

本质上，第二个索引中的参数取决于第 i 行中所选变量的数量。任何有效的方法来做到这一点？

我的 Zimpl 代码中出现了意外的 VARSYM。这是我的代码的一部分：

似乎错误是因为我S[]在函数（）中有一个变量（ prod），你对这个问题有什么想法吗？

我知道有很多关于如何编译 SCIP 的帖子，我找不到一个可以很好地回答我的以下问题。

对于 Windows，SCIP 主页提供了几个预编译的二进制文件，如下所示：

==================================================== ========================

Windows/PC，64 位，msvc 12.0：动态链接到 SoPlex 2.2.0、Zimpl 3.3.3、Ipopt 3.12.3、CppAD 20140000.1、MPIR 2.6.0、zlib 1.2.5 [需要 Visual C++ Redistributable Packages]

Windows/PC、64 位、msvc 12.0：静态链接到 SoPlex 2.2.0、Zimpl 3.3.3、Ipopt 3.12.3、CppAD 20140000.1、MPIR 2.6.0、zlib 1.2.5 [需要 Visual C++ Redistributable Packages]

==================================================== ========================

但是，没有关于我们如何实现这一目标的信息。我已经阅读了安装文件，但不知道。我想知道如何编译这样的二进制文件，就像上面的一样，除了 CPLEX 将是 LP 求解器？有没有指南可以做到这一点？（PS：这个问题也是通过 SCIP 邮件列表提出的）

非常感谢！
冯

关于 binpacking 示例中定义的阅读器插件的问题。我在接口方法（文件 reader_bpa.c）中找到了以下声明，

我知道 SCIP_READERDATA 在文件 type_reader.h 中定义：

但是，结构 SCIP_ReaderData 未在 binpacking 读取器中定义，因此“SCIP_READERDATA* readerdata;”的实际结构是 参考？readerdata 是什么类型的指针？

PS：我注意到 SCIP 中的默认阅读器有类似的用法。

我正在尝试在 OSX 小牛上安装 SCIP。我在这里下载了压缩包，解压了它，并尝试使用它来编译它

这给了我下面的错误1。我对错误 1 ​​的解释是/usr/local/lib/libisl.10.dylib不存在。没错：我有 isl.0.14.1，位于/usr/local/Cellar/isl/0.14.1. 实际上我无法安装 isl.0.10.1，因为它期望的编译器选项不适用于当前版本的 gcc（我认为；请参阅下面的错误 2）。

我可以告诉 SCIP 使用 isl.0.14.1，如果可以，怎么做？

错误 2，由运行 libisl.10 目录中的 ./configure 产生：该文件包含编译器在运行 configure 时产生的任何消息，以帮助在 configure 出错时进行调试。

我想要求 SCIP 在指定的绝对容差范围内解决问题，即，只要上限和下限之间的差异足够小，它就应该退出。控制这种公差的参数是什么？

奇怪的是，我一直无法通过仔细阅读所有 SCIP 参数列表来找到它。

我想部分解决 MIP，克隆问题并让问题的副本继续优化，但使用不同的策略（节点选择规则、变量选择规则等），并保留当前的分支定界树。我知道这不能用 CPLEX 或 Gurobi 完成，因为它们会在副本中从头开始优化。
有没有办法用 SCIP 做到这一点？

我真的很感激任何帮助。

最好的，
鲁道夫

我从http://scip.zib.de/#scipoptsuite获得了 scip optsuite 。它作为一个独立的程序和 python 接口可以正常工作，但是在我运行示例时遇到了以下 JNI 错误。

操作系统是 OS X 10.10.5。我用

JNI 的 lib 目录 (path-to-scipoptsuite/scip-3.2.0/interfaces/jni/lib) 包含以下内容，并由 LD_LIBRARY_PATH 引用：

如果你能给我一个建议，我会很高兴。

根据 mueldgog 的建议，我将扩展名更改为 jnilib。然后又出现了一个错误：

otools 说：

在 Linux 环境中，我成功运行了相同的命令，lld 说

所以我认为我应该修复对 OS X 上绝对路径的引用，但不知道如何修复它。您能对此提出任何建议吗？

我希望 SCIP 可调用将所有消息打印到 stderr（将其用作 flatzinc 求解器）。我试过了

没有效果...