• Abstract and Figures
• Public Full-text

The Traveling Firefighter Problem Majid Farhadi∗ Alejandro Toriello Prasad Tetali† Georgia Tech Georgia Tech Georgia Tech [email protected] [email protected] [email protected] Abstract optimized for a specific norm, particularly yielding a 5:65-approximation for the TFP on general metrics. We introduce the Lp Traveling Salesman Problem (Lp- TSP), given by an origin, a set of destinations, and We leave open several interesting directions to fur- underlying distances. The objective is to schedule a ther develop this line of research. destination visit sequence for a traveler of unit speed to minimize the Minkowski p-norm of the resulting vector 1 Introduction of visit/service times. For p = 1 the problem becomes The Lp-TSP is a routing problem seeking to minimize a path variant of the TSP, and for p = 1 it defines the Lp norm of the vector of visit/service times to a set the Traveling Repairman Problem (TRP), both at the of customer locations. It generalizes and interpolates center of classical combinatorial optimization. between two well-studied problems, the path variant of Lp-TSP can be formulated as a convex mixed- the TSP and the TRP, also known as the Minimum integer program and enables a smooth interpolation Latency Problem, which are the two extreme cases between path-TSP and TRP, corresponding to optimal in which one minimizes either the largest or the sum routes from the perspective of a server versus the of service times. By assuming the server's speed is customers, respectively. The parameter p can affect constant, we use time and distance interchangeably in fairness or efficiency of the solution: The case p = 2, the remainder of the paper. which we term the Traveling Firefighter Problem (TFP), As one motivating example, the Lp-TSP for p = 2, models the scenario when the cost/damage due to a which we call the Traveling Firefighter Problem (TFP), delay in service is quadratic in time. abstracts a macro-scale optimal strategy for dispatching a firefighter to minimize the total damage due to fires We provide a polynomial-time reduction of L - p at various locations. Ride-sharing is another use-case of TSP (losing a factor of 1 + " in performance) to our problem. For example, devising the return route of the segmented-TSP, a routing problem that defines a a school bus, should we optimize the fuel consumption constant O(1+"−2) number of deadlines by which given (i.e. the driver's time en route) or the average student numbers of vertices should be visited. Subsequently we waiting time? Is it fairer to further penalize larger derive polynomial-time approximation schemes for L - p waiting times, e.g. minimizing the sum of squares/cubes TSP in the Euclidean metric and the tree metric (for of the waiting times? Before formulating the problems which the problem is strongly NP-hard). under study we introduce some notation. We also study the all-norm-TSP, in which the Notation. [z] denotes the set f1; ··· ; zg for any arXiv:2107.10454v1 [cs.DS] 22 Jul 2021 objective is to find a route that is (approximately) positive integer z. O~(·) is equivalent to O(·), treating optimal with respect to the minimization of any norm " > 0 as a constant. A metric over a set of nodes V is of the visit times. We improve the approximation a distance function d : V × V ! that satisfies bound for this problem to 8, down from 16, and R≥0 symmetry, d(x; y) = d(y; x) 8x; y 2 V , identity, further prove an impossibility for an approximation d(x; x) = 0, and the triangle inequality, d(x; y) ≤ factor better than 1:78, even in line metrics. Finally, d(x; z) + d(z; y) 8x; y; z 2 V: we show the performance of our algorithm can be The inputs to the problem are the set of vertices V , including both the destinations and the server's ∗Supported in part by aco.gatech.edu, triad.gatech.edu. starting location, s 2 V , and the underlying metric Part of this work was conducted when authors visited Simons d(·; ·) over V , corresponding to distances (or times) Institute for the Theory of Computing. between vertex pairs. †Research supported in part by the NSF grant DMS-2055022. The author's new affiliation is Department of Mathematical A feasible solution or route is a permutation σ th Sciences, Carnegie Mellon University, Pittsburgh. over V that starts at the origin; σi denotes the i vertex 1 Copyright © 2021 by SIAM Unauthorized reproduction of this article is prohibited to be visited, so we always have σ1 = s. F denotes the set of all feasible solutions. The ith smallest visit time, σ A S B C due to a solution σ 2 F, is denoted Ti , i.e. ( (a) L2-TSP route σ 0 i = 1 Ti = Pi j=2 d(σj−1; σj) i 2 f2; ··· ; ng σ A S B C The visit time for vertex v is denoted `v . Similarly, σ σ Pσi=v `s = 0 and `v = i=2 d(σi−1; σi) 8v 6= s. (b) L1-TSP route Definition 1. (L -TSP) The input of the optimiza- p Figure 1: Different norms cause different routes. tion problem Lp-TSP is a set of destinations V , a start- ing vertex s 2 V , and a metric d : V × V ! R≥0. The objective is to find a feasible route, σ 2 F, starting at s and visiting all v 2 V , that minimizes the Minkowski the best solution for the firefighter: L1-TSP minimizes σ the latest visit time for all fires, while the cost could be p-norm of the visit times, i.e. minσ2F k` kp, where affected by all visit times; thus an aggregated measure 1 ! p could be a better objective. σ X σ p k` kp := j`v j : For example, consider the following simple dynam- v2V ics for the spread of wildfires over uniform territory, ig- noring possible differences such as vegetation, weather When the problem/objective is clear from context, and wind. After every second, a flammable point of we denote an optimal route as OPT and the answer of territory is ignited if it is within a unit distance from our algorithm as ALG. the burning flames. Under these dynamics, the area of A Better Objective. One can verify that the land scorched by the fire is a quadratic function of the objective (norm) affects various aspects of the routing elapsed time. Therefore, the damage due to the delay th 2 problem, such as efficiency. Lp-TSP enables a smooth on the i visit can be better represented by ` and σi transition between two extreme objectives. For larger P 2 2 minimizing v `v = k`k2, or equivalently k`k2, is a bet- p's the objective is strongly affected by dominating ter objective for this scenario compared to other norms, (larger) entries of the delay vector and minimizing k`kp particularly k`k1 or k`k1. Motivated by this example, is more to the benefit of the server. In contrast, smaller we term L2-TSP as the Traveling Firefighter Problem p's provide a further aggregated measure of the amount (TFP). of time that the customers have waited. This trade-off In an applied setting, this approach may require can also be interpreted from a fairness perspective, as some refinement but the basic idea still applies. Land increasing p discourages the longest waiting time from and weather asymmetries can be modeled by a mul- becoming too large. tiplicity of vertices: If a fire spreads twice as fast in Firefighter Example. We further elaborate on area, we can represent it by two vertices overlapping why p2 = f1; 1g can be a useful objective by considering in the metric. One could also generalize the objec- the routing of a firefighter.1 Consider a set of wildfires tive to a weighted sum of the squared delays and/or in dispersed locations, and suppose a skilled firefighter discretize large fires into smaller ones. Moreover, the extinguishes any fire the second they arrive at a loca- time required to extinguish a fire can be accounted for tion; the firefighter must choose the order in which to by adding a new edge, hanging from the original desti- visit and extinguish the fires. One possible strategy is nation at a distance proportional to the time required to choose a sequence in order to finish extinguishing all to contain that fire, and moving the destination to the fires as soon as possible, which corresponds to solving other endpoint of the new edge. the L1-TSP (the path-TSP). However, this may not be The Argument versus The Objective. The set of feasible routes for all Lp-TSP problems is the same, 1Over the past decade, and for the first time on record, the while the objectives are different. For any p 6= q, annual number of acres burned in the United States exceeded there exist instances where the two optimal routes are 10 million; this occurred twice [Hoo18]. During 2018, wildfire different. As a simple example, depicted by Figure 1, + damages in California totalled $150 billion [WGZ 21]. In July consider four vertices S, A, B, and C over a line metric 2019, a record 2:4 million acres of the Amazon rainforest were torched [Bor19]. The optimal allocation, scheduling, and routing at locations 0; −1−"; +1, and +2 respectively. Starting of firefighting resources may help to better address this global at S, the route SABC is optimal for L2-TSP with challenge.

Load more

  13

Copy Link