def mycallback(s1, where = None): global feasible_solutions # 在函数中使用全局变量 x = s1._x # 获取变量x if where == GRB.Callback.MULTIOBJ: # 获取当前得到的解 x_sol = s1.cbGetSolution(x) feasible_solutions.append(x_sol) # 将解添加到列表中 elif where == GRB.Callback.MIPSOL: # 当找到下一个可行解时，也将其添加到列表中 obj_bound =s1.cbGet(GRB.Callback.MIPSOL_OBJBND) if obj_bound is not None and obj_bound < GRB.INFINITY: feasible_solutions.append(s1.cbGetSolution(x)) #子问题1没超时 def sp1(pi,perovertimecost,normal_mean,numpatient,patient_sequence): s1 = gp.Model("sp1") m=10 # 定义变量 bnewplan1 = [] for q in range(m): bnewplan1.append([]) for i in range(numpatient): bnewplan1[q].append(s1.addVar(vtype='B', name='bnewplan1')) s1._x = bnewplan1 #设置目标函数、约束条件 sp1obj = gp.quicksum(pi[i]*bnewplan1[q][i] for q in range(m) for i in range(numpatient)) s1.setObjective(sp1obj,GRB.MAXIMIZE) s1.addConstrs(gp.quicksum(bnewplan1[q][i]*normal_mean[i] for i in range(numpatient)) +80-optime<=0 for q in range(m)) global feasible_solutions feasible_solutions = [] # 声明全局变量 # 设置回调函数 s1.setParam(GRB.Param.SolutionLimit, 1e3) s1.params.outputFlag = 0 # 关闭输出 s1.optimize(mycallback) s1.optimize() sp_obj=s1.objval print('子问题的最优解为',sp_obj) print('feasible_solutions',feasible_solutions) 这段代码中为什么输出的feasible_solutions为空

在你的代码中，`feasible_solutions` 初始化为空列表 `[]` 是正确的。然而，在回调函数 `mycallback` 中，在 `GRB.Callback.MULTIOBJ` 的情况下，你将每个解添加到 `feasible_solutions` 列表中。但在 `GRB.Callback.MIPSOL` 的情况下，你没有将解添加到列表中。

要解决这个问题，你可以在 `GRB.Callback.MIPSOL` 的情况下，使用与 `GRB.Callback.MULTIOBJ` 相同的代码将解添加到 `feasible_solutions` 列表中。以下是修改后的代码示例：

elif where == GRB.Callback.MIPSOL:
    # 当找到下一个可行解时，将其添加到列表中
    obj_bound = s1.cbGet(GRB.Callback.MIPSOL_OBJBND)
    if obj_bound is not None and obj_bound < GRB.INFINITY:
        x_sol = s1.cbGetSolution(x)
        feasible_solutions.append(x_sol)

在这个示例中，当找到下一个可行解时，将解存储在变量 `x_sol` 中，并将其添加到 `feasible_solutions` 列表中。

请确保在调用 `s1.optimize(mycallback)` 前将 `global feasible_solutions` 放在函数之外，以便全局变量能够正确使用。

这样修改后，你应该能够将找到的可行解添加到 `feasible_solutions` 列表中，并输出非空列表。