Searcharxiv⌕ Search

arXiv · 0707.0648

Dial a Ride from k-forest

Abstract

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 $\subseteq V \times V$ and a ``target'' $k\le 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\{\sqrt{n},\sqrt{k}\})$-approximation algorithm for $k$-forest, improving on the previous best ratio of $O(n^{2/3}\log n)$ by Segev & Segev. 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(α\cdot\log^2n)$-approximation algorithm for Dial-a-Ride. Using our results for $k$-forest, we get an $O(\min\{\sqrt{n},\sqrt{k}\}\cdot\log^2 n)$- approximation algorithm for Dial-a-Ride. The only previous result known for Dial-a-Ride was an $O(\sqrt{k}\log n)$-approximation by Charikar & Raghavachari; 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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anupam Gupta, MohammadTaghi Hajiaghayi, Viswanath Nagarajan, R. Ravi. 2007-07-04. Dial a Ride from k-forest. https://arxiv.org/abs/0707.0648

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Publishing Below-Threshold Triangle Counts under Local Weight Differential Privacy

We propose an algorithm for counting below-threshold triangles in weighted graphs under local weight differential privacy. While prior work has largely focused on unweighted graphs, edge weights are intrinsic to many real-world networks. We consider the setting in which the graph topology is publicly known and privacy is required only for the contribution of an individual to incident edge weights, capturing practical scenarios such as road and telecommunication networks. Our method uses two rounds of communication. In the first round, each node releases privatized information about its incident edge weights under local weight differential privacy. In the second round, nodes locally count below-threshold triangles using this privatized information; we introduce both biased and unbiased variants of the estimator. We further develop two refinements: (i) a pre-computation step that reduces covariance and thus lowers expected error, and (ii) an efficient procedure for computing smooth sensitivity, which substantially reduces running time relative to a straightforward implementation. Finally, we present experimental results that quantify the trade-offs between the biased and unbiased variants and demonstrate the effectiveness of the proposed improvements.

cs.DS↗

String Representation Based on Substring Equation Systems

Repetitiveness measures quantify how much repetitive structure a string contains and serve as parameters for compressed representations and indexing data structures. Many compression schemes represent strings by recording equalities between identical substrings. We study string compression based on substring equation systems (SESs), which represent strings as unique solutions to substring-equality and character-assignment constraints. We show that every string $w$ has an SES of size $O(χ(w))$, where $χ(w)$ is the size of a smallest suffixient set for $w$ with a unique terminal symbol appended. This result establishes the reachability of $χ$, which had been an open problem. We also prove that computing the size $s(w)$ of the smallest SES that represents $w$ is NP-hard and $(1 + \varepsilon)$-inapproximable for some fixed constant $\varepsilon > 0$. Finally, we prove that the size $b(w)$ of the smallest bidirectional macro scheme (BMS) representing $w$ satisfies $s(w) \leq b(w) \leq 4s(w)$. Hence, SES and BMS are equivalent up to a constant factor, and this equivalence gives the new bound $b(w) \in O(χ(w))$.

cs.DS↗

Asymptotically Faster Algorithms for Recognizing $(k,\ell)$-Sparse Graphs

For fixed integers $k,\ell$ with $0\leq\ell<3k$, we study the problem of deciding whether a graph is $(k,\ell)$-sparse, a notion arising in combinatorial optimization and rigidity theory. Standard pebble-game algorithms take $O(n^2)$ time for $0\leq\ell<2k$ and $O(n^3)$ time for $2k\leq\ell<3k$, although faster algorithms were known for some parameter choices. We develop efficient recognition algorithms using bounded-indegree orientations, reductions to rooted arc-connectivity, augmenting paths, and centroid decomposition. For $0\leq\ell<2k$, they run in $O(n^{1+o(1)})$ time, yielding the first subquadratic bound valid throughout the entire range. Purely combinatorial implementations run in $O(n\sqrt n)$ time throughout this range. For graphs with $O(n)$ edges, we also improve the purely combinatorial running time for decomposing the edge set into a fixed number of forests, or certifying that no such decomposition exists, from $O(n\sqrt{n\log n})$ to $O(n\sqrt n)$. For simple graphs with $2k\leq\ell<3k$, the general recognition algorithm runs in $O(n^2)$ time when $\ell\leq2k+2$ and in $O(n^2\log n)$ time otherwise. When $\ell=2k$ and $k\leq3$, a specialized algorithm improves this to $O(n^{1+o(1)})$ and admits a purely combinatorial $O(n\sqrt n)$ implementation. Whenever the input graph is not $(k,\ell)$-sparse, our recognition algorithms return an explicit violating vertex set.

cs.DS↗