Page 96 - 6197
P. 96

Умови  (2.13)  означають,  що  початкова  множина
                                                                                             1
                                                         0
                            допустимих розв’язків  G  розбивається на дві множини  G
                                                                                           1
                                                                 1
                                  1
                            і  G . Для задачі з множиною  G  до обмежень  (2.3) і (2.4).
                                2                              1
                            додаємо  лінійне  обмеження  x         x   *   ,  а  для  задачі    з
                                                               0 j    0 j 
                                                                           1
                                             1
                            множиною  G   -  лінійне  обмеження  G .  Таке  розбиття
                                           2                             2
                            множини на дві згідно умови (2.13)  називають дихотомічним.
                                                                                             k
                                Stk.  Нехай  на  k -тому  кроці  розгалуження  отримана  G
                                                                                          s
                            задача. Розв’язуємо отриману задачу лінійного програмування
                                                                           k
                            без  врахування  цілочисельності  змінних  x ,    j   1,n .  Якщо
                                                                          j
                             G   k   задача не має розв’язку,  то вона вилучається із списку
                              s
                            задач-претендентів. Допускаємо, що G       k   задача має розв’язок
                                                                     s
                            і   x    k *     1   k *  ,x   k * , ,x n   k *     -  її  оптимальний  план,  а
                                       x
                                             2
                                   k
                                    
                                      R x
                                         k *   . При цьому можливі такі випадки.
                               G
                                 s
                                                k *                             k
                                і. Всі змінні  x  ,  j  1,n   - цілі числа. Якщо   x   - рекорд і
                                              j
                              
                                             k
                                       R x
                                     
                             R x   k *     , то  x k   1    x   k *   - новий рекорд і  G   k   задача
                                                                                   s
                            вилучається із списку задач-претендентів.
                                                k
                                            G
                                іі. Якщо              k *  , то  G s   k    задача вилучається за
                                                    R x
                                                  
                                              s
                            правилом відсіву і в подальшому не розглядається.
                                                          k *
                                ііі.  Серед  змінних  x   ,  j   1,n     є  хоча  би  одна  з
                                                        j
                            нецілочисельним значенням з номером  j . У такому  випадку
                                                                       0
                             G   k  задача розбивається  на дві задачі  G   k   і  G   k   за правилом,
                              s                                       s, 1   s, 2
                            що сформульоване  в St1.
                                Процес обчислень продовжується за наведеною схемою на
                            кроці  Stk  до  тих  пір  поки  список  задач-претендентів  не
                            вичерпається.
                                                           96
   91   92   93   94   95   96   97   98   99   100   101