- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试将不同产品的单位分配给不同的商店。由于这个玩具示例中没有出现但在全面实现中必需的原因,我需要一个二进制变量来指示是否将特定产品的任何单位分配给每个特定商店。因为这是一个玩具示例,所以该变量在其当前实现中本质上是“附带现象”——即它是由通知我的目标函数的变量定义/约束的,但它不会对其他任何东西产生任何影响。我认为因此,无论我如何定义这个变量,gurobi 都会以完全相同的方式求解。然而,事实并非如此。每次,代码都会运行并生成 MIP 范围内的解决方案。但解的目标值在数值上是不同的。此外,结果看起来在质量上有所不同,一些解决方案将大量产品分配给商店,而其他解决方案则将产品数量大量分配给所有商店。为什么会这样呢? gurobi 是如何实现的,所以我遇到了这个问题?有解决办法吗?
我使用的是 Python 3.5.5 64 位和 gurobi 7.0.2
# each entry is the number of units of that item in that store
x = []
for i in prod_range:
x.append([])
for j in loc_range:
x[i].append( GRBmodel.addVar(vtype=GRB.INTEGER, obj=1, name='x_{}_{}'.format(i,j)) )
var_name_list.append('x_{}_{}'.format(i,j))
x[i].append( GRBmodel.addVar(vtype=GRB.INTEGER, obj=0, name='x_{}_{}'.format(i,j+1)) ) # the last loc is "unallocated" and incurs no revenue nor cost
var_name_list.append('x_{}_{}'.format(i,j+1))
GRBmodel.addConstr( x[i][j] >= 0, "constraint_0.{}_{}".format(i,j) )
# binary mask version of x
# should be 1 if there's any amount of that product in that store
y = []
for i in prod_range:
y.append([])
for j in loc_range:
y[i].append( GRBmodel.addVar(vtype=GRB.BINARY, name='y_{}_{}'.format(i,j)) )
var_name_list.append('y_{}_{}'.format(i,j))
GRBmodel.modelSense = GRB.MAXIMIZE
# all items assigned to some locations, including the "unallocated" loc
for i in prod_range:
GRBmodel.addConstr( sum(x[i][j] for j in loc_range) <= units_list[i], "constraint_1.1_{}".format(i) ) # notice in this "<=" way, x[i][unallocated] is free.
# not exceeding storage upper bounds or failing to meet lower bounds for each store
for j in loc_range:
GRBmodel.addConstr( sum(x[i][j] for i in prod_range) <= max_units_relax * UB_units_list[j], "constraint_1.3_{}".format(j) ) # Update p9
GRBmodel.addConstr( sum(x[i][j] for i in prod_range) >= LB_units_list[j], "constraint_1.4_{}".format(j) )
# test y. not sure why the answer is different when using 0.5 rather than 1
testInt = -10 # placeholder for break point
for i in prod_range:
for j in loc_range:
GRBmodel.addGenConstrIndicator( y[i][j], True, x[i][j], GRB.GREATER_EQUAL, 1 )
GRBmodel.addGenConstrIndicator( y[i][j], False, x[i][j], GRB.LESS_EQUAL, 1 ) ```
最佳答案
您所描述的是 Gurobi 和其他 MIP 求解器的正常行为。它寻找一个最佳解决方案。我们说“一个最优解”而不是“最优解”,因为在存在多个具有相同目标值(甚至最优性范围内的目标值)的可行解的情况下容差),不存在“最佳解决方案”之类的东西。除了一些重要的异常(exception)之外,Gurobi 是确定性的,因为如果您给它相同的模型,在同一平台上使用相同的库版本运行,它将给出相同的结果,但即使更改约束的顺序也可能会极大地改变结果,只要解具有相似的目标函数值。这甚至是在考虑 leaky abstractions 之前的。一些 MIP 是 too difficult在合理的时间内解决。
这种情况下的“解决方法”是找出您更喜欢哪些解决方案,量化一个解决方案比另一个解决方案更好的原因,然后将其添加到目标函数中。
关于python - Gurobi 针对可忽略不计的约束产生不同的解决方案,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56670675/
我有 table 像这样 -------------------------------------------- id size title priority
我的应用在不同的 Activity (4 个 Activity )中仅包含横幅广告。所以我的疑问是, 我可以对所有横幅广告使用一个广告单元 ID 吗? 或者 每个 Activity 使用不同的广告单元
我有任意(但统一)数字列表的任意列表。 (它们是 n 空间中 bin 的边界坐标,我想绘制其角,但这并不重要。)我想生成所有可能组合的列表。所以:[[1,2], [3,4],[5,6]] 产生 [[1
我刚刚在学校开始学习 Java,正在尝试自定义控件和图形。我目前正在研究图案锁,一开始一切都很好,但突然间它绘制不正确。我确实更改了一些代码,但是当我看到错误时,我立即将其更改回来(撤消,ftw),但
在获取 Distinct 的 Count 时,我在使用 Group By With Rollup 时遇到了一个小问题。 问题是 Rollup 摘要只是所有分组中 Distinct 值的总数,而不是所有
这不起作用: select count(distinct colA, colB) from mytable 我知道我可以通过双选来简单地解决这个问题。 select count(*) from (
这个问题在这里已经有了答案: JavaScript regex whitespace characters (5 个回答) 2年前关闭。 你能解释一下为什么我会得到 false比较 text ===
这个问题已经有答案了: 奥 git _a (56 个回答) 已关闭 9 年前。 我被要求用 Javascript 编写一个函数 sortByFoo 来正确响应此测试: // Does not cras
所以,我不得不说,SQL 是迄今为止我作为开发人员最薄弱的一面。也许我想要完成的事情很简单。我有这样的东西(这不是真正的模型,但为了使其易于理解而不浪费太多时间解释它,我想出了一个完全模仿我必须使用的
这个问题在这里已经有了答案: How does the "this" keyword work? (22 个回答) 3年前关闭。 简而言之:为什么在使用 Objects 时,直接调用的函数和通过引用传
这个问题在这里已经有了答案: 关闭 12 年前。 Possible Duplicate: what is the difference between (.) dot operator and (-
我真的不明白这里发生了什么但是: 当我这样做时: colorIndex += len - stopPos; for(int m = 0; m < len - stopPos; m++) { c
思考 MySQL 中的 Group By 函数的最佳方式是什么? 我正在编写一个 MySQL 查询,通过 ODBC 连接在 Excel 的数据透视表中提取数据,以便用户可以轻松访问数据。 例如,我有:
我想要的SQL是这样的: SELECT week_no, type, SELECT count(distinct user_id) FROM group WHERE pts > 0 FROM bas
商店表: +--+-------+--------+ |id|name |date | +--+-------+--------+ |1 |x |Ma
对于 chrome 和 ff,当涉及到可怕的 ie 时,这个脚本工作完美。有问题 function getY(oElement) { var curtop = 0; if (oElem
我现在无法提供代码,因为我目前正在脑海中研究这个想法并在互联网上四处乱逛。 我了解了进程间通信和使用共享内存在进程之间共享数据(特别是结构)。 但是,在对保存在不同 .c 文件中的程序使用 fork(
我想在用户集合中使用不同的功能。在 mongo shell 中,我可以像下面这样使用: db.users.distinct("name"); 其中名称是用于区分的集合字段。 同样我想要,在 C
List nastava_izvjestaj = new List(); var data_context = new DataEvidencijaDataContext();
我的 Rails 应用程序中有 Ransack 搜索和 Foundation,本地 css 渲染正常,而生产中的同一个应用程序有一个怪癖: 应用程序中的其他内容完全相同。 我在 Chrome 和 Sa
我是一名优秀的程序员,十分优秀!