ar X iv : 0 70 7 . 06 48 v 1 [ cs . D S ] 4 J ul 2 00 7 Dial a Ride from k - forest
نویسندگان
چکیده
The k-forest problem is a common generalization of both the k-MST and the dense-k-subgraph problems. Formally, given a metric space on n vertices V , with m demand pairs ⊆ V × V and a “target” k ≤ m, the goal is to find a minimum cost subgraph that connects at least k demand pairs. In this paper, we give an O(min{√n, √ k})-approximation algorithm for k-forest, improving on the previous best ratio of O(n logn) by Segev & Segev [SS06]. We then apply our algorithm for k-forest to obtain approximation algorithms for several Dial-a-Ride problems. The basic Dial-a-Ride problem is the following: given an n point metric space with m objects each with its own source and destination, and a vehicle capable of carrying at most k objects at any time, find the minimum length tour that uses this vehicle to move each object from its source to destination. We prove that an α-approximation algorithm for the k-forest problem implies an O(α · log n)-approximation algorithm for Dial-a-Ride. Using our results for k-forest, we get an O(min{√n, √ k} · log n)-approximation algorithm for Dial-a-Ride. The only previous result known for Dial-a-Ride was an O( √ k logn)-approximation by Charikar & Raghavachari [CR98]; our results give a different proof of a similar approximation guarantee—in fact, when the vehicle capacity k is large, we give a slight improvement on their results. The reduction from Dial-a-Ride to the k-forest problem is fairly robust, and allows us to obtain approximation algorithms (with the same guarantee) for the following generalizations: (i) Non-uniform Dial-a-Ride, where the cost of traversing each edge is an arbitrary non-decreasing function of the number of objects in the vehicle; and (ii) Weighted Dial-a-Ride, where demands are allowed to have different weights. The reduction is essential, as it is unclear how to extend the techniques of Charikar & Raghavachari to these Dial-a-Ride generalizations.
منابع مشابه
ar X iv : 0 70 7 . 03 46 v 1 [ m at h - ph ] 3 J ul 2 00 7 THE ONE - DIMENSIONAL SCHRÖDINGER - NEWTON EQUATIONS
We prove an existence and uniqueness result for ground states of one-dimensional Schrödinger-Newton equations.
متن کاملar X iv : 0 70 7 . 04 47 v 1 [ m at h . R A ] 3 J ul 2 00 7 Subrings which are closed with respect to taking the inverse
Let S be a subring of the ring R. We investigate the question of whether S ∩ U(R) = U(S) holds for the units. In many situations our answer is positive. There is a special emphasis on the case when R is a full matrix ring and S is a structural subring of R defined by a reflexive and transitive relation.
متن کاملar X iv : 0 80 7 . 06 87 v 1 [ m at h . PR ] 4 J ul 2 00 8 Representations of SO ( 3 ) and angular polyspectra
We characterize the angular polyspectra, of arbitrary order, associated with isotropic fields defined on the sphere S 2 = ˘ (x, y, z) : x 2 + y 2 + z 2 = 1 ¯. Our techniques rely heavily on group representation theory, and specifically on the properties of Wigner matrices and Clebsch-Gordan coefficients. The findings of the present paper constitute a basis upon which one can build formal proced...
متن کاملar X iv : 0 90 7 . 09 39 v 2 [ cs . A I ] 7 J ul 2 00 9 The Soft Cumulative Constraint Thierry Petit Emmanuel
This research report presents an extension of Cumulative of Choco constraint solver, which is useful to encode over-constrained cumulative problems. This new global constraint uses sweep and task interval violation-based algorithms.
متن کاملar X iv : 0 70 7 . 06 78 v 1 [ m at h . A C ] 4 J ul 2 00 7 GENERIC INITIAL IDEALS AND FIBRE PRODUCTS
We study the behavior of generic initial ideals with respect to fibre products. In our main result we determine the generic initial ideal of the fibre product with respect to the reverse lexicographic order. As an application we compute the symmetric algebraic shifted complex of two disjoint simplicial complexes as was conjectured by Kalai. This result is the symmetric analogue of a theorem of ...
متن کامل