gurobi建模

学习“运小筹”推文笔记

— — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
如果我们使用 Gurobi 对其进行建模，一般有下面 3《或者说 4) 种方法:1.按行建:逐行进行建模。通过使用 quicke 或者创建表达式 LinExpr 对象结合addTerms，拼凑表达式，最后使用 Model.addCorstr 完成添加约束的操作，从而完成建模2.按列建模:逐列进行建模。通过创建 Clumn 对象,使用 addTerms 函数拼凑好 Column对象，最后使用 Model.addVar 函数直接完成建模。
3.按非零系数建模: 类似于逐列进行查模，可以使用 addTerms 拼凑表达式。具体实现跟按行建模类似。
4.按矩阵方式建模: 通过拼约束系数矩阵 A，然后将决策变量转化为 MVar 的对象最后直接使用重载运算符 Q 完成约束的添加，即如 Model.addConstr(A @ x == b)，就可以完成建模。

4 按矩阵方式建模

矩阵建模的好处和不足:
优点:

1. 添加约束代码量少，只需要拼凑好系数矩阵，即可一行代码搞定约束的添加;
2. 便于直接得到对偶问题的系数矩阵(AT)，从而快速得到对偶问题的具体形式

缺点:

1. 对于约束系数稀疏的模型，会占用不必要的内存来存储那些系数为 0 的部分，模型较大时，有可能导致内存溢出;
2. 虽然可以得到对偶问题的具体形式，但是对偶问题的公式形式却不能得出 (这个严格来讲不算是这种建模方式的缺点)。
3. 不方便对每个决策变量赋予独一无二的变量名。Gurobi 提供了矩阵形式建模的 API。