Аноним

Задача коммивояжера с несколькими внутренними точками: различия между версиями

Материал из WEGA
м
Строка 42: Строка 42:
Пусть имеется n точек на евклидовой плоскости. Необходимо найти разбиение выпуклой оболочки этих точек на минимальное количество выпуклых областей, содержащих некоторые точки в качестве вершин.
Пусть имеется n точек на евклидовой плоскости. Необходимо найти разбиение выпуклой оболочки этих точек на минимальное количество выпуклых областей, содержащих некоторые точки в качестве вершин.


Грантсон и Левкопулос [ ] предложили алгоритм с временем выполнения O(k6k-5216kn). Позднее Спиллнер [19] улучшил эту временную сложность до O(2kk3n3).
Грантсон и Левкопулос [9] предложили алгоритм с временем выполнения <math>O(k^{6k - 5} 2^{16k} n) \;</math>. Позднее Спиллнер [19] улучшил эту временную сложность до <math>O(2^k k^3 n^3) \;</math>.




Строка 50: Строка 50:




Грантсон и Левкопулос [5] представили алгоритм с временем выполнения O(k6k-5216kn). Позднее Спиллнер [19] улучшил эту временную сложность до O(2kk3n3).
Грантсон [5] предложил алгоритм с временем выполнения <math>O(k^{6k - 5} 2^{16k} n) \;</math>. Позднее Спиллнер [19] улучшил эту временную сложность до <math>O(2^k k^3 n^3) \;</math>. ()




'''Задача построения остовного дерева без пересечений ребер'''
'''Задача построения остовного дерева без пересечений ребер'''


Пусть дан геометрический граф с n вершинами (т.е. граф на евклидовой плоскости, каждое ребро которого является отрезком прямой, соединяющим две точки). Необходимо определить, имеется ли у него остовное дерево, ребра которого не пересекаются. Дженсен и Вегингер [11] доказали, что эта задача является NP-полной. Кнауэр и Спиллнер [ ] предложили алгоритмы с временем выполнения O(175kk2n3) и O(233pklogkk2n3).
Пусть дан геометрический граф с n вершинами (т. е. граф на евклидовой плоскости, каждое ребро которого является отрезком прямой, соединяющим две точки). Необходимо определить, имеется ли у него [[остовное дерево]], ребра которого не пересекаются. Дженсен и Вегингер [11] доказали, что эта задача является NP-полной.


Кнауэр и Спиллнер [12] предложили алгоритмы с временем выполнения <math>O(175^k k^2 n^3) \;</math> и <math>O(2^{33 \sqrt{k} \; log \; k} k^2 n^3)</math>.


Метод, разработанный Кнауэром и Спиллнером [ ], можно применить и к задаче коммивояжера. Согласно их результату, наилучшая известная на данный момент временная сложность алгоритма для TSP составляет
 
Метод, разработанный Кнауэром и Спиллнером [12], можно применить и к задаче коммивояжера. Согласно их результату, наилучшая известная на данный момент временная сложность алгоритма для TSP составляет


== Открытые вопросы ==
== Открытые вопросы ==
4551

правка