属性

属性类常数包括优化模型相关和求解结果相关两类属性。本章节将介绍杉数求解器COPT提供的属性常数及其含义。章节内容构成如下:

优化模型相关属性

优化模型相关属性提供模型构成和描述的相关信息。

表 13 优化模型相关属性总览

属性名

类型

属性含义

Cols

整数属性

变量(系数矩阵列)个数

PSDCols

整数属性

半定变量的个数

Rows

整数属性

约束(系数矩阵行)的个数

Elems

整数属性

系数矩阵中非零元素个数

QElems

整数属性

二次目标函数中非零二次项个数

PSDElems

整数属性

目标函数中半定项个数

SymMats

整数属性

模型中对称矩阵的个数

Bins

整数属性

二进制变量(列)的个数

Ints

整数属性

整数变量(列)的个数

Soss

整数属性

SOS约束的个数

Cones

整数属性

二阶锥约束的个数

ExpCones

整数属性

指数锥约束的个数

QConstrs

整数属性

二次约束的个数

PSDConstrs

整数属性

半定约束的个数

LMIConstrs

整数属性

LMI约束的个数

Indicators

整数属性

Indicator约束的个数

ObjSense

整数属性

优化方向

ObjConst

浮点数属性

目标函数的常数部分

HasQObj

整数属性

模型是否包含二次项目标函数

HasPSDObj

整数属性

模型的目标函数是否包含半定项

IsMIP

整数属性

模型是否为整数规划模型

注意: Double这个词的准确翻译应是双精度浮点数。表格中和下文为了简便,称之为浮点数。

  • Cols

    整数属性。

    变量(系数矩阵列)的个数。

  • PSDCols

    整数属性。

    半定变量的个数。

  • Rows

    整数属性。

    约束(系数矩阵行)的个数。

  • Elems

    整数属性。

    系数矩阵的非零元素个数。

  • QElems

    整数属性。

    二次目标函数中非零二次项个数。

  • PSDElems

    整数属性。

    目标函数中半定项个数。

  • SymMats

    整数属性。

    模型中对称矩阵的个数。

  • Bins

    整数属性。

    二进制变量(列)的个数。

  • Ints

    整数属性。

    整数变量(列)的个数。

  • Soss

    整数属性。

    SOS约束的个数。

  • Cones

    整数属性。

    二阶锥约束的个数。

  • ExpCones

    整数属性。

    指数锥约束的个数。

  • QConstrs

    整数属性。

    二次约束的个数。

  • PSDConstrs

    整数属性。

    半定约束的个数。

  • LMIConstrs

    整数属性。

    LMI (Linear Matrix Inequalities,线性矩阵不等式)约束的个数。

  • Indicators

    整数属性。

    Indicator约束的个数。

  • ObjSense

    整数属性。

    优化方向。

  • ObjConst

    浮点数属性。

    目标函数的常数部分。

  • HasQObj

    整数属性。

    模型是否包含二次项目标函数。

  • HasPSDObj

    整数属性。

    模型的目标函数是否包含半定项。

  • IsMIP

    整数属性。

    模型是否为整数规划模型。

求解结果相关属性

求解结果相关属性提供模型求解结果构成和描述的相关信息。

表 14 求解结果相关属性总览

属性名

类型

属性含义

LpStatus

整数属性

线性规划求解状态。

MipStatus

整数属性

整数规划求解状态。

SimplexIter

整数属性

单纯形法迭代循环数。

BarrierIter

整数属性

内点法迭代循环数。

NodeCnt

整数属性

分支定界搜索的节点数。

PoolSols

整数属性

解池中的解的数目。

TuneResults

整数属性

参数调优结果的数目。

HasLpSol

整数属性

是否可以提供线性规划的解值。

HasBasis

整数属性

是否可以提供线性规划的基。

HasDualFarkas

整数属性

当线性规划问题无可行解时,是否返回对偶Farkas(也叫做对偶极射线)。

HasPrimalRay

整数属性

当线性规划问题无界时,是否返回主元射线(也叫做极射线)。

HasMipSol

整数属性

是否存在整数解。

IISCols

整数属性

组成IIS的变量边界的数目。

IISRows

整数属性

组成IIS的约束的数目。

IISSOSs

整数属性

组成IIS的SOS约束的数目。

IISIndicators

整数属性

组成IIS的Indicator约束的数目。

HasIIS

整数属性

是否存在IIS。

HasFeasRelaxSol

整数属性

是否存在可行化松弛结果。

IsMinIIS

整数属性

计算出的IIS是否为极小。

LpObjval

浮点数属性

线性规划目标函数值。

BestObj

浮点数属性

整数规划求解结束时最好的目标函数值。

BestBnd

浮点数属性

整数规划求解结束时最好的下界。

BestGap

浮点数属性

整数规划求解结束时最好的相对容差。

FeasRelaxObj

浮点数属性

可行化松弛值。

SolvingTime

浮点数属性

求解所使用的时间(秒)。

  • SimplexIter

    整数属性。

    单纯形法迭代循环数。

  • BarrierIter

    整数属性。

    内点法迭代循环数。

  • NodeCnt

    整数属性。

    分支定界搜索的节点数。

  • PoolSols

    整数属性。

    解池中的解的数目。

  • TuneResults

    整数属性。

    参数调优结果的数目。

  • HasLpSol

    整数属性。

    是否可以提供线性规划的解值。

  • HasBasis

    整数属性。

    是否可以提供线性规划的基。

  • HasDualFarkas

    整数属性。

    当线性规划问题无可行解时,是否返回对偶Farkas(也叫做对偶极射线)。

  • HasPrimalRay

    整数属性。

    当线性规划问题无界时,是否返回主元射线(也叫做极射线)。

  • HasMipSol

    整数属性。

    是否存在整数解。

  • IISCols

    整数属性。

    组成IIS的变量边界的数目。

  • IISRows

    整数属性。

    组成IIS的约束的数目。

  • IISSOSs

    整数属性。

    组成IIS的SOS约束的数目。

  • IISIndicators

    整数属性。

    组成IIS的Indicator约束的数目。

  • HasIIS

    整数属性。

    是否存在IIS。

  • HasFeasRelaxSol

    整数属性。

    是否存在可行化松弛结果。

  • IsMinIIS

    整数属性。

    计算出的IIS是否为极小。

  • LpObjval

    浮点数属性。

    线性规划目标函数值。

  • BestObj

    浮点数属性。

    整数规划求解结束时最好的目标函数值。

  • BestBnd

    浮点数属性。

    整数规划求解结束时最好的下界。

  • BestGap

    浮点数属性。

    整数规划求解结束时最好的相对容差。

  • FeasRelaxObj

    浮点数属性。

    可行化松弛值。

  • SolvingTime

    浮点数属性。

    求解所使用的时间(秒)。

属性获取方式

在不同的编程接口中,获取属性的方式略有差别,具体请参考: