arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2510.25861

Online 3-Taxi on General Metrics

Christian Coester·Tze-Yang Poon
View original source ↗Read source document ↗Export metadata ↓

Abstract

The online $k$-taxi problem, introduced in 1990 by Fiat, Rabani and Ravid, is a generalization of the $k$-server problem where $k$ taxis must serve a sequence of requests in a metric space. Each request is a pair of two points, representing the pick-up and drop-off location of a passenger. In the interesting ''hard'' version of the problem, the cost is the total distance that the taxis travel without a passenger. The problem is known to be substantially harder than the $k$-server problem, and prior to this work even for $k=3$ taxis it has been unknown whether a finite competitive ratio is achievable on general metric spaces. We present an $O(1)$-competitive algorithm for the $3$-taxi problem.

Explore related subjects

cs.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Christian Coester, Tze-Yang Poon. 2025-10-29. Online 3-Taxi on General Metrics. https://arxiv.org/abs/2510.25861

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

KEEP EXPLORING

Related papers

arXiv2026

Cluster deletion in cographs, permutation graphs, and graphs with bounded clique number

The Cluster Deletion problem asks for a minimum-size edge set whose deletion turns a graph into a disjoint union of complete graphs. Equivalently, the Clique Partition problem asks for a partition of the vertex set into cliques that maximizes the number of edges within the parts. We give a simpler proof of a result of Gao, Hare, and Nastos (Discete Mathematics, 2013), that Cluster Deletion is polynomial-time solvable on cographs. In addition, we show that the natural linear programming formulation of Clique Partition is exact on cographs. We then show that Cluster Deletion is NP-complete on permutation graphs, which are a superclass of cographs. This answers an open question of Konstantinidis and Papadopoulos (Algorithmica, 2021). We also exhibit a permutation graph on nine vertices for which the linear programming formulation is not exact. Finally, for graphs with clique number at most $c$, we give a polynomial-time $2\binom{c}{2}/(\binom{c}{2}+1)$-approximation algorithm for Clique Partition. More generally, the algorithm runs in polynomial time on every graph class for which a maximum clique can be found in polynomial time. For each fixed $c\geq 3$, we also construct infinitely many examples attaining the stated approximation ratio. The same examples show that, for Cluster Deletion , the algorithm is a $2$-approximation and no better, for every fixed $c \geq 3$.

cs.DS↗
arXiv2026

Improved Approximation Algorithms for the Multiple-Depot Split Delivery Vehicle Routing Problem

The multiple-depot split delivery vehicle routing problem is a challenging optimization problem with broad applications in logistics and transportation. The goal is to serve customers' demand using a limited fleet of capacitated vehicles stationed at multiple depots, allowing each customer's demand to be split and served by multiple vehicles, while minimizing the total travel cost. Parameterized by the number of depots, the previous best-known result was a slice-wise polynomial-time $6$-approximation algorithm (INFORMS J. Comput. 2023), and whether this ratio could be improved remained an open question. We resolve this question by proposing a fixed-parameter tractable (FPT) $(2α+1+\varepsilon)$-approximation algorithm for any constant $\varepsilon>0$, where $α<3/2$ denotes the best-known ratio for the traveling salesman problem (TSP). Our algorithm enumerates partitions of connected components formed by low-cost edges to construct a low-cost cycle cover, then extracts paths, and assigns them to vehicles through a minimum-cost flow method. The cycle-cover technique also yields an FPT $(α+\varepsilon)$-approximation for the multiple-depot TSP. We further propose a simple parameterized $5$-approximation algorithm based on the structural properties of vehicle capacities, which achieves polynomial running time for a specific setting that appears in existing benchmark instances. In addition, we develop a bi-factor approximation algorithm that balances minor vehicle capacity violations against reductions in travel cost or gains in computational efficiency. Finally, our computational experiments demonstrate that the proposed methods exhibit complementary strengths across various instance types and achieve competitive solution quality.

cs.DS↗
arXiv2026

Scalable Algorithms for Approximate DNF Model Counting

Model counting of Disjunctive Normal Form (DNF) formulas is a critical problem in applications such as probabilistic inference and network reliability. For example, it is often used for query evaluation in probabilistic databases. Due to the computational intractability of exact DNF counting, there has been a line of research into a variety of approximation algorithms. These include Monte Carlo approaches such as the classical algorithms of Karp, Luby, and Madras (1989), as well as methods based on hashing (Soos et al. 2023), and heuristic approximations based on Neural Nets (Abboud, Ceylan, and Lukasiewicz 2020). We develop a new Monte Carlo approach with an adaptive stopping rule and short-circuit formula evaluation. We prove it achieves Probably Approximately Correct (PAC) learning bounds and is asymptotically more efficient than the previous methods. We also show experimentally that it out-performs prior algorithms by orders of magnitude, and can scale to much larger problems with millions of variables.

cs.DS↗