3.2 解ファイルの変数値表示部
%% %% VARIABLES %%
で始まる部分には最適化アルゴリズム停止時における変数の値，及びその上下限が記述されています．
%%
%% VARIABLES
%%
NAME VALUE STATUS SLACK [ BOUND TYPE ]
V# 1 x1 2.5 FREE 2.50000000e+000 [ 0 <= x[1] ]
V# 2 x2 1.5 FREE 1.50000000e+000 [ 0 <= x[2] ]
V# 3 x3 3.51218e-010 LOWER 3.51217955e-010 [ 0 <= x[3] ]VALUEは「変数の値」，STATUSは「変数値が上下限のいずれに付着しているかの状態」，SLACKが「上下限値からの余裕量」，BOUND TYPEは「変数の上下限」を示しています．
例えば，V# 1から始まる行はx1という名前の変数の値（2.5）と，それが下限にも上限にも等しくなっていないこと（"FREE"），続いてx1に課された制約の種類（[]内）が示されています．
変数の状態を示すSTATUSの意味を以下に示します．
| 状態を示す文字列 | 状態 |
|---|---|
| LOWER | 下限制約に付着（下限制約がactive） |
| UPPER | 上限制約に付着（上限制約がactive） |
| FREE | 上下限，いずれにも付着していない |
| REMVD | 前処理によって削除された |
| INFS | 上下限を違反している |
INFSは得られた解が，変数の上下限あるいは制約式を違反している場合に出力されます．問題は正常に解けていません．
上に戻る