def mycallback(s, where = None): global feasible_solutions # 在函数中使用全局变量 x = s._x # 获取变量x if where == GRB.Callback.MULTIOBJ: # 获取当前得到的解 x_sol = s.cbGetSolution(x) feasible_solutions.append(x_sol) # 将解添加到列表中 elif where == GRB.Callback.MIPSOL: # 当找到下一个可行解时，也将其添加到列表中 obj_bound =s.cbGet(GRB.Callback.MIPSOL_OBJBND) if obj_bound is not None and obj_bound < GRB.INFINITY: feasible_solutions.append(s.cbGetSolution(x)) #子问题1没超时 def sp1(pi,perovertimecost,normal_mean,numpatient,patient_sequence): s1 = gp.Model("sp1") m=5 bnewplan1 = s1.addVars(range(m), range(numpatient),vtype=GRB.BINARY,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) return sp_obj sp_obj = sp1(pi,perovertimecost,normal_mean,numpatient,patient_sequence)这段代码为什么输出feasible_solutions是空列表 呢？

在你的代码中，`feasible_solutions` 是一个全局变量，用于存储找到的可行解。然而，它在 `mycallback` 函数中被初始化为一个空列表 `[]`，并在每次调用 `sp1` 函数时都会被重新初始化。

这意味着在每次调用 `mycallback` 函数时，`feasible_solutions` 都会被重置为空列表。因此，在 `sp1` 函数中打印 `feasible_solutions` 的时候，它会是一个空列表。

要解决这个问题，你可以将 `feasible_solutions` 的初始化移到 `sp1` 函数之外，这样它就不会被重新初始化了。以下是修改后的代码示例：

def mycallback(s, where = None):
    global feasible_solutions  # 在函数中使用全局变量
    x = s._x  # 获取变量x
    if where == GRB.Callback.MULTIOBJ:
        # 获取当前得到的解
        x_sol = s.cbGetSolution(x)
        feasible_solutions.append(x_sol)  # 将解添加到列表中

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

#子问题1没超时
def sp1(pi,perovertimecost,normal_mean,numpatient,patient_sequence):
    s1 = gp.Model("sp1")
    m=5
    bnewplan1 = s1.addVars(range(m), range(numpatient),vtype=GRB.BINARY,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) 
    return sp_obj

feasible_solutions = []  # 初始化全局变量
sp_obj = sp1(pi,perovertimecost,normal_mean,numpatient,patient_sequence)

在这个示例中，我将 `feasible_solutions` 的初始化移到 `sp1` 函数之外，并将其设置为空列表。这样，在每次调用 `sp1` 函数时，`feasible_solutions` 不会被重新初始化，并且可以正确地存储找到的可行解。

请注意，在修改后的代码中，你需要在调用 `sp1` 函数之前初始化 `feasible_solutions` 列表。这样，`feasible_solutions` 就会在整个程序中被共享，并且可以正确地存储和访问其中的解。