使用CPLEX约束编程的矩形调度程序

Question

我需要使用约束编程在大矩形（命名为bin）中安排一组矩形。

[当我使用CPLEX时，我发现了方形的示例（实际上我是CPLEX和PPC的新手）。当我将示例适应矩形情况后，它找不到任何可行的解决方案，而且我不明白为什么会发生这种情况？

这是我的代码，其中我用示例值替换了变量：

import docplex

#Size of the englobing rectangle 
size_bin = 100

mdl = docplex.cp.model.CpoModel()
vx = [mdl.interval_var(size=[1, 4], name="X" + str(i), end=(0,
    size_bin)) for i in range(7)]
vy = [mdl.interval_var(size=[1, 4], name="X" + str(i), end=(0, SIZE_bin))
    for i in range(7)]

#Create dependencies between variables 
for i in range(7):
    for j in range(i):
        mdl.add((mdl.end_of(vx[i]) <= mdl.start_of(vx[j])) | (mdl.end_of(vx[j]) >= mdl.start_of(vx[i])) | (mdl.end_of(vy[i]) <=
            mdl.start_of(vy[j])) | (mdl.end_of(vy[j]) <= mdl.start_of(vy[i])))

#To speed-up the search, create cumulative expressions on each dimension 
rx = mdl.sum([mdl.pulse(vx[i], vx[i].size) for i in range(len(vx))])
print(vx[0],rx) 

mdl.add(mdl.always_in(rx, (0,size_bin), size_bin, size_bin))
ry = mdl.sum([mdl.pulse(vy[i], vy[i].size) for i in range(len(vy))])
mdl.add(mdl.always_in(ry, (0, size_bin), size_bin, size_bin))

#Define search phases, also to speed-up the search 
mdl.set_search_phases([mdl.search_phase(vx), mdl.search_phase(vy)])  

#Solve model 
msol = mdl.solve(TimeLimit=50)
msol.print_solution()

Answer 1

您的模型不可行。可能这意味着您的矩形不适合或代码中存在错误。为了进行进一步的分析，您可以使用mdl.export_model('model.cpo')将模型导出到文件中，然后使用交互式cpoptimizer工具分析冲突。这将产生冲突约束。