Ñîâðåìåííûå èíôîðìàöèîííûå òåõíîëîãèè/1. Êîìïüþòåðíàÿ èíæåíåðèÿ

cand. tech. sci. Semakhin A.M.

Kurgan State University, Russia

THE OPTIMUM DECISION OF INTEGER MODEL OF INFORMATION SYSTEM BY THE BRANCH AND BOUND METHOD

 

The branch and bound method (BB method) is applied to the decision in full or in part integer problems of linear programming. A. Land and A. G. Doig have offered BB-method in to 1960 /1/.

In the beginning of  iteration of the BB method it is necessary to have:

1. The problem list of linear programming, each of which should be solved in the subsequent iterations.

2. The bottom bound of optimum value of the linear form of a problem .

On the first iteration as  value of criterion function  in any integer point undertakes . If a point to specify it is impossible, accept .

Let as a result  iterations of a method have received the list from  problems:  and also exists . The algorithm of a BB method contains stages:

1 Stage. The problem  for the decision gets out of the problem list of linear programming, . The problem  is solved.

2 Stage. If problem  has the decision  we pass to a stage 3. Otherwise - we exclude problem  from the list =. Transition to a stage 1. At  we do a conclusion, that the initial problem has no decision and process of the decision comes to an end.

3 Stage. If  we pass to a stage 4. Otherwise problem  is excluded from the list. Transition to a stage 1.

4 Stage. If components of vector  satisfy all to a integrity condition we pass to a stage 5. Otherwise problem R is excluded from the list. Plan  is remembered. Transition to a stage 1. At  vector  is the decision of an initial problem and process of the decision comes to an end.

5 Stage. The problem  is excluded from the list. The list joins two new problems of linear programming - the problem  and the problem , =. Transition to a stage 1. Process of splitting of problem  on two new problems of linear programming is carried out as follows.

Let  - fractional a component in received optimum plan  and  the whole part. Then problem  looks like:

subject to

                                                         (1)

Then problem  looks like:

subject to

 

                                                         (2)

Process of the decision proceeds will not be solved yet all of a problem of linear programming from the list. The decision of a problem will be  on last iteration /2/.

Let's develop integer mathematical model of information system and we shall define the optimum decision by BB method.

The mathematical model is formulated as follows: from among the firms, rendering services satellite Internet in territory of the Russian Federation, it is required to choose the provider satellite Internet with the maximal size of the pure resulted effect (NPV) and satisfying to financial restrictions /3/.

Let  - share of financing of the project NTV-plus,  - share of financing of project Europe On Line,  - share of financing of project Astra Network,  - share of financing of project Satpro,  - share of financing of project Network Service.  - binary variables.

The integer mathematical model looks like.

subject to                                                                       (3)

Let's solve a continuous problem. We shall lead to the standard form and we shall make the initial Jordan’s table (table 1).

                                                                                      Table 1

The initial Jordan’s table

ÁÏ

1

-

-

-

-

-

=

6.5

5.4

3.2

2.931

6.286

5.9

=

3.0

2.006437

1.5

3.000547

3.000575

3.2

=

3.0

0.0

2.5

2.0

0.0

1.6

=

1.5

0.0

0.881832

0.0

0.0

1.186

Z=

0

-1.52727

-0.741239

-1.374394

-0.14511

-0.530312

 

subject to                                                                       (4)

Iteration 1. Preliminary conditions: 1. The problem 1. 2. The bottom bound

.

Stage 1. We choose the task 1 and it is solved it. We receive the optimum plan (1,037635, 0, 0.305961, 0, 0), =2,00526.

Stage 2. The task 1 has the decision. Transition to 3 stage.

Stage 3. =2,00526>. Transition to 4 stage.

Stage 4. Variables have fractional values. Transition to 5 stage.

Stage 5. The task 1 is excluded from the list. The list joins two new problems: 2 and 3.

The admissible decision is resulted in table 2.

                                                                                      Table 2

The admissible decision

ÁÏ

1

-

-

-

-

-

=

=

0,58484

-0,371563

0,311

1,911498

0,664934

1,007782

=

3,0

0

2,5

2,0

0

1,6

=

1,5

0

0,881832

0

0

1,186

Z=

1,83838

0,282827

0,16381

-0,545426

1,632745

1,138371

 

The optimum decision of the continuous problem is resulted in table 3.

                                                                                      Table 3

The optimum decision of the continuous problem.

ÁÏ

1

-

-

-

-

-

=

1,037635

0,290692

0,504283

-0,283954

0,975263

0,806429

=

0,305961

-0,194383

0,1627

0,52315

0,34786

0,527221

=

2,388078

0,388766

2,174601

-1,0463

-0,69572

0,545558

=

1,5

0

0,881832

0

0

1,186

Z=

2,00526

0,176807

0,252551

0,28534

1,822477

1,425931

 

The problem 2.

subject to                                                                       (5)

The problem 3.

subject to                                                                       (6)

Optimum decision (1, 0, 0, 0, 0), =1,527270.

Results of the lead researches have allowed to draw following conclusions.

1. The integer mathematical model of optimization of the information system is developed, allowing to reduce expenses and terms of designing of information systems and to raise validity of accepted decisions.

2. The optimum decision of an integer problem of optimization of information system is found by the branch and bound method.

 

References:

 

1. Hamdy A Taha Operations Research: An Introduction. Seven Edition - Ì.: Publishing house "Williams", 2005 - 912 p.

2. Mastyaeva I.N., Gorbovtsov G.Y., Semenikhin O.N. Operations Research in economy: the Manual / the Moscow state university of economy, statistics and computer science. - Ì.: ÌSUESC, 2003. - 119 p.

3. Semakhin A.M. The analysis of mathematical model of information system. In the collection of materials X of the All-Russia scientifically-practical conference with the international participation (on November, 25-26th, 2011). - Tomsk: Publishing house of Tomsk university . Part 2 - 206 p.