arXiv AI By Jingtao Tang, Hang Ma

Unified Branch-and-Bound Search for the Steiner Traveling Salesman Problem on Graphs of Convex Sets

Read the original on arXiv AI →

The paper introduces a unified branch‑and‑bound framework for the Steiner Traveling Salesman Problem on Graphs of Convex Sets (GCS), where the goal is to find a minimum‑cost closed walk through required convex sets while allowing optional vertices and revisits. The method uses additive lower‑bound graph costs for committed prefixes and a cut‑separated connected‑flow relaxation for the remaining cost, guaranteeing finite termination under a uniform positive‑cost assumption. Experiments on benchmark instances show that both best‑first and depth‑first traversal strategies find feasible solutions within 30 seconds, achieving mean certified optimality gaps of 28.1% and 29.7% respectively, outperforming two recent baselines.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
Sep 12

Probabilistic Focal Search: Accelerating Bounded-Suboptimal Search via Lower-Bound Advancement

Probabilistic Focal Search (PFS) augments traditional Focal Search by probabilistically choosing between the standard heuristic-guided expansion and expanding the minimum‑f node in OPEN. This strategy advances the lower bound, enlarges the FOCAL frontier, and can dramatically reduce node expansions—up to 90% in some benchmarks such as N‑Puzzle and TSP—especially when long f_min plateaus delay useful FOCAL admissions. An anytime variant, APFS, outperforms other tested anytime algorithms on the Generalized Covering TSP, and the same probabilistic scheduler transfers to Dynamic Potential Search as Probabilistic Dynamic Potential Search (PDPS), though its effectiveness varies by domain and bound.

By Minh Vu Duc, Trung Le Huu, H\`a Minh Ho\`ang, Trung Thanh Nguyen, Phuong Khanh Nguyen, Huynh Thi Thanh Binh
arXiv AI
Oct 5

Optimal Planning in a Dynamic World

The paper introduces the concept of any-start-time planning, addressing scenarios where the set of feasible states or actions changes over time, such as path planning among moving obstacles or train boarding. It presents a new data structure, the compound arrival time function (cATF), which compactly encodes the optimal plan as a function of start time and can be assembled via heuristic graph search. Experiments on the SIPP problem demonstrate that any-start-time algorithms using cATFs outperform traditional replanning approaches on difficult instances.

By Devin Wild Thomas (University of New Hampshire, USA), Solomon Eyal Shimony (Ben-Gurion University of the Negev, Israel), Wheeler Ruml (University of New Hampshire, USA), Erez Karpas (Technion - Israel Institute of Technology, Israel), Shahaf S. Shperberg (Ben-Gurion University of the Negev, Israel), Andrew Coles (King's College London, UK)