解决模型
解决模型
命令行工具提供了一种简单的方法来解决存储在文件中的模型。该模型可以以多种不同的格式存储,包括MPS,REW,LP和RLP,并且可以选择使用该文件进行压缩gzip
那BZIP2.
, 或者7Z.
。看看文件格式讨论有关已接受格式的更多信息。
最基本的命令行命令如下:
gurobi_cl model.mps这将从指示的文件中读取模型,优化它,并显示GUROBI日志文件,因为解决的收益。
您可以选择包括任意数量的参数=值
命令在文件名之前。例如:
gurobi_cl方法= 2 timelimit = 100 model.mps完整的Gurobi参数集在范围部分。
gurobi compute服务器用户可以添加——服务器=
切换到指定服务器。例如,命令为:
gurobi_cl - server = server1方法= 2 timelimit = 100 model.mps将解决文件中存储的模型
Model.mps.
在机server1.
,假设它正在运行Gurobi Compute Server。如果Compute Server有访问密码,请使用--password =
切换到指定它。Gurobi即时云用户可以添加——accessid =
那——secretkey =
,——池=
切换到在云实例上运行模型。例如,命令为:
gurobi_cl --accessid = 0f5e0ace-f929-a919-82d5-02272b3b0e19 \ --secretkey = 8edzoif7t9avp0zhef9ts -pool = mypool model.mps将解决文件中存储的模型
Model.mps.
云上池mypool.
使用提供的访问ID和密钥。如果池当前不是活动的,它将首先启动它。
虽然简单地解决一个模型并显示日志通常很有用,但通常也需要检查结果解决方案。你可以使用ResultFile将解决方案写入文件的参数:
gurobi_cl结果文件= model.sol model.mps文件名后缀确定写入的文件类型。解决方案信息的有用文件格式
.sol.
(用于解决方案载体)和.bas.
(对于单纯x基础信息)。再次,您应该咨询该部分文件格式查看支持的格式列表如果您有一个无法使用的模型,您可能希望检查相应的IRRECUIBIBE不一致的子系统(IIS)以确定不可行性的原因。您可以要求命令行工具写一个.ilp.
格式文件。它将尝试解决模型,如果发现模型是不可行的,它将自动计算IIS并将其写入所请求的文件名。IIS是约束和可变界限的子集,具有以下属性:
- 它仍然是不可行的,而且
- 如果删除了单个约束或绑定,则子系统变得可行。
IIS结果以许多属性的形式返回:Iisconstr.那IISLB那Iisub.那IISSOS那IISQConstr,IISGenConstr。每个都指示相应的模型元素是计算机IIS的成员。
这IIS日志提供关于算法进展的信息,包括对最终IIS大小的猜测。
如果在完成之前中断IIS计算,Gurobi将返回该点的最小不可行的子系统。
的另一个用途ResultFile
是在文件格式之间翻译。例如,如果要将模型从MPS格式转换为LP格式,则可以发出以下命令:
gurobi_cl期限= 0 ResultFile =模型。lp model.mpsGurobi可以直接编写压缩文件,因此此命令也将有效(假设这一点
7 zip
安装在您的机器上):gurobi_cl timelimit = 0结果文件= model.lp.7z model.mps
这ResultFile
参数与命令行界面中的其他参数不同。虽然参数通常需要单个值,但您实际上可以指定多个结果文件。例如,以下命令:
gurobi_cl结果文件= model.sol结果文件= model.bas model.mps将写入两个文件。
你可以使用InputFile参数在优化期间读取输入文件。最常见的输入格式是.bas.
(单形的基础上),.mst.
(MIP开始),.sol.
(也是一个MIP开始),.hnt
(MIP提示),.ord
(MIP优先顺序)。例如,以下命令:
gurobi_cl inputfile = model.bas model.mps会开始优化存储在文件中的连续模型吗
Model.mps.
使用文件中提供的基础model.bas
。读取输入文件等同于设置Gurobi属性的值。一种.bas.
文件填充了vbasis.和CBasis属性,而a.ord
文件填充了BranchPriority属性。一种.mst.
或.sol.
文件填充了开始属性。一种.hnt
文件填充了varhintval.和varhintpri.属性。
同样,你应该咨询文件格式有关支持的文件格式的更多信息