【gurobi】【python+gurobi如何实现向上或者向下取整的功能】

问题：

请教大家一个向上取整表达成约束得到问题。
我现在有一个变量S[r][v]，数据1，2，3.现在要做的一个工作是S[r][v]-data1+data2然后除以data3再向上取整。
我在约束里边写成这样“bbb >= math.ceil((S[r][v]-data1+data2)/data3)”但是代码报错。显示“
File “D:\AAApython0406.py”, line 169, in < module >
bbb = math.ceil((S[r][v]-data1+data2)/data3) TypeError: must be real number, not gurobipy.LinExpr”

QQ群答疑

变量 不能放在 math.ceil() 函数里。请看下群公告 【如何实现向上或者向下取整的功能】

群公告

【如何实现向上或者向下取整的功能】

Gurobi 和其他数学规划求解器一般没有提供向上或者向下取整的函数。但用户只要引入中间变量，增加几个约束，就容易实现这个功能。

（1）对 x 向上取整：

新定义整数变量 y，做为 x 向上取整的结果，那么增加的约束是：

y>=x
y<=x+0.999

这里的 0.999 是结合实际应用场景的一个精度常数，用户可以调整。

（2）对 x 向下取整：

新定义 整数变量 y，做为 x 向下取整的结果，那么增加的约束是：

y<=x
y>=x-0.999

这里的 0.999 是结合实际应用场景的一个精度常数，用户可以调整。