Linear Program Solver

2010


1. .3
3. , LiPS...8

1.
(),
, 60- 70- . .
, . :
1. () .
2. / .
3. -,
( ) .
4.
, .
, , . ,
. , , / ,
.

: .
1.1.
:
1.
.
2. , , .
3.
(), .
3

4. ,
.
:
{c1 x z1 }, z1 t1 ;
{c 2 x z 2 }, z 2 t 2 ;
{c 3 x z 3 }, z 3 t 3 ;
x S

min w1 d1 w2 d 2 w2 d 2 w3 d 3

c 2 x d 2 d 2 t 2 ;

c 3 x d 3 t3 ;

x S
c 1 x d 1 t1 ;

, , .
1.2.
()
. ()
() , , .
.
c :
{c 1 x z1 }, P1 z1 t1 ;

{c 2 x z 2 }, P2 z 2 t 2 ;
{c 3 x z 3 }, P3 z 3 t 3 .
x S

Pj j.
:

lex min d1 , d 2 , (d 3 d 3 )

c 2 x d 2 t2 ;

c 3 x d 3 d 3 t 3 ;
x S
c 1 x d1 t1 ;

.
:
mind1
c 1 x d1 t1 ;
x S

,
:
mind 2
c1 x t1 d1* ;
c 2 x d 2 t2 ;
x S

d1* - d1 , . , :

min d 3 d 3

c x t1 d ;
1

*
1

c 2 x t 2 d 2* ;
c 3 x d 3 d 3 t 3 ;
x S

.
, , . , - . , -

 , .

, ,
. .
1.3.

.
.
:
c 1 x t1 d1* 1

d1* - d1 , ; 1 - , .
, ,
.
1.4.
-
, -
, . min . ,
.
c :

 {c 1 x z1 }, P1 z1 t1 ;

{c 2 x z 2 }, P2 z 2 t 2 ;
{c 3 x z 3 }, P2 z 3 t 3 ;

{c 4 x z 4 }, P2 z 4 t 3 .
x S

min d 3 d 3

c 3 x d 3 d 3 t 3 ;
x S

,
:
min

d ;

c1 x t1 d1

*
1

c 2 x d 2 t2 ;
c 3 x d 3 t3 ;
c 4 x d 4 t4 ;
d2
d3
d4
x S

- ,
d 2 , d 3 d 4 .
1.5.
, . ,
. , , .

 (equilibration scaling).
,
; g ,
. ,
, 1.
, .
C R C ;
g R g

r1

1
ri

rn

ri minCi , j
j

2. ,
LiPS
LiPS.
. ,
10 , .
. ,
, .
.

 (. .)
(. .)

4
8
1

8
24
2

45 ( ), 6 .
, 100 000 .
?
x1 x 2 , , :
max4 x1 8 x 2 45

min8 x1 24 x 2 100
x1 2 x 2 10;
x1 6.

LiPS :
1) ;
2) ;
3) ;
4)
:
1) .
:
, .
2 , 2 2 .

. , LPX, LiPS. LPX :
max: 4*x1 + 8*x2;
min: 8*x1 + 24*x2;

c1: x1 + 2*x2 <= 10;

c2: x1 <= 6;

3) : LiPS .

10

4)
.
5) ,
,
(), .

11

6) , ,
.

3 :
; .

.
, .
,
()
12

13

 , :

14