4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 92: | Строка 92: | ||
Теорема 5 (PTAS для вершинной или реберной связности [6, 5]). Пусть d > 2 – любое константное целое число. Существует определенная положительная константа c < 1, такая, что для всех k < (loglogn)c задачи построения k-вершинно-связной или k-реберно-связной остовной сети минимальной стоимости для множества точек в пространстве Rd допускают использование PTAS. | |||
В следующей теореме рассматриваются мультисети, в которых допустимые решения могут использовать параллельные ребра. | |||
Теорема 6 ([5]). Пусть k и d – любые целые числа, d > 2, а " – любое положительное вещественное число. Пусть S – множество из n точек в пространстве Rd. Существует рандомизированный алгоритм, который за время n ■ (log n)(kd/")O(d) ■ 0(kd/")O(d) с вероятностью не менее 0,99 находит k-реберно-связную остовную мультисеть для S, стоимость которой не больше чем в (1 + ") раз превышает оптимальную. Этот алгоритм может быть дерандомизирован за полиномиальное время. | |||
Сочетая формулировку данной теоремы с тем фактом, что параллельные ребра можно удалить в случае k = 2, получаем следующий результат для задачи 2-связности в сетях. | |||
Theorem 7 (Approximation schemes for 2-connected graphs, [5]) Let d be any integer, d > 2, and let " be any positive real. Let Sbe a set ofn points in Rd. There is a randomized algorithm that in time n ■ log n • (d/")O(d) + n ■ 2(d/")O(d ^ with probability at least 0.99 finds a 2-vertex-connected (or 2-edge-connected) spanning network for S whose cost is at most (1 + ") times the optimum. This algorithm can be derandomized in polynomial-time. | Theorem 7 (Approximation schemes for 2-connected graphs, [5]) Let d be any integer, d > 2, and let " be any positive real. Let Sbe a set ofn points in Rd. There is a randomized algorithm that in time n ■ log n • (d/")O(d) + n ■ 2(d/")O(d ^ with probability at least 0.99 finds a 2-vertex-connected (or 2-edge-connected) spanning network for S whose cost is at most (1 + ") times the optimum. This algorithm can be derandomized in polynomial-time. |
правка