---
title: Online Dial-a-Ride Problem (OLDARP)
url: https://www.emergentmind.com/topics/online-dial-a-ride-problem-oldarp
type: topic
---

# Online Dial-a-Ride Problem (OLDARP)

Searching arXiv for recent and foundational papers on the Online Dial-a-Ride Problem (OLDARP).
The **Online Dial-a-Ride Problem (OLDARP)** is an online routing problem in which transportation requests arrive over time and must be served by a server moving in a metric space. In the standard single-server formulation, the server starts at a distinguished origin, moves at unit speed, and each request specifies a pickup location, a dropoff location, and a release time. In the non-preemptive setting, once a request is picked up it may only be unloaded at its destination. The canonical objective in the modern OLDARP literature is to minimize the **completion time**, that is, the time when all requests have been served. A major structural distinction is between the **open** variant, where the server may stop anywhere after the last delivery, and the **closed** variant, where the route must return to the origin. This distinction is central in competitive analysis, because it changes both the geometry of optimal routes and the online algorithm’s waiting and interruption decisions [2210.13854].

## 1. Formal model and core variants

The metric-space formulation used in recent work fixes a metric space \((M,d)\) with a distinguished origin \(O\in M\). A single server starts at \(O\), moves at unit speed, and may have capacity \(c\in\mathbb N\cup\{\infty\}\). Requests arrive online over time; in the open non-preemptive model studied by Baligács, Böhmová, Disser, and Hackfeld, each request is
\[
r=(a,b;t),
\]
where \(a\in M\) is the pickup point, \(b\in M\) is the dropoff point, and \(t\ge 0\) is the release time [2210.13854]. The algorithm learns \(r\) only at time \(t\), and the total number of requests is not known in advance. The completion time of an online algorithm on request sequence \(\sigma\) is denoted \(Alg(\sigma)\), while \(Opt(\sigma)\) denotes the offline optimum under the same release times.

A closely related formulation appears in learning-augmented work, where the route is required to return to the origin; there the objective route \(R_X\) must both serve all requests and end at the origin [2507.12822]. This is the closed variant. The same paper makes explicit the difference between OLDARP and the online traveling salesman problem (OLTSP): OLTSP requests specify a single service location, whereas OLDARP requests specify a pickup-delivery pair [2507.12822]. In Appendix formulations devoted specifically to OLDARP with predictions, the problem is further specialized to the **uncapacitated** case \(c=\infty\), again with a single server, non-preemption, and completion-time objective \(|T_x|\) [2206.15364].

The competitive-analysis benchmark is standard. For open OLDARP, the strict competitive ratio is
\[
\rho=\sup_\sigma \frac{Alg(\sigma)}{Opt(\sigma)}.
\]
This formulation is used explicitly in the 2022 open-problem analysis [2210.13854]. In the learning-augmented closed setting, an online algorithm is \(\alpha\)-competitive if \(|ALG|\le \alpha OPT\) for every input [2507.12822]. This shared benchmark has made OLDARP a canonical testbed for online routing techniques based on waiting, batching, interruption, and prediction.

## 2. Open versus closed OLDARP and the role of schedule structure

The open and closed variants differ in a way that is algorithmically decisive. In the open problem, after serving the last request, the server need not return to the origin. This allows the online algorithm to benefit from ending “far away,” but it also makes online timing subtler because interruption and endpoint selection interact [2210.13854]. In the closed problem, by contrast, any schedule must absorb a final return-to-origin leg, which often makes waiting-at-origin strategies more natural and supports sharper guarantees for schedule-based algorithms [2507.12822].

A second major distinction in the literature is between **schedule-based** and **non-schedule-based** algorithms. Schedule-based algorithms repeatedly compute a route for the currently known unserved requests, execute that route, and ignore any requests arriving during its execution. The recent learning-augmented paper "Waiting is worth it and can be improved with predictions" models OLDARP exactly this way: when the server is at the origin and the known unserved set \(U_t\) is nonempty, it computes a schedule \(R_{U_t}\), starts it at a threshold time, and ignores all new requests until the schedule completes and the server returns to the origin [2507.12822]. The overall route is thus a concatenation of origin-to-origin batch schedules.

