Pyomo报错KeyError：索引'(None,0)'对变量sigma无效求解答

这个KeyError的核心原因是：你定义的索引变量sigma，在约束中被调用了一个不存在的索引组合(None, 0)，而目标函数因为索引调用逻辑正确，所以未触发报错。下面是具体的排查方向：

1. 核对sigma的索引集定义与约束中的索引调用 #

先找到你定义sigma的代码，比如类似：

model.sigma = Var(model.I, model.J)  # 假设是二维索引，依赖I、J两个索引集

执行print(model.sigma.index_set())查看sigma的合法索引范围，确认(None, 0)是否在其中——显然不在，所以要排查约束中哪里生成了这个无效索引：

• 检查约束规则里的索引参数，比如如果约束是通过规则函数定义的，看函数的参数是否和sigma的索引集匹配；
• 检查循环构建约束时，是否有变量未被正确赋值为索引集内的元素，比如某个循环变量意外变成了None，或者硬编码了0但0不在对应的索引集里。

2. 检查约束的索引遍历逻辑 #

对比目标函数的写法，约束里肯定存在索引调用的逻辑错误：

• 比如目标函数里是严格遍历sigma的索引集（比如sum(model.sigma[i,j] for i in model.I for j in model.J)），但约束里可能只遍历了一个维度，另一个维度用了默认值None或者错误的数值；
• 举个典型错误：如果约束规则写成def con_rule(model, i): return model.sigma[None, i] >= 0，这里第一个索引用了None，就会触发这个报错。

3. 验证索引集的元素有效性 #

如果sigma的某个索引集不包含0，那约束里调用sigma[x, 0]也会出错，同时如果x的值是None，就会出现(None, 0)的无效索引：

• 检查索引集的定义，比如如果用RangeSet(1, 5)，那0不在这个集合里；
• 在约束构建的循环或规则函数中，加入打印语句输出索引值，比如：

def con_rule(model, i, j):
    print(f"当前索引: ({i}, {j})")
    # 约束逻辑

运行后看输出里是否出现(None, 0)，定位到具体出错的约束位置。

内容的提问来源于stack exchange，提问作者Meriem