An Exact Framework for Solving the Space-Time Dependent TSP

Rudich, Isaac;López-Ibáñez, Manuel;Römer, Michael;Cappart, Quentin;Rousseau, Louis-Martin
(2026) INFORMS Journal on Computing — Vol. 0, p. 0 (2026)

Files

2312.01404v2.pdf
  • Open Access
  • Adobe PDF
  • 2.52 MB

Details

Authors
  • Rudich, Isaacorcid-logoPoly Montreal: Department of Mathematical and Industrial Engineering, Montreal, Québec H3C 3A7, Canada
    Author
  • López-Ibáñez, Manuelorcid-logoManagement Sciences, University of Manchester, Manchester, England M13 9PL, United Kingdom
    Author
  • Römer, Michaelorcid-logoDecision Analytics, Universität Bielefeld, 33501 Bielefeld, Germany
    Author
  • Author
  • Rousseau, Louis-Martinorcid-logoPoly Montreal: Department of Mathematical and Industrial Engineering, Montreal, Québec H3C 3A7, Canada
    Author
Abstract
Many real-world scenarios involve solving bi-level optimization problems in which there is an outer discrete optimization problem, and an inner problem involving expensive or black-box computation. This arises in space-time dependent variants of the Traveling Salesman Problem, such as when planning space missions that visit multiple astronomical objects. Planning these missions presents significant challenges due to the constant relative motion of the objects involved. There is an outer combinatorial problem of finding the optimal order to visit the objects and an inner optimization problem that requires finding the optimal departure time and trajectory to travel between each pair of objects. The constant motion of the objects complicates the inner problem, making it computationally expensive. This paper introduces a novel framework utilizing decision diagrams (DDs) and a DD-based branch-and-bound technique, Peel-and-Bound, to achieve exact solutions for such bi-level optimization problems, assuming sufficient inner problem optimizer quality. The framework leverages problem-specific knowledge to expedite search processes and minimize the number of expensive evaluations required. As a case study, we apply this framework to the Asteroid Routing Problem (ARP), a benchmark problem in global trajectory optimization. Experimental results demonstrate the framework's scalability and ability to generate robust heuristic solutions for ARP instances. Many of these solutions are exact, contingent on the assumed quality of the inner problem's optimizer.
Affiliations

Citations

Rudich, I., López-Ibáñez, M., Römer, M., Cappart, Q., & Rousseau, L.-M. (2026). An Exact Framework for Solving the Space-Time Dependent TSP. INFORMS Journal on Computing, 0, 0. https://doi.org/10.1287/ijoc.2024.0866 (Original work published 2026)