AMPL最小成本模型报错求助：源点和终点相关异常排查

核心错误梳理 #

• 拼写错误：多处语法拼写失误，比如diefine→define、exept→except、orgin→origin、assos→associated，这类错误会直接导致代码解析失败。
• 集合定义错误：set COMMODITIES {NODES}; 定义逻辑错误，COMMODITIES是独立的商品集合，无需依赖NODES集合，应改为set COMMODITIES;。
• 变量类型矛盾：将流量变量x定义为binary（0/1变量），但最小成本流场景中流量应为非负连续或整数变量，且后续又添加非负约束，逻辑冲突，需调整变量类型。
• 约束逻辑与语法错误：
  • 流量守恒约束c2中，u in NODES except {origin, dest} 写法错误，origin和dest是依赖商品的参数，不是集合，需针对每个商品k，排除其对应的源和汇节点。
  • 源汇约束c5逻辑混乱，重复了流量守恒场景，且语法上无法将origin/dest识别为集合，应统一约束逻辑。
• 数据表头不匹配：数据部分COMMODITIES的表头orgin拼写错误，与参数定义origin{COMMODITIES}不匹配。

修正后的完整代码 #

set NODES;  # define set of nodes
set ARCS within {NODES, NODES};
set COMMODITIES;  # 修正为独立集合
param quantity{COMMODITIES};
param origin{COMMODITIES};
param dest{COMMODITIES};
param cap{ARCS} >= 0;
param cost{ARCS} >= 0;


# Decision Variables
var x{(u,v,k) in ARCS cross COMMODITIES} >= 0;  # 改为非负连续变量，若需整数流可改为integer

# Objective Function
minimize Total_Cost:
   sum {(u,v) in ARCS, k in COMMODITIES}
      cost[u,v] * x[u,v,k];
      
# Capacity constraints
subject to c1 {(u,v) in ARCS}:
    sum{k in COMMODITIES} x[u,v,k] <= cap[u,v];  # 简化求和逻辑，无需重复ARCS
    
# Flow conservation constraints（合并源汇与中间节点逻辑）
subject to Flow_Conservation {k in COMMODITIES, u in NODES}:
    sum{(v,u) in ARCS} x[v,u,k] - sum{(u,v) in ARCS} x[u,v,k] =
        if u = origin[k] then quantity[k]
        else if u = dest[k] then -quantity[k]
        else 0;

对应修正后的数据部分：

data;

set NODES := 1 2 3 4 5 6;

param: ARCS: cap cost :=
        1,2   15    3
        2,3   1     6
        3,4   6     3
        4,1   6     8
        2,4   10    4
        2,5   10    4
        5,6   10    4
        5,3   4     12
        3,6   7     8
        4,6   8     10;

param COMMODITIES: origin dest quantity :=
        1           3    5      6
        2           1    6      4;

额外说明 #

• 若业务场景确实需要0/1流量（比如仅判断是否选择该路径），需重新定义变量逻辑，但通常最小成本流模型中流量为连续或整数变量。
• 合并后的Flow_Conservation约束统一处理了中间节点、源节点、汇节点的流量平衡，避免了原代码中约束重复和逻辑混乱的问题。

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