The Traveling Salesman Problem for Systems with Dynamic Constraints

The Traveling Salesman Problem (TSP) is a foundational problem in the fields of theoretical computer science and optimization in which an agent is tasked with visiting a set of 𝑛 target locations (in any order) in the shortest amount of time, either on a graph or in a space. As this problem is well-...

Full description

Bibliographic Details
Main Author: Adler, Aviv
Other Authors: Karaman, Sertac
Format: Thesis
Published: Massachusetts Institute of Technology 2023
Online Access:https://hdl.handle.net/1721.1/150313
https://orcid.org/0000-0003-3698-7639
_version_ 1811070915276963840
author Adler, Aviv
author2 Karaman, Sertac
author_facet Karaman, Sertac
Adler, Aviv
author_sort Adler, Aviv
collection MIT
description The Traveling Salesman Problem (TSP) is a foundational problem in the fields of theoretical computer science and optimization in which an agent is tasked with visiting a set of 𝑛 target locations (in any order) in the shortest amount of time, either on a graph or in a space. As this problem is well-known to be NP-hard, it is usually solved using heuristics or approximation algorithms. An important variant of the TSP is the Dynamic TSP (DTSP), in which the targets exist in a space in which the agent’s trajectory must satisfy dynamic constraints (for instance, limited ability to accelerate). The DTSP arises naturally in many robotic motion planning problems, particularly in exploration, surveillance and reconnaissance, and is generally not amenable to the standard TSP approximation algorithms. An interesting and important question, known as the Dynamic Stochastic TSP (DSTSP), asks: if the target points are distributed randomly, how does the length of the shortest tour (either in expectation or with high probability) grow with the number 𝑛 of targets? This problem has been studied for a variety of common vehicle models, as well as certain broader classes of dynamic control systems. In this thesis, we present a novel proof that extends known DSTSP order-of-growth results to a wider variety of dynamic systems, in particular to manifold workspaces, as well as two novel algorithms which achieve a constant-factor approximation of the optimal tour with high probability. These new proofs and algorithms furthermore allow us to study not only the order-of-growth of the tour length but also, for the important subset of ‘symmetric’ dynamics, to give explicit constant factors and to tightly characterize the relationship between the dynamics, the target point distribution, and the optimal tour length. Finally, we extend these results to the non-stochastic adversarial case, in which the target points are chosen to maximize the length of the optimal tour.
first_indexed 2024-09-23T08:43:38Z
format Thesis
id mit-1721.1/150313
institution Massachusetts Institute of Technology
last_indexed 2024-09-23T08:43:38Z
publishDate 2023
publisher Massachusetts Institute of Technology
record_format dspace
spelling mit-1721.1/1503132023-04-01T04:00:50Z The Traveling Salesman Problem for Systems with Dynamic Constraints Adler, Aviv Karaman, Sertac Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science The Traveling Salesman Problem (TSP) is a foundational problem in the fields of theoretical computer science and optimization in which an agent is tasked with visiting a set of 𝑛 target locations (in any order) in the shortest amount of time, either on a graph or in a space. As this problem is well-known to be NP-hard, it is usually solved using heuristics or approximation algorithms. An important variant of the TSP is the Dynamic TSP (DTSP), in which the targets exist in a space in which the agent’s trajectory must satisfy dynamic constraints (for instance, limited ability to accelerate). The DTSP arises naturally in many robotic motion planning problems, particularly in exploration, surveillance and reconnaissance, and is generally not amenable to the standard TSP approximation algorithms. An interesting and important question, known as the Dynamic Stochastic TSP (DSTSP), asks: if the target points are distributed randomly, how does the length of the shortest tour (either in expectation or with high probability) grow with the number 𝑛 of targets? This problem has been studied for a variety of common vehicle models, as well as certain broader classes of dynamic control systems. In this thesis, we present a novel proof that extends known DSTSP order-of-growth results to a wider variety of dynamic systems, in particular to manifold workspaces, as well as two novel algorithms which achieve a constant-factor approximation of the optimal tour with high probability. These new proofs and algorithms furthermore allow us to study not only the order-of-growth of the tour length but also, for the important subset of ‘symmetric’ dynamics, to give explicit constant factors and to tightly characterize the relationship between the dynamics, the target point distribution, and the optimal tour length. Finally, we extend these results to the non-stochastic adversarial case, in which the target points are chosen to maximize the length of the optimal tour. Ph.D. 2023-03-31T14:47:02Z 2023-03-31T14:47:02Z 2023-02 2023-02-28T14:39:21.191Z Thesis https://hdl.handle.net/1721.1/150313 https://orcid.org/0000-0003-3698-7639 In Copyright - Educational Use Permitted Copyright MIT http://rightsstatements.org/page/InC-EDU/1.0/ application/pdf Massachusetts Institute of Technology
spellingShingle Adler, Aviv
The Traveling Salesman Problem for Systems with Dynamic Constraints
title The Traveling Salesman Problem for Systems with Dynamic Constraints
title_full The Traveling Salesman Problem for Systems with Dynamic Constraints
title_fullStr The Traveling Salesman Problem for Systems with Dynamic Constraints
title_full_unstemmed The Traveling Salesman Problem for Systems with Dynamic Constraints
title_short The Traveling Salesman Problem for Systems with Dynamic Constraints
title_sort traveling salesman problem for systems with dynamic constraints
url https://hdl.handle.net/1721.1/150313
https://orcid.org/0000-0003-3698-7639
work_keys_str_mv AT adleraviv thetravelingsalesmanproblemforsystemswithdynamicconstraints
AT adleraviv travelingsalesmanproblemforsystemswithdynamicconstraints