ATTR格式
Gurobi属性(ATTR)文件用于存储和读取,一个模型的属性信息,在以前的解决方案中提供的用户或生成调用——影响优化的过程。
更准确地说,这个文件存储——如果有的话——以下属性:X最后优化调用原始的解决方案。π最后优化调用,双解。开始,所有的存储MIP开始向量。分区,变量分区。VarHintVal和VarHintPri,变量的提示信息。BranchPriority优先级向量,变量分支。懒惰的每个约束,懒惰的属性。VTag,CTag和QCTag的标记元素模型。VBasis和CBasis变量和约束的基础信息。PStart和DStart,simplex-start信息变量和约束。
从任意行字符“#”,或空行是注释,并在阅读时间会被丢弃。文件应该开始一行的形式
GRB_ATTR_FILE_VERSION 0100002
这表明文件的版本。旧版本是向后兼容的。然后遵循若干部分,每一个存储一组属性。每个部分从以下之一:
- 部分解决方案
- 部分MIPSTART
- 部分分区
- 部分VARHINTS
- 部分BRANCHPRIORITY
- 部分LAZYCONSTRS
- 部分基础
- 部分PSTART
- 部分DSTART
- 部分VTAG
- 部分CTAG
- 部分QCTAG
的那些属性的有一个专门的文件扩展名,以下格式一模一样被描述在相应的文件格式描述。
部分涉及其他变量属性,每一行是一个元组描述变量的名字,和相关的属性(s)值。变量和属性值默认可以省略。
部分涉及其他约束属性,每一行是一个元组描述约束的名称,和相关的属性(s)值。约束在默认属性值可以省略。
如果有多个MIP模型开始,每个人都将被保存在一个不同的部分MIPSTART。每当一个属性文件被加载到模型中,每一个部分MIPSTART将被加载到一个新的MIP开始向量。
变量和约束的标签必须包含在双引号。如果标签本身就含有双引号,这需要一个反斜杠逃跑了。此外,如果标签包含一个反斜杠,这也需要转义,收益率连续两个反斜杠。例如,如果一个变量命名“V01”作为一个标记的字符串:“我的标签“\”在属性文件中,相应的线将包含:
V01“我标记\“\”注意,标签只能由us - ascii可打印字符。
