glpk - gmlpで変数を出力する方法

Question

最小パスの問題については、線形計画法モデルがあります。これはモデルです：

/* Min path problem

file: minPath.mod */

set V;
set E within V cross V;

param cost{E};
param S symbolic;
param T symbolic;

var flow{E} integer, >= 0;


minimize min_path: sum{(a,b) in E} cost[a,b] * flow[a,b];

s.t. conservazione{v in V: v != S and v != T}:
    sum{(a,b) in E: a == v} flow[a,b] == 
    sum{(a,b) in E: b == v} flow[a,b];
s.t. sorgente: sum{(a,b) in E: a == S} flow[a,b] == 1;
s.t. destinazione: sum{(a,b) in E: b == T} flow[a,b] == 1;

display {(a,b) in E} flow[a,b];

data;

set V := A B C D E;
set E := (A,B) (A,C) (B,D) (B,E) (C,D) (D,E);

param S := A;
param T := D;

param cost := [A,B] 2 [A,C] 1 [B,D] 3 [B,E] 1 [C,D] 1 [D,E] 1;

end;

私の例では目標値は 3 で、最小パスは次のとおりです。

A -> C -> D -> E

このため、ベクトル フローはエッジで 1 でなければなりません。ところで、次のステートメントでベクトル フローを表示すると、次のようになります。

display {(a,b) in E} flow[a,b];

ベクトルはすべての位置で 0 です。

flow[A,B].val = 0
flow[A,C].val = 0
flow[B,D].val = 0
flow[B,E].val = 0
flow[C,D].val = 0
flow[D,E].val = 0

構文を変更しようとしましたが、glpsol に実際の値を出力させることができませんでした。

何か不足していますか？