属性

查询和修改属性的主要机制Gurobi模型是通过属性界面。各种不同的属性。一些只是填充在某些时刻(例如,那些相关的解决方案模型),而另一些则随时可用(例如,数量的变量在模型中)。属性可以与变量相关联(例如,下界),约束(例如,右边),索斯(例如,IIS会员),或与模型作为一个整体的客观价值(例如,当前的解决方案)。

下面的表列出了全套Gurobi属性。属性按类型分组:模型属性把标量值,变量时,线性约束,SOS约束,二次约束,和一般约束每个变量或属性包含一个条目约束模型中。api为个人提供方法来查询属性值约束或变量,或者查询约束的值数组或变量(指我们属性的例子部分的例子)。数组查询通常更有效率。

注意,属性提供解决方案质量信息已经分裂成一个单独的表在本小节的末尾。这些属性也与模型作为一个整体。

一些解决方案属性要求的信息只计算某些Gurobi算法。这种情况下是在下面详细的属性描述。例如,VBasisCBasis属性只能查询当一个单纯形基础是可用的(可当连续模型基础已经解决了使用原始单纯形,对偶单纯形,或障碍与交叉)。敏感信息(SAObjLow,SAObjUp等)也只用于基本解决方案。

模型属性:

这些属性提供整体信息模型(而不是单个变量或约束信息模型)。

属性名称 描述
NumVars 数量的变量
NumConstrs 数量的线性约束
NumSOS SOS的数量限制
NumQConstrs 数量的二次约束
NumGenConstrs 许多普通的约束
NumNZs 约束的非零系数矩阵
DNumNZs 约束矩阵的非零系数(双格式)
NumQNZs 零的二次客观条件
NumQCNZs 二次约束的非零项数量
NumIntVars 整数变量的数量
NumBinVars 二进制的变量
NumPWLObjVars 数量的变量与分段线性目标函数
ModelName 模型名称
ModelSense 模型有意义(最小化或最大化)
ObjCon 目标函数的常数抵消
指纹 模型的指纹
ObjVal 当前解决方案的客观价值
ObjBound 最佳可用目标绑定(下界最小化,最大化的上限)
ObjBoundC 最好的客观必然,没有舍入(最大化最小化下限,上限)
PoolObjBound 界最好的目标解决方案不是池(最大化最小化下限,上限)
PoolObjVal 客观价值替代解决方案的存储优化过程中
MIPGap 目前相对MIP最优性差距
运行时 最近运行时的优化
工作 花在最近的优化工作
状态 优化现状
SolCount 许多存储的解决方案
IterCount 最近的单纯形迭代执行优化
BarIterCount 最近的屏障迭代执行优化
NodeCount 最近的探索branch-and-cut节点数量优化
OpenNodeCount 年底开放数量branch-and-cut节点最近的优化
ConcurrentWinMethod 赢得最近的连续模型的并发优化的方法
IsMIP 指示是否一个MIP模型
IsQP 指示是否QP / MIQP模型
IsQCP 指示是否QCP / MIQCP模型
IsMultiObj 表明该模型有多个目标
IISMinimal 表示当前IIS是否最小
MaxCoeff 最大约束矩阵系数(绝对值)
MinCoeff 最低(非零)约束矩阵系数(绝对值)
MaxBound 最大有限变量绑定
MinBound 最低有限变量绑定
MaxObjCoeff 最大目标系数线性(绝对值)
MinObjCoeff 最低(非零)目标系数线性(绝对值)
MaxRHS 最大约束右边(绝对值)
MinRHS 最低(非零)约束右边(绝对值)
MaxQCCoeff 最大二次约束矩阵系数二次部分(绝对值)
MinQCCoeff 最低(非零)二次约束矩阵系数二次部分(绝对值)
MaxQCLCoeff 最大二次约束矩阵系数的线性部分(绝对值)
MinQCLCoeff 最低(非零)二次约束矩阵系数线性部分(绝对值)
MaxQCRHS 最大二次约束右边(绝对值)
MinQCRHS 最低(非零)二次约束右边(绝对值)
MaxQObjCoeff 最大二次目标系数(绝对值)
MinQObjCoeff 最低(非零)二次目标系数(绝对值)
卡巴 估计基础条件数
KappaExact 准确的基础条件
FarkasProof 级的不可行性违反法卡斯不可行性的证明
TuneResultCount 参数设置通过调优工具改进
NumStart MIP的开始
LicenseExpiration 许可证有效期
服务器 计算服务器,服务器的名称

变量属性:

这些属性提供的信息与特定的变量相关联。

属性名称 描述
下界
乌兰巴托 上界
Obj 目标系数线性
VType 变量类型(连续、二进制整数,等等)。
VarName 变量名
VTag 变量标签
X 在当前价值的解决方案
Xn 价值的一个次优的MIP的解决方案
钢筋混凝土 降低成本
BarX 价值的最好屏障迭代(交叉之前)
开始 MIP开始值(构造一个初始的MIP解决方案)
VarHintVal MIP提示值
VarHintPri MIP提示优先
BranchPriority 分支的优先级
分区 可变分区
VBasis 基础状态
PStart 单纯形开始向量
IISLB 表明下界是否参与IIS
IISUB 表明上限是否参与IIS
IISLBForce 部队变量下界为(1)或(0)计算出的IIS
IISUBForce 部队变量上界为(1)或(0)计算出的IIS
PoolIgnore 标志变量时忽略检查是否两种解决方案都是相同的
PWLObjCvx 表明该变量是否有凸分段线性目标
SAObjLow 目标系数灵敏度信息
SAObjUp 目标系数灵敏度信息
SALBLow 下界的敏感信息
SALBUp 下界的敏感信息
SAUBLow 上界的敏感信息
SAUBUp 上界的敏感信息
UnbdRay 无限的光芒

