如何使用NEOS Server for SCIP？

Question

我正在尝试了解如何使用NEOS Server for SCIP。我已经读过关于CPLEX LP file format的教程了。但是我仍然不能得到任何结果。

让我们以该教程中提供的示例为例：

Maximize
 obj: x1 + 2 x2 + 3 x3 + x4
Subject To
 c1: - x1 + x2 + x3 + 10 x4 <= 20
 c2: x1 - 3 x2 + x3 <= 30
 c3: x2 - 3.5 x4 = 0
Bounds
 0 <= x1 <= 40
 2 <= x4 <= 3
General
 x4
End

我必须以什么格式(文件扩展名)保存它？我尝试了.MPS并使用第一个按钮上传了它(输入MPS格式数据文件的完整路径)。但是我得到了：

error reading file <sample.mps>
SCIP> file <sample.osil> not found
SCIP> limits/time = 36000
SCIP> loaded parameter file <scip.set>
SCIP> 
no problem exists

SCIP> 
written solution information to file <results1>

SCIP> 
written statistics to file <results2>

SCIP> solution status: unknown
no solution available
SCIP Status        : initialization
Original Problem   : no problem exists.

Answer 1

如果以CPLEX LP文件格式编写文件，则应使用第二个按钮上传该文件，该按钮适用于此格式。我试过了，它运行起来很流畅。文件扩展名应该是".lp"，但NEOS服务器似乎会自动将其重命名为正确的结尾。

MPS格式(参见例如http://lpsolve.sourceforge.net/5.5/mps-format.htm)是可选的，但到目前为止远不如LP格式那么人类可读。

如果你想对更复杂的问题建模，你应该看看数学建模语言。NEOS服务器还允许读取ZIMPL文件(请参阅zimpl.zib.de)，这是SCIP优化套件中随SCIP一起提供的建模语言。但也有GAMS，AMPL和OSIL可用。