PySCIPOpt常用函数功能介绍（一）

​以下代码段定义一个SCIP程序变量：

def addVar( self, name = '', vtype = 'C', lb = 0.0, ub = None, obj = 0.0, pricedVar=False )

缺省状态下为非负且连续。其中：
param name: 变量名称，可以为空，缺省为：’’
param vtype: 变量类型，默认为：‘C’（连续型），其他可选：‘I’（整数型）、‘B’（0/1变量）
param lb: 变量下界，None表示负无穷，缺省为0.0
param ub: 变量上界，None表示正无穷，缺省为None
param obj: objective value of variable (Default value = 0.0)
param pricedVar: is the variable a pricing candidate? (Default value = False)

如果需要改变变量的上下界，可以使用以下函数进行修改：

def tightenVarLb( self, Variable, var, lb, force=False )

如果设置的新下界更紧，则在预处理节点或当前节点中收紧下界。其中：
param var: 需要重新设置下界的SCIP变量
param lb: 新的下界
param force: force tightening even if below bound strengthening tolerance
return: 两个布尔值组成的元组：(infeasible, tightened)
infeasible: 新域为空时，返回True；新域不为空时，返回False
tightened: 新域更紧时，返回True；否则返回False

def tightenVarLbGlobal( self, Variable, var, lb, force=False )	

如果设置的新下界更紧，收紧全局下界。其中：
param var: 需要重新设置下界的SCIP变量
param lb: 新的下界
param force: force tightening even if below bound strengthening tolerance
return: 两个布尔值组成的元组：(infeasible, tightened)
infeasible: 新域为空时，返回True；新域不为空时，返回False
tightened: 新域更紧时，返回True；否则返回False

def tightenVarUb( self, Variable, var, ub, force = False )

如果设置的新上界更紧，则在预处理节点或当前节点中收紧上界。其中：
param var: 需要重新设置上界的SCIP变量
param ub: 新的上界
param force: force tightening even if below bound strengthening tolerance
return: 两个布尔值组成的元组：(infeasible, tightened)
infeasible: 新域为空时，返回True；新域不为空时，返回False
tightened: 新域更紧时，返回True；否则返回False