设置约束时，代码为
m.addConstr(binary_var.prod(cost_con) <= budget[k])
binary_var是变量名，cost_con是变量的系数。约束是线性表达式，如
cost_con[0]*binary_var[0]+cost_con[1]*binary_var[1]+cost_con[2]*binary_var[2]+....
以下是问题。
由于变量的数量非常大，接近5000.因此代码binary_var.prod(cost_con)需要花费大量时间。如果你有更好的解决方案来减少运行时间，请告诉我吗？
由于