Битонический тур
В вычислительной геометрии битонический обход набора точечных узлов на евклидовой плоскости представляет собой замкнутую многоугольную цепочку , в которой каждый узел является одной из вершин, так что любая вертикальная линия пересекает цепочку не более двух раз.
Оптимальные битонические туры
[ редактировать ]Оптимальный битонический тур — это битонический тур минимальной общей длины. Это стандартное упражнение в динамическом программировании — разработка алгоритма с полиномиальным временем , который строит оптимальный битонический тур. [1] [2] Хотя обычный метод решения таким способом требует времени , более быстрый алгоритм со временем известно. [3]
Задачу построения оптимальных битонических туров часто приписывают Джону Л. Бентли, который опубликовал в 1990 году экспериментальное сравнение многих эвристик для задачи коммивояжера ; [4] однако эксперименты Бентли не включают битонические туры. Первой публикацией, описывающей проблему битонического тура, по-видимому, является другая публикация 1990 года, первое издание учебника « Введение в алгоритмы» Томаса Х. Кормена , Чарльза Э. Лейзерсона и Рона Ривеста , в котором Бентли указан как создатель проблемы. .
Характеристики
[ редактировать ]Оптимальный битонический тур не имеет самопересечений, поскольку любые два пересекающихся ребра можно заменить парой непересекающихся ребер с меньшей общей длиной из-за неравенства треугольника. Следовательно, он формирует полигонализацию ввода.
По сравнению с другими турами, которые, возможно, не являются битоническими,оптимальный битонический тур — это тот, который минимизирует общую величину горизонтального движения, при этом связи разрываются на евклидово расстояние. [5]
Для точек плоскости с различными целыми числами -координаты и действительные числа -координаты, лежащие в интервале длины или меньше, оптимальный битонический тур — это оптимальный тур коммивояжера. [6]
Другие критерии оптимизации
[ редактировать ]Тот же алгоритм динамического программирования, который находит оптимальный битонический тур, может быть использован для решения других вариантов задачи коммивояжера, которые минимизируют лексикографические комбинации движения в фиксированном числе координатных направлений. [5]
На 5-й Международной олимпиаде по информатике в Мендосе, Аргентина , в 1993 году одна из задач конкурса включала битонные туры: участники должны были разработать алгоритм, который принимал бы в качестве входных данных набор сайтов и набор разрешенных ребер между сайтами и строил битонический тур с использованием тех ребер, которые включали как можно больше сайтов. Как и в случае с оптимальным битоническим туром, эту проблему можно решить с помощью динамического программирования. [7] [8]
Ссылки
[ редактировать ]- ^ Введение в алгоритмы , 3-е изд., Т.Х. Кормен , К.Э. Лейзерсон , Р. Ривест и К. Стейн , MIT Press , 2009. Задача 15-3, стр. 405.
- ^ Берд, Ричард С.; Де Мур, Оге (1997), Алгебра программирования , Прентис Холл, стр. 213, ISBN 9780135072455 .
- ^ де Берг, Марк; Бучин, Кевин; Янсен, член парламента от Барта; Воегингер, Герхард (2016), «Мелкозернистый анализ сложности двух классических вариантов TSP» , в Хацигианнакисе, Иоаннисе; Митценмахер, Майкл; Рабани, Юваль; Санджорджи, Давиде (ред.), 43-й Международный коллоквиум по автоматам, языкам и программированию (ICALP 2016) , Международные труды Лейбница по информатике (LIPIcs), том. 55, Дагштуль, Германия: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, стр. 5:1–5:14, doi : 10.4230/LIPIcs.ICALP.2016.5 , ISBN 978-3-95977-013-2
- ^ Бентли, Джон Л. (1990), «Эксперименты по эвристике коммивояжера», Proc. 1-й симпозиум ACM-SIAM. Дискретные алгоритмы (SODA) , стр. 91–99, ISBN. 9780898712513 .
- ^ Jump up to: а б Соурд, Фрэнсис (2010), «Лексикографическая минимизация осевых движений для евклидовой TSP», Journal of Combinatorial Optimization , 19 (1): 1–15, doi : 10.1007/s10878-008-9154-0 , MR 2579501 , S2CID 42168298 .
- ^ Алкема, Хенк; де Берг, Марк; Кишфалуди-Бак, Шандор (2020), «Евклидова TSP в узких полосах» , в Кабельо, Серджио; Чен, Дэнни З. (ред.), 36-й Международный симпозиум по вычислительной геометрии (SoCG 2020) , Международные труды Лейбница по информатике (LIPIcs), том. 164, Дагштуль, Германия: Центр компьютерных наук Schloss Dagstuhl-Leibniz, стр. 4:1–4:16, doi : 10.4230/LIPIcs.SoCG.2020.4 , ISBN 978-3-95977-143-6 , S2CID 219554488
- ^ IOI'93 . Проблемы и отчет конкурса
- ^ Геррейро, Педро (декабрь 2003 г.), Проблема канадских авиакомпаний и тур Bitonic: это динамическое программирование? , кафедра информационных технологий, факультет науки и технологий, Университет Нова де Лиссабон .