线性约束属性:

这些属性提供与特定线性约束相关联的信息。

属性名称 描述
感觉 约束意义(“<”,“>”,或“=”)
园艺学会 右边的值
ConstrName 约束的名字
CTag 约束标签
π (也被称为双重价值影子价格)
松弛 松在当前的解决方案
CBasis 基础状态
DStart 单纯形开始向量
懒惰的 决定一个约束是当作一个懒惰的约束
IISConstr 表明约束是否参与IIS
IISConstrForce 力量约束(1)或(0)计算出的IIS
SARHSLow 右边的敏感信息
SARHSUp 右边的敏感信息
FarkasDual 法卡斯不可行性论证

SOS属性:

这些属性提供信息与特定的特别设置(SOS)相关联的约束。

属性名称 描述
IISSOS 表明SOS约束是否参与IIS
IISSOSForce 部队SOS约束(1)或(0)计算出的IIS

二次约束属性:

这些属性提供信息与特定的二次约束相关联。

属性名称 描述
QCSense 约束意义(“<”,“>”,或“=”)
QCRHS 右边
QCName 二次约束的名字
QCPi 双重价值
QCSlack 松在当前的解决方案
QCTag 二次约束的标签
IISQConstr 表明二次约束是否参与IIS
IISQConstrForce 力二次约束(1)或(0)计算出的IIS

一般约束属性:

这些属性提供的信息与特定的约束。那些从“函数”只是函数约束。

属性名称 描述
FuncPieceError 误差允许PWL翻译
FuncPieceLength 块长度PWL翻译
FuncPieceRatio 控制是否在PWL低估或高估函数值近似
FuncPieces 集策略PWL函数近似
GenConstrType 类型的通用约束
GenConstrName 一般约束的名字
IISGenConstr 表明一般的约束是否参与IIS
IISGenConstrForce 部队的一般约束(1)或(0)计算出的IIS

解决方案质量属性:

属性名称 描述
MaxVio 最大(们)违反
BoundVio 最大(们)约束违反
BoundSVio 最大(缩放)约束违反
BoundVioIndex 指数最大的变量(们)违反约束
BoundSVioIndex 指数最大的变量(缩放)违反约束
BoundVioSum (们)约束违反
BoundSVioSum (比例)约束违反
ConstrVio 最大(们)约束违反
ConstrSVio 最大(缩放)约束违反
ConstrVioIndex 约束最大的指数(们)违反
ConstrSVioIndex 指数最大的约束(缩放)违反
ConstrVioSum (们)约束违反
ConstrSVioSum (比例)约束违反
ConstrResidual 最大(们)原始约束错误
ConstrSResidual 最大的(扩展)原始约束错误
ConstrResidualIndex 指数最大的约束(们)原始约束错误
ConstrSResidualIndex 指数最大的约束(缩放)原始约束错误
ConstrResidualSum 笔(们)原始约束错误
ConstrSResidualSum (比例)原始约束错误
DualVio 最大的侵犯(们)降低成本
DualSVio 最大的违反(缩放)降低成本
DualVioIndex 变量指数最大的侵犯(们)降低成本
DualSVioIndex 指数变量(缩放)降低成本最大的侵犯
DualVioSum 违反(们)降低成本
DualSVioSum 违反(缩放)降低成本
DualResidual 最大(们)双重约束错误
DualSResidual 最大的(扩展)双重约束错误
DualResidualIndex 指数最大的变量(们)双重约束错误
DualSResidualIndex 指数最大的变量(缩放)双重约束错误
DualResidualSum (们)的双重约束错误
DualSResidualSum (比例)双重约束错误
ComplVio 最大的互补性违反
ComplVioIndex 变量指数最大的互补性侵犯
ComplVioSum 互补的侵犯
IntVio 最大违反完整性
IntVioIndex 变量指数最大的完整性破坏
IntVioSum 侵犯的完整性

多目标属性:

属性名称 描述
ObjN 目标的目标
ObjNCon 常数项对目标
ObjNPriority 优先考虑的目标
ObjNWeight 目标的权重
ObjNRelTol 目标序列的相对公差
ObjNAbsTol 绝对误差对目标
ObjNVal 客观的价值目标的解决方案
ObjNName 目标序列的名字
NumObj 数量的目标

Multi-scenario属性:

属性名称 描述
ScenNLB 当前场景的下界变化multi-scenario模型
ScenNUB 上界multi-scenario模型中当前场景的变化
ScenNObj 目的目前multi-scenario场景模型的系数的变化
ScenNRHS 右边multi-scenario模型中当前场景的变化
ScenNName 目前在multi-scenario场景模型的名称
ScenNObjBound 客观的绑定multi-scenario当前场景的模型
ScenNObjVal 在multi-scenario客观价值对于当前解决当前场景模型
ScenNX 值在当前multi-scenario模型中当前场景的解决方案
NumScenarios 数量的场景

批处理属性:

属性名称 描述
BatchErrorCode 最后从集群管理器接收错误代码
BatchErrorMessage 最后从集群管理器接收到错误消息
BatchID 远程批处理的ID
BatchStatus 批处理的状态



部分