Лес Штейнера: различия между версиями

Перейти к навигации Перейти к поиску
Строка 48: Строка 48:




Двойственная задача для релаксации линейного программирования (IP) включает переменную yS для каждого разреза Штейнера S2S. Существует ограничение: для каждого ребра e 2 E полная двойственная задача, присвоенная множествам S2S, содержащим только одну конечную точку e, имеет стоимость не более c(e):
Двойственная задача для релаксации линейного программирования (IP) включает переменную <math>y_S \;</math> для каждого разреза Штейнера <math>S \in S \;</math>. Существует ограничение: для каждого ребра <math>e \in E \;</math> полная двойственная задача, присвоенная множествам <math>S \in S \;</math>, содержащим только одну конечную точку e, имеет стоимость не более c(e):
maximize    y S (D)
 
S2S
(D) максимизировать <math>\sum_{S \in S} y_S</math>
subject to X      yS < c(e)   8e2E (3)
 
S2S: e€S(S)
(3) относительно <math>\sum_{S \in S: \; e \in \delta (S)} y_S \le c(e) \; \forall e \in E</math>
yS > 0   8S 2 S : (4)
 
(4) <math>y_S \ge 0 \; \forall S \in S</math>




4551

правка

Навигация