By contrast, the open-problem algorithmic line culminating in the **Lazy** family allows interruption under controlled conditions and is therefore not schedule-based in the classical sense [2210.13850]. This distinction matters because previous lower bounds had shown a \(2.5\) barrier for schedule-based algorithms and for the natural **Replan**-style approach, whereas improved analyses of Lazy beat that barrier [2210.13850]. This suggests that in open OLDARP, progress beyond classical waiting-and-batching methods requires more adaptive reset mechanisms.

## 3. Classical waiting algorithms on the line and in general metrics

The modern theory of OLDARP has been shaped by waiting-based algorithms. On the line, the influential **Smartstart** algorithm was subjected to tight analysis by Böhmová, Disser, Královič, Královič, and Schewior. In the open, non-preemptive line setting, Smartstart waits until the earliest time \(t'\) satisfying
\[
t' \ge \frac{L(t',p,R_{t'})}{\Theta-1},
\]
where \(L(t,p,R)\) is the shortest schedule length from current position \(p\) at time \(t\) serving released requests \(R\), and \(\Theta>1\) is the waiting parameter [1901.04272]. Once it starts a batch, it executes an optimal offline schedule for the currently known requests and ignores later arrivals until that batch finishes.

The tight line analysis yields an exact competitive ratio for Smartstart in the open non-preemptive setting:
\[
\rho^*\approx 2.93768,
\]
attained at an optimal parameter \(\Theta^*\approx 2.0526\) [1901.04272]. The same paper proves that for the **closed** non-preemptive line case, Smartstart has exact competitive ratio \(2\), uniquely optimized at \(\Theta=2\) [1901.04272]. These results established the importance of the “wait, batch, ignore arrivals” paradigm, while also showing its limitations in the open problem.

A later improvement for the open non-preemptive line problem came from **SmarterStart**, which changed Smartstart’s waiting trigger. Instead of basing the wait condition on the server’s current position, SmarterStart bases it on the offline optimum from the **origin** for all requests released so far:
\[
\min_{t' \ge t}\left\{t' \ge\frac{L(t',0,\mathcal{R}_{t'})}{\Theta-1}\right\}.
\]
This prevents adversarial “luring” that exploits position-dependent waiting [1907.02858]. The resulting competitive ratio on the line is approximately \(2.6662\), improving the previous upper bound \(2.9377\), and the paper proves this analysis is tight for the SmarterStart family [1907.02858]. The same work also gives a lower bound \(2.0585\), the first to separate open Dial-a-Ride on the line from online TSP on the line [1907.02858].

These line results were subsequently overtaken, for the open problem, by new analyses of the Lazy family in general metrics and on restricted line-like spaces [2210.13850].

## 4. The Lazy family and the current best deterministic upper bounds for open OLDARP

The decisive advance in open OLDARP came from the parameterized algorithm **Lazy(\(\alpha\))**, introduced and refined in 2022. Its high-level logic is to wait until enough information has accumulated, start an optimal schedule for the currently known unserved requests, and interrupt only if a newly arriving request is “cheap enough” to justify resetting: namely, the server must be able to finish the currently loaded requests and return to the origin by time \(\alpha\,Opt(t)\) [2210.13854]. When the server becomes idle, it either waits until time \(\alpha Opt(t)\) or starts a new shortest schedule \(S(R_t,p_t)\) for the current unserved set from its current position [2210.13854].

A first analysis established that for \(\alpha\ge \varphi\), where \(\varphi=\frac{1+\sqrt5}{2}\), Lazy is \((1+\alpha)\)-competitive, yielding the bound
\[
1+\varphi \approx 2.618
\]
for open online dial-a-ride on general metric spaces and any capacity \(c\in\mathbb N\cup\{\infty\}\) [2210.13854]. This improved the best previously known upper bounds from \(2.70\) in general metrics and \(2.67\) on the line [2210.13854]. The proof is phase-based, showing by induction that each started schedule \(S^{(i)}\) satisfies
\[
|S^{(i)}|\le Opt(t^{(i)}), \qquad
t^{(i)}+|S^{(i)}|\le (1+\alpha)Opt(t^{(i)}).
\]
The golden ratio enters when closing the inductive step on completion time [2210.13854].

A tighter analysis of the same Lazy family soon improved the deterministic upper bound further. Baligács, Böhmová, Disser, and Hackfeld showed that for
\[
\alpha=\frac12+\sqrt{\frac{11}{12}},
\]
Lazy has competitive ratio
\[
\frac32+\sqrt{\frac{11}{12}} \approx 2.457
\]
on **general metric spaces** [2210.13850]. On the **half-line**, the stronger geometry permits
\[
\alpha=\frac{1+\sqrt3}{2},
\qquad
\rho=\frac{3+\sqrt3}{2}\approx 2.366
\]
[2210.13850]. The same bounds also carry over to the preemptive setting by replacing shortest non-preemptive schedules with preemptive shortest schedules [2210.13850].

This tight analysis is especially significant because it beats the known \(2.5\) lower bounds for schedule-based algorithms and for the natural Replan family [2210.13850]. The paper explicitly identifies this as the first upper bound below that barrier. It also proves that the new constants are **tight for Lazy itself**: the general-metric bound \(2.457\) and the half-line bound \(2.366\) are lower bounds for the family over all parameter choices [2210.13850]. This does not settle the true optimal competitive ratio of open OLDARP, but it clarifies both the power and the limits of this interruption-based paradigm.

## 5. Lower bounds and structural hardness

OLDARP is known to admit nontrivial deterministic lower bounds even on highly structured metrics. On the real line, the paper "Improved Bounds for Open Online Dial-a-Ride on the Line" proves a lower bound of approximately \(2.0585\), defined as the second largest root of
\[
4\rho^3-26\rho^2+39\rho-5.
\]
This is the first lower bound that strictly separates online Dial-a-Ride on the line from online TSP on the line in competitive terms [1907.02858]. The proof uses a batch of transportation requests that force committed motion under non-preemption and finite capacity, exploiting exactly the transport aspect absent from TSP [1907.02858].

For open OLDARP in general, the 2022 general-metric Lazy paper recalls lower bounds around \(2.05\) for the line, emphasizing that a substantial gap remains between the best known upper and lower bounds for the problem itself [2210.13854]. By contrast, its lower bound
\[
\max\left\{1+\alpha,\; 2+\frac{2}{3\alpha}\right\}
\]
applies only to the **Lazy(\(\alpha\)) family**, not to all algorithms [2210.13854]. Optimizing this family lower bound yields the universal family-wide obstruction
\[
\frac32+\sqrt{\frac{11}{12}}\approx 2.457,
\]
showing that no parameter choice within Lazy can beat the improved upper bound [2210.13854]. The tighter analysis in [2210.13850] matches this value from above.

Learning-augmented work reveals a parallel structural limitation for the closed, schedule-based setting. The 2025 paper on online predictions proves that **any schedule-based algorithm with online predictions** has competitive ratio at least \(2\), even for OLTSP on the line, and therefore also for OLDARP because OLDARP generalizes OLTSP [2507.12822]. Thus perfect online predictions do not break the classical barrier of \(2\) within the schedule-based model [2507.12822]. This does not contradict the open-problem upper bounds above \(2\); rather, it identifies a framework-specific limit in the closed, origin-returning setting.

The literature also includes a distinct **spatial locality** model in which each newly arriving request’s pickup lies within distance \(\Delta\) of the current position of some server. In that model, deterministic lower bounds of \(2\) persist regardless of \(\Delta\) for general non-sequential arrivals, including OLDARP [2506.17517]. This suggests that even limited geometric side information does not eliminate the fundamental adversarial structure of online routing.

## 6. Learning augmentation, prediction models, and locality-aware extensions

Recent work has expanded OLDARP beyond classical worst-case online analysis into learning-augmented and information-augmented settings. The paper "Online TSP with Predictions" extends three prediction models to OLDARP in an appendix devoted specifically to the learning-augmented dial-a-ride problem [2206.15364]. In that formulation, requests are \(x_i=(t_i,a_i,b_i)\), the problem is uncapacitated and non-preemptive, and the server starts and ends at the origin [2206.15364]. The three prediction models are: full sequence prediction without identity, full sequence prediction with identity, and prediction of the last arrival time [2206.15364].

Corresponding algorithms include **LADAR-Trust**, **LADAR-NID**, **LADAR-ID**, and **LADAR-Last**. Their guarantees are expressed in the language of **consistency**, **robustness**, and **smoothness**. For example, LADAR-ID satisfies
\[
ALG \le \min\{3OPT,\; OPT + 2\,time + 4\,pos\},
\]
hence is \(1\)-consistent, \(3\)-robust, and \((2\,time+4\,pos)\)-smooth [2206.15364]. LADAR-Last satisfies
\[
ALG \le \min\{3.5\,OPT,\; 2\,OPT + |last|\},
\]
hence is \(2\)-consistent and \(3.5\)-robust [2206.15364]. These are not best-known competitive ratios for OLDARP itself; rather, they show how learning-augmented methodologies can transfer from OLTSP to dial-a-ride.

The 2025 schedule-based prediction paper develops a more lightweight prediction model. Instead of predicting all future requests, it predicts a **binary decision per schedule**: whether the next batch should start earlier or later than the SmartStart threshold [2507.12822]. The resulting algorithm **SSOP** adds a predicting state to SmartStart and achieves, with Christofides-based approximate schedules, a tradeoff of
\[
(1.1514\,\lambda+1.5)\text{-consistency}
\]
and
\[
\left(1.5+\frac{1.5}{2.3028\lambda-1}\right)\text{-robustness}
\]
for \(\lambda\in(1/\theta,1]\), where \(\theta=\frac{1+\sqrt{13}}{2}\approx 2.3028\) and \(\rho=1.5\) comes from Christofides’ heuristic [2507.12822]. As \(\lambda\downarrow 1/\theta\), the consistency approaches \(2\), close to the exact-schedule schedule-based benchmark, but robustness deteriorates sharply [2507.12822].

Another information-augmented direction is **spatial locality**. For uncapacitated, nomadic OLDARP, locality-based algorithms improve the best known \(2.457\) bound when the locality radius \(\Delta\) is small relative to metric diameter \(D\). On arbitrary metrics, the bound becomes
\[
\min\{2.457,\; 2+\delta\},
\qquad \delta=\frac{\Delta}{D},
\]
for a single server [2506.17517]. On the line, the bound becomes
\[
\min\left\{2.457,\;1+\frac{1+\delta}{1+\beta}\right\},
\]
where \(\beta=\frac{\min\{\mathbb{L},\mathbb{R}\}}{D}\) measures how centrally located the origin is [2506.17517]. For multiple servers, a parallelized version yields
\[
\min\{2.457,\;2(1+\delta)\}
\]
on any metric [2506.17517]. The paper explicitly notes that locality is imposed only on the **pickup** point, not the destination [2506.17517]. This suggests a promising but still highly specialized route toward improved competitive ratios under side information.

## 7. Related variants: revenue maximization and dynamic ridesharing extensions

OLDARP has also been studied under objectives other than completion time. A prominent alternative is **revenue maximization under a global time horizon**. In "Maximizing Revenues for Online-Dial-a-Ride," each request is \((s,d,t,r)\), where \(r\) is the revenue earned if the request is served before a deadline \(T\). In the general weighted-edge setting, the offline problem is NP-complete and the online problem is not competitive at all; in the unit-weight setting, however, the deterministic **Greatest Revenue First (grf)** algorithm is \(2\)-competitive with an additive term equal to the value of the last request served by the offline optimum [1310.7232]. This variant departs fundamentally from completion-time OLDARP because requests may be rejected and the objective is profit, not makespan.

A later refinement studies the **Segmented Best Path (SBP)** algorithm for the revenue-maximization version on weighted graphs. Under bounded-edge assumptions, SBP has exact competitive ratio \(5\) in the nonuniform-revenue case and a \(4\)-competitive guarantee up to an additive \(O(f)\) term in the uniform-revenue case [1912.06300]. These results belong to a different objective regime, but they show how the OLDARP framework can be adapted to acceptance-control settings with hard horizons.

Beyond competitive analysis, there are dynamic shared-mobility problems explicitly described as related to dial-a-ride. The dynamic tree algorithm for peer-to-peer ride-sharing matching treats drivers as servers with private origin-destination trips and incremental pickup/dropoff insertions. Its lower-level route representation is a dynamic tree of feasible schedules that is updated as new requests are inserted, while an upper-level assignment problem selects feasible driver-request combinations [2105.13078]. This is not classical OLDARP—drivers are not centrally controlled fleet vehicles—but the paper’s use of precedence, capacity, waiting-time, and excess-travel constraints makes it an OLDARP-adjacent extension.

Similarly, work on dynamic electric dial-a-ride with charging management focuses on a subset of OLDARP decisions, namely recharge planning and real-time charger assignment under stochastic demand. The two-stage approach of Ma and Xie plans daily charging schedules and then solves an online vehicle–charger assignment problem using Lagrangian relaxation, with empirical savings in charging waiting time, charging duration, and energy cost [2010.01541]. This does not solve full OLDARP jointly with routing, but it shows how energy constraints and queueing at chargers create a new online control layer within dynamic dial-a-ride systems.

A plausible implication of these variants is that OLDARP has evolved into a family of online pickup-and-delivery problems distinguished less by request structure than by objective and side constraints: completion-time minimization, profit maximization, prediction augmentation, locality promises, shared-mobility detour constraints, and battery-aware fleet control.

## 8. Current state of the field and open directions

The current deterministic state of the art for **open** OLDARP is dominated by the Lazy family. For general metric spaces, the best known upper bound is
\[
\frac32+\sqrt{\frac{11}{12}}\approx 2.457
\]
[2210.13850]. On the half-line, it is
\[
\frac{3+\sqrt3}{2}\approx 2.366
\]
[2210.13850]. Earlier milestones on the line include Smartstart’s exact \(2.93768\) ratio for the open case [1901.04272] and SmarterStart’s improved \(2.6662\) ratio with tight analysis [1907.02858]. The best known lower bound for the open problem itself remains around \(2.0585\) on the line and therefore for general metrics as well [1907.02858].

For the **closed** schedule-based setting, exact schedules inside SmartStart attain the classical ratio \(2\), while Christofides-based polynomial-time schedules yield the benchmark approximately \(2.6514\) [2507.12822]. Learning-augmented schedule-level predictions can improve polynomial-time consistency toward \(2\) without violating the schedule-based lower-bound barrier [2507.12822]. Appendix results on more explicit prediction models provide additional consistency/robustness tradeoffs, but not improved worst-case competitive ratios for the base problem [2206.15364].

Several misconceptions recur in the literature. One is to conflate line-specific results with general-metric progress; many strong constants, including SmarterStart’s \(2.6662\), depend essentially on line geometry [1907.02858]. Another is to interpret lower bounds for Lazy or for schedule-based algorithms as lower bounds for OLDARP itself; the 2022 Lazy lower bounds are explicitly family-specific [2210.13854], and the schedule-based prediction lower bound of \(2\) is framework-specific [2507.12822]. A third is to treat OLDARP as merely OLTSP with paired nodes. The line lower bound \(2.0585\), which separates dial-a-ride from TSP, shows that the transport constraint creates genuinely harder online structure [1907.02858].

The main open questions remain those already highlighted by the best recent open-problem papers. Can one beat \(2.457\) for open OLDARP with a deterministic algorithm outside the Lazy paradigm [2210.13850]? Can problem-level lower bounds be pushed substantially above \(2.0585\) [1907.02858]? Can information-augmented models such as spatial locality or online schedule predictions be generalized into broader algorithmic principles [2506.17517; 2507.12822]? This suggests that the next advances may require either stronger adaptive interruption schemes than Lazy or a shift away from the prevailing schedule-centric abstractions.

Source: https://www.emergentmind.com/topics/online-dial-a-ride-problem-oldarp