1

IDE (5.5.2.0) 経由で lp_solve に渡した単純な問題があります。

/* Objective function */
max: +r1 +r2;

/* Constraints */
R1: +r1 +r2 <= 4;
R2: +r1 -2 b1 = 0;
R3: +r2 -3 b2 = 0;

/* Variable bounds */
b1 <= 1;
b2 <= 1;

/* Integer definitions */
int b1,b2;

この問題の明らかな解は 3 です。SCIP と CBC は答えとして 3 を出しますが、lp_solve ではありません。ここで 2 を取得します。ソルバーに重大なバグはありますか?

前もって感謝します。

4

2 に答える 2

1

lpsolve ソフトウェアに関心のある開発者グループと連絡が取れました。このエラーは、lpsolve の次のバージョンで修正される予定です。

于 2016-05-04T06:58:30.430 に答える
0

試してみると、Obj 関数の最適値として 3 を取得しています。

Model name:  'LPSolver' - run #1
Objective:   Maximize(R0)

SUBMITTED
Model size:        3 constraints,       4 variables,            6 non-zeros.
Sets:                                   0 GUB,                  0 SOS.

Using DUAL simplex for phase 1 and PRIMAL simplex for phase 2.
The primal and dual simplex pricing strategy set to 'Devex'.

Relaxed solution                   4 after          4 iter is B&B base.

Feasible solution                  2 after          6 iter,         3 nodes (gap 40.0%)

Optimal solution                   2 after          7 iter,         4 nodes (gap 40.0%).
Excellent numeric accuracy ||*|| = 0

MEMO: lp_solve version 5.5.2.0 for 32 bit OS, with 64 bit REAL variables.
In the total iteration count 7, 1 (14.3%) were bound flips.
There were 2 refactorizations, 0 triggered by time and 0 by density.
... on average 3.0 major pivots per refactorization.
The largest [LUSOL v2.2.1.0] fact(B) had 8 NZ entries, 1.0x largest basis.
The maximum B&B level was 3, 0.8x MIP order, 3 at the optimal solution.
The constraint matrix inf-norm is 3, with a dynamic range of 3.
Time to load data was 0.001 seconds, presolve used 0.017 seconds,
... 0.007 seconds in simplex solver, in total 0.025 seconds.
于 2016-04-30T17:55:29.093 に答える