4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 37: | Строка 37: | ||
Задачу можно эквивалентно представить в виде целочисленной программы. Для каждого ребра <math>e \in E \;</math> обозначим за <math>x_e \;</math> индикаторную переменную, обозначающую, принадлежит ли ребро e к решению. | Задачу можно эквивалентно представить в виде целочисленной программы. Для каждого ребра <math>e \in E \;</math> обозначим за <math>x_e \;</math> индикаторную переменную, обозначающую, принадлежит ли ребро e к решению. | ||
Задача (IP) | '''Задача (IP)''' | ||
Найти <math>min \sum_{e \in E} c(e) x_e \;</math> | Найти <math>min \sum_{e \in E} c(e) x_e \;</math> | ||
Строка 43: | Строка 43: | ||
при условиях | при условиях | ||
(1) <math>\sum_{e \in \delta (S)} x_e \ge f(s) \; \; \; \forall S \subseteq V</math> | |||
(2) <math>x_e \in \{ 0, 1 \} \; \; \; \forall e \in E</math> | |||
Легко увидеть, что обобщенная сеть Штейнера представляет собой специальный случай задачи (IP), где для каждого S \subseteq V | |||
Легко увидеть, что обобщенная сеть Штейнера представляет собой специальный случай задачи (IP), где для каждого <math>S \subseteq V \;</math> верно <math>f(S) = max_{i \in S, j \notin S} \{ r_{i, j} \} \;</math>. | |||
правка