4511
правок
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 14: | Строка 14: | ||
== Родственные задачи == | == Родственные задачи == | ||
Специальный случай задачи о лесе Штейнера представляет собой построение дерева Штейнера. Здесь все пары полюсов имеют общую корневую вершину r | Специальный случай задачи о лесе Штейнера представляет собой построение [[дерево Штейнера|дерева Штейнера]]. Здесь все пары полюсов имеют общую корневую вершину <math>r \in V \;</math>, т.е. <math>r \in \{ s_i, t_i \} \;</math> для всех пар полюсов <math>(s_i, t_i) \in R \;</math>. Иными словами, исходными данными задачи являются множество вершин полюсов <math>R \subseteq V \;</math> и корневая вершина <math>r \in V \;</math>, а цель состоит в соединении полюсов из R с корневой вершиной r самым экономичным образом. Решением с минимальной стоимостью является дерево. | ||
Задача построения обобщенной сети Штейнера, также известная как задача проектирования сети с повышенной живучестью (survivable network), представляет собой обобщение задачи нахождения леса Штейнера. Здесь функция требования соединения r: V | Задача построения [[обобщенная сеть Штейнера|обобщенной сети Штейнера]], также известная как задача проектирования сети с повышенной живучестью (survivable network), представляет собой обобщение задачи нахождения леса Штейнера. Здесь функция требования соединения <math>r: V \times V \to \mathbb{N} \;</math> обозначает количество путей с непересекающимися ребрами, которые необходимо установить между каждой парой вершин. Иначе говоря, задача заключается в нахождении мульти-подмножества H ребер G с минимальной стоимостью (H может включать одно и то же ребро несколько раз), такого, что для каждой пары вершин <math>(x, y) \in V \;</math> имеется r(x, y) путей с непересекающимися ребрами из x в у в множестве G[H]. Задача заключается в нахождении множества H с минимальной стоимостью. | ||
Очевидно, что в случае, когда r(x, y) | Очевидно, что в случае, когда <math>r(x, y) \in \{ 0, 1 \} \;</math> для всех <math>(x, y) \in V \times V \;</math>, эта задача сводится к задаче построения леса Штейнера. | ||
== Основные результаты == | == Основные результаты == |
правок