---
title: Online Transportation Problem Overview
url: https://www.emergentmind.com/topics/online-transportation-problem
type: topic
---

# Online Transportation Problem Overview

Searching arXiv for recent papers on the Online Transportation Problem and closely related formulations.
The **Online Transportation Problem** (OTP) is an online assignment problem in which requests arrive over time and must be assigned immediately and irrevocably to available service resources under metric costs and capacity constraints. In the classical metric formulation, a set of servers is clustered at server sites in a metric space, each site has an integer capacity, and each arriving request must be matched to one free site so as to minimize total transportation cost. The problem generalizes online metric matching by allowing multiple capacities per site, yet it differs fundamentally from moving-server models such as the $k$-server problem because OTP assigns static capacity without movement costs and seeks to minimize transport distances from requests to server sites [2406.03778]. More recent work also uses the term in broader operational settings, including online pickup-and-delivery routing, communication-aware multi-robot transportation, and hybrid online-offline booking systems; these variants retain the core online feature that decisions are made under partial or sequentially revealed information, but they optimize richer objectives such as makespan, tardiness, or route cost rather than only assignment distance [2603.23967], [2408.06324], [2204.11992].

## 1. Classical metric formulation and objective

In the classical formulation studied in recent theoretical work, one is given a metric space $(X,d)$ satisfying the triangle inequality. The online transportation problem $\mathrm{OTR}(k,m)$ has $k$ servers clustered at $m$ server sites $S \subseteq X$, where each site $s \in S$ has capacity $c(s) \in \mathbb{N}$ with $c(s) \ge 1$ and $\sum_{s \in S} c(s)=k$ [2406.03778]. Requests are unit demands arriving online, at most $k$ in total, and each request must be assigned immediately and irrevocably to one free server site; splitting a single request across multiple servers is not allowed. If request $r_t$ is assigned to site $s_t$, the incurred cost is $d(r_t,s_t)$, and total cost is the sum over all requests. The objective is to minimize this total assignment cost [2406.03778].

A special case is **Online Metric Matching** $\mathrm{OMM}(k)$, obtained when $m=k$ and every site has capacity $1$; a further restriction assumes that every request arrives exactly at a server location, i.e. $X=S$ [2406.03778]. The offline optimum is the optimal integral solution of a transportation linear program with primal variables $x_{t,s} \in [0,1]$, objective
\[
\min \sum_{t=1}^{k}\sum_{s\in S} d(r_t,s)x_{t,s},
\]
request-assignment constraints $\sum_{s\in S}x_{t,s}=1$, and site-capacity constraints $\sum_{t=1}^{k}x_{t,s}\le c(s)$. The corresponding dual uses request variables $\alpha_t$ and nonnegative capacity variables $\beta_s$, with constraints $\alpha_t+\beta_s\le d(r_t,s)$ [2406.03778]. Competitive analysis compares an online algorithm $\mathrm{ALG}$ against this offline optimum via
\[
\mathrm{CR}=\frac{\mathrm{costALG}}{\mathrm{costOPT}}.
\]

The central deterministic lower bound for $m$ server sites is
\[
\mathrm{CR}\ge 2m-1,
\]
which follows from the online metric matching lower bound by clustering servers at $m$ sites [2406.03778]. This lower bound has framed the modern theory of OTP, especially the long-standing conjecture of Kalyanasundaram and Pruhs that a deterministic $(2m-1)$-competitive algorithm exists [2406.03778].

## 2. Structural relation to online matching, routing, and transportation systems

OTP sits at an intersection of online matching, capacitated assignment, and transportation routing, but its modeling assumptions vary significantly across subliteratures. In the strict metric-assignment literature, the resources are static server sites with capacities and the only cost is request-to-site distance. Capacities create fundamentally different challenges from unit-capacity matching, because naive policies can prefer filling certain sites first and suffer exponential losses in $m$ [2406.03778]. This is why OTP is not merely OMM with aggregated servers.

A distinct but related use of the term appears in online vehicle-routing and logistics formulations. In time-dependent pickup-and-delivery routing, requests are tuples with pickup and delivery nodes, service times, deadlines, loads, and vehicle-type eligibility, and online decisions insert each arriving request into an evolving route while preserving capacity and temporal feasibility [2408.06324]. In a smart-factory transportation multi-robot system, the factory floor is modeled as an undirected graph \(G=(V,E)\), AGVs act under partial observability, and tasks arise dynamically with precedence indices, due times, payload constraints, congestion thresholds, and communication-dependent global state estimation [2603.23967]. In paratransit, a hybrid formulation called Offline VRP with Online Bookings requires confirming tight pickup windows in real time while the full routing problem is solved offline after bookings are known [2204.11992].

These formulations share the online, irrevocable, and resource-constrained character of OTP, but they optimize different quantities. Classical metric OTP minimizes assignment distance [2406.03778]. The smart-factory formulation minimizes makespan
\[
\widehat{W}=\max_{k \in \mathcal{K},\, m \in \mathcal{X}^t}\big\{B_{k,m}\cdot \widehat{AT}_{k,e_{m_-}}\big\}
\]
subject to task assignment, tardiness, payload, and occupancy constraints [2603.23967]. The time-dependent routing formulation prioritizes serving as many requests as possible and secondarily minimizing global service cost such as total travel time or total distance [2408.06324]. The paratransit formulation optimizes the downstream offline VRP cost induced by online commitments to tight pickup windows [2204.11992]. A plausible implication is that “Online Transportation Problem” functions as a family resemblance term across communities rather than a single universally fixed formalism.

## 3. Historical bounds, prior algorithms, and resource augmentation

The historical baseline for deterministic online metric matching is sharp: for $\mathrm{OMM}(k)$, the deterministic lower bound is $\mathrm{CR}\ge 2k-1$, with a matching upper bound by **Permutation** on OMM due to Kalyanasundaram–Pruhs and Khuller–Mitra–Vishkin [2406.03778]. For capacitated OTP, however, upper bounds long depended poorly on the number of sites. Reported prior results include **Greedy** with competitive ratio approximately $2^m-1$ and **Permutation** with $\Theta(k)$ competitive ratio when capacities are present [2406.03778]. Nayyar–Raghvendra later showed **Robust-Matching** to be $O(m\log^2 k)$-competitive, tightening the upper bound to \(O(\min\{m\log^2 k,k,2^m\})\) [2406.03778].

A parallel line of analysis studies the natural greedy rule under **resource augmentation**. In that setting, parking garages or server sites have original capacities \(C_g\), while the online algorithm is given augmented capacities \(k\cdot C_g\) for \(k\ge 1\), and the offline optimum is still evaluated with the original capacities [2307.08832]. The greedy rule assigns each arriving request to the nearest garage with remaining augmented capacity. For \(k\ge 3\), the paper proves
\[
\mathrm{CR}_k \le 1+\frac{2}{k-2},
\]
with examples such as \(\mathrm{CR}_3 \le 3\), \(\mathrm{CR}_4 \le 2\), and \(\mathrm{CR}_k \to 1\) as \(k\to\infty\) [2307.08832]. The bound is essentially tight: for every \(\epsilon>0\), there exists an instance with ratio exceeding \(1+\frac{2}{k-2}-\epsilon\) [2307.08832]. This line does not resolve the unaugmented deterministic OTP, but it shows that plain greedy becomes constant-competitive once capacities are multiplied by at least three.

The progression of results clarifies the conceptual divide between two questions. One asks whether unaugmented deterministic OTP admits the conjectured \((2m-1)\)-competitive algorithm. The other asks how much extra capacity suffices to make simple online rules near-optimal. The 2023 resource-augmentation analysis answers the second affirmatively for greedy [2307.08832], while the 2024 deterministic algorithm answers the first partially by giving the first \(O(m)\)-competitive deterministic algorithm without extra resources [2406.03778].

## 4. Subtree-Decomposition and the first \(O(m)\)-competitive deterministic algorithm

The paper "A Nearly Optimal Deterministic Algorithm for Online Transportation Problem" introduces **Subtree-Decomposition**, a new deterministic algorithm for OTP and proves that it achieves
\[
\mathrm{CR}\le 8m-5
\]
for \(\mathrm{OTR}(k,m)\), which is the first \(O(m)\)-competitive deterministic bound and comes within a constant factor of the lower bound \(2m-1\) [2406.03778]. The algorithm is developed first on power-of-two weighted tree metrics, where every edge weight is \(2^i\) for some integer \(i\ge 0\), and then extended to general metrics via a rounded minimum spanning tree embedding [2406.03778].

The core design uses a recursive decomposition of a rooted tree into subtrees at two scales. First, heavy versus light structure is captured by a maximal subtree \(T_0\) containing the root and avoiding maximum-weight edges, together with child subtrees \(T_i\) attached through those maximum-weight edges. Second, the whole tree is split into two coarse subtrees \(T^{(1)}\) and \(T^{(2)}\) by removing one root edge [2406.03778]. The algorithm is inductively defined and belongs to the **MPFS** class, short for **Most Preferred Free Servers**: for each request and current set of free sites, it defines a deterministic priority order and picks the highest-priority free site. Its preference list \(\mathrm{pri}_A(r,F)\) depends only on the request and the tree decomposition, not on the arrival sequence or capacities [2406.03778].

The online rule operates in two phases. While \(T_0\) still contains a free server, requests are first served within their native subtree if possible; otherwise the request is routed into \(T_0\) by a proxy request at the attachment point \(\mathrm{par}(\rho_i)\). After \(T_0\) becomes full, the rule first tries the same fine subtree \(T_i\), then the same coarse subtree \(T^{(j)}\), and finally the other coarse subtree \(T^{(3-j)}\) via proxy at the opposite coarse root [2406.03778]. This phase transition is the mechanism that controls when and how load crosses heavy cuts.

Implementation is relatively direct on trees. The tree is rooted, \(E_{\max}(T)\), \(T_0\), and the \(T_i\) are computed by a single DFS, and the coarse split \(T^{(1)}\), \(T^{(2)}\) is determined by removing one child-edge of the root. Each arrival requires only a constant number of proxy calls and a bounded number of subtree-availability checks. The assignment can be implemented in time proportional to the depth of the relevant subtree chain; in worst-case tree depth this is \(O(|V(T)|)\), and with natural hierarchical data structures it is \(O(\mathrm{height}(T))\) [2406.03778].

The competitiveness proof uses a **hybrid algorithm framework** for MPFS algorithms, specialized from Gupta–Lewi’s lemma. For a hybrid instance \(H=(A,\tau,s^\star)\), one bounds the hybrid cycle length \(\mathring{d}(H)\); if \(\mathring{d}(H)\le \alpha\, d(r_\tau,s^\star)\) for every hybrid, then the algorithm is \((\alpha+1)\)-competitive [2406.03778]. On power-of-two trees, the key bound is
\[
\mathring{d}_T(H)\le 2E_w(T_H)-2d_T(\mathrm{lca}(h_\tau,a_\tau),\rho_H),
\]
where \(E_w(T_H)=|E(T_H)|w^{\max}_{T_H}\) [2406.03778]. Combined with a monotonicity property of Subtree-Decomposition, this yields
\[
\mathrm{CR}\le 2|E(T)|+1=2k-1
\]
for \(\mathrm{OMT}(T)\), the online matching problem on the power-of-two tree [2406.03778]. General metrics are then handled by computing a minimum spanning tree \(T'\) on server locations, rounding edge weights up to powers of two, and using the distortion facts \(w^{\max}_T(u,v)<2d(u,v)\) and \(d_T(u,v)\ge d(u,v)\). This produces the sequence of bounds
\[
\mathrm{CR}\le 4k-3
\]
for OMM with requests at server locations,
\[
\mathrm{CR}\le 8k-5
\]
for general OMM via the Meyerson–Naor–Paz server-equivalence reduction, and finally
\[
\mathrm{CR}\le 8m-5
\]
for OTR via the MPFS reduction from \(k\) to \(m\) [2406.03778].

The constants arise from identifiable steps: \(2k-1\) on power-of-two trees, a factor below \(2\) from MST rounding, a factor \(2\alpha+1\) from server-equivalence, and then replacement of \(k\) by \(m\) for capacitated sites [2406.03778]. This decomposition also isolates the main remaining obstacles to the conjectured \(2m-1\): avoiding the distortion from rounded MST embeddings and improving the server-equivalence reduction.

## 5. Variants in routing, robotics, and multimodal logistics

Outside the strict metric-assignment model, OTP-like problems often involve routing, temporal coupling, or communication constraints. In **VRPPDSTCtd**, online requests are pickup-and-delivery jobs on a directed road network \(G=(V,E)\) with time-dependent, vehicle-type-specific arc travel-time functions \(\tau_h[e](t)\), continuous piecewise linear structure, and the FIFO property, which implies nondecreasing arc-arrival-time functions \(a_h[e](t)=t+\tau_h[e](t)\) [2408.06324]. The paper proposes two online schedulers: **TDINSERTION**, a time-dependent variant of Plain-Insertion, and **TDPROPHET**, which augments insertion with short-term demand forecasts. Feasibility checking requires updating time-dependent arrival and departure labels on route suffixes, yielding \(O(|S_w|^2)\) time to enumerate feasible insertion pairs along a worker route [2408.06324]. The work does not provide competitive guarantees, but it formalizes online transportation as online route insertion with pickup-before-delivery precedence, capacities, and exact time windows.

In smart factories, OTP is formulated as online **multi-robot task assignment** plus **congestion-aware route scheduling** under partial observability [2603.23967]. The factory is an undirected graph \(G=(V,E)\); AGVs have local sensing radius \(r\), payload states, and action space \(\{\text{north},\text{east},\text{south},\text{west},\text{stay}\}\). The true state \(s^t\) includes positions, intentions, tasks, and production readiness, while AGV \(k\) observes
\[
\widehat{o}_k^t=\mathcal{F}(s^t,r).
\]
Task assignment uses a binary matrix \(B\), and route planning is performed in a spatiotemporal search space with congestion-aware A* cost
\[
\phi(n')=g(n')+h(n')+c(n'),
\]
where congestion penalties are derived from a global map \(\mathcal{M}_{global}(v,t)\) [2603.23967]. The overall objective is makespan minimization under tardiness, payload, and occupancy constraints, including \(K_v^t \le \kappa^\ast\) for congestion-free occupation [2603.23967].

The same paper couples scheduling with **wireless M2M communication**. AGVs transmit current state \(l_k^t\) and navigation route \(\mathcal{P}_k\), the edge server constructs and broadcasts a global congestion map \(\mathcal{M}_{global}\), and uplink reliability is improved via retransmission-free multi-link transmission over \(C\) orthogonal channels [2603.23967]. The design is explicitly scheduling-oriented: the communication interval \(D\) and number of selected channels \(S\) that minimize makespan differ from those that maximize throughput \(\eta\), which the paper presents as evidence that M2M communication for AGV scheduling fundamentally differs from H2H system design [2603.23967]. This suggests a broadening of OTP from pure online assignment to communication-computation-control co-design.

A different extension appears in **multimodal container assignment**, where each arriving container must be assigned online to a train or a truck subject to departure-time, arrival-time, and train-capacity constraints [2105.08374]. The paper formulates the objective
\[
\min \sum_{i\in I}\sum_{t\in T} C_t X_i^t + \sum_{i\in I} C B_i,
\]
and uses a Deep Q-Network with input size \(|T|+2\), two hidden layers of 100 nodes each, ReLU activations, Adam optimization, and action masking
\[
mask(\{cap_1,\ldots,cap_{|T|},e,l\})=\{t\in T \mid d_t\ge e,\ ar_t\le l,\ cap_t\ge 1\}\cup\{\text{Truck}\}
\]
to enforce feasibility [2105.08374]. Here, OTP becomes an online multimodal assignment problem with learned sequential decision-making rather than worst-case competitive analysis.

## 6. Hybrid and continuous formulations beyond one-shot assignment

Some OTP-adjacent models explicitly bridge online commitment and offline optimization. In **Offline Vehicle Routing Problem with Online Bookings**, requests are not routed immediately when they arrive; instead, each booking arrives with a broad pickup window \(W_i=[A_i,B_i]\), and the agency must confirm in real time a tight window \(w_i=[a_i,b_i]\) with \(b_i-a_i\le \Delta\) [2204.11992]. After all bookings are received, routes are optimized offline as a pickup-and-delivery VRP with time windows, capacity, and ride-time constraints. The coupling is formalized through a policy \(\mu\) that chooses \(w_i\) online while an anytime solver \(\alpha\) continuously improves a warm-start route plan between calls [2204.11992]. This hybrid captures a setting in which the online decision is not dispatch but commitment.

The computational approach combines a learning-based policy with an anytime heuristic. The booking-time policy is a simplified deep Q-network that evaluates candidate tight windows using a shaped immediate cost
\[
\tilde{c}_i=C^\ast(R,\langle w_1,\dots,w_{i-1},w_i,W_{i+1},\dots,W_{|R|}\rangle)-C^\ast(R,\langle w_1,\dots,w_{i-1},W_i,W_{i+1},\dots,W_{|R|}\rangle),
\]
while the anytime solver alternates greedy construction and simulated annealing between calls [2204.11992]. A plausible implication is that OTP methodologies can be organized by the locus of irreversibility: immediate assignment, immediate route insertion, or immediate service-window commitment.

At the other end of the spectrum is **continuous transportation** in multi-agent systems. In that model, a set of agents repeatedly visits fixed locations to pick up objects replenished by independent Poisson processes and deliver them to a hub \(l_0\), maximizing long-run throughput
\[
R=\lim_{T\to\infty}\frac{1}{T}\sum_{t=1}^{T} X_t
\]
rather than minimizing one-shot assignment cost [1511.07209]. Distances are metric, travel time for agent \(a_i\) from \(l_j\) to \(l_k\) is
\[
t(a_i,l_j,l_k)=\left\lceil \frac{D(l_j,l_k)}{s_i}\right\rceil,
\]
and replenishment rates \(\lambda_j\) are initially unknown and learned online [1511.07209]. The proposed **Online Balanced Partitioning** algorithm starts from \(k\)-means clusters, estimates replenishment rates online, and triggers repartitioning when cluster loads become imbalanced. Within each cluster, an agent uses a Greedy Rate rule based on expected pickup per unit travel time [1511.07209]. Although this model is structurally different from capacitated metric OTP, it preserves online transportation’s essential features of uncertainty, capacity limits, and irrevocable motion decisions.

## 7. Empirical performance, misconceptions, and open directions

A common misconception is that OTP is adequately captured by nearest-neighbor or greedy assignment. In the classical capacitated setting, this is false without augmentation: capacities fundamentally alter the problem, and greedy-like policies can incur exponential loss in the number of sites [2406.03778]. The 2023 augmentation result shows only that greedy becomes constant-competitive when the online algorithm has \(k\ge 3\) times the site capacities, not in the original-capacity model [2307.08832]. Another misconception is that OTP is simply the \(k\)-server problem in static disguise. In fact, the \(k\)-server problem incurs movement costs and maintains server states, whereas OTP assigns static capacity without movement costs [2406.03778].

Empirically, OTP-style methods have produced strong results in application-driven variants. In the smart-factory AGV setting, communication-enabled scheduling achieved a **54.42% improvement over local reasoning** at \(K>30\), and under the severe resource-constraint setting \(C=S=1\), \(K=60\), it yielded a **17.27% efficiency gain** versus local reasoning, with experiments repeated five times and averaged [2603.23967]. In time-dependent online vehicle routing, TDINSERTION variants with distance metric and \(\ell_1\) objective showed **14.6\% to 49.1\% decrease in total-length** and **13.5\% to 48.9\% decrease in total travel-time** relative to human-curated assignments, while TDPROPHET added roughly **4\%** further improvement [2408.06324]. In multimodal container assignment, the DRL method outperformed tested competitors by **20.48\% to 55.32\%** in total transportation cost and by **7.51\% to 20.54\%** in train-capacity utilization, while staying within **2.7\%** of offline ILP optimal cost and **0.72\%** of optimal capacity utilization [2105.08374]. In continuous transportation, Online Balanced Partitioning outperformed GR+EO and random transportation with statistically significant differences, reported as \(p=3\times 10^{-23}\) versus GR+EO [1511.07209]. These findings belong to distinct formulations, but together they indicate that online transportation problems are increasingly treated as integrated systems problems rather than isolated matching instances.

For the classical deterministic OTP, the principal open problem remains the Kalyanasundaram–Pruhs conjecture of a deterministic \((2m-1)\)-competitive algorithm [2406.03778]. The 2024 result narrows the gap to a constant factor, but the analysis identifies two major sources of loss: the factor below \(2\) introduced by rounding MST edge weights to powers of two, and the \(2\alpha+1\) server-equivalence reduction from requests at server locations to general OMM [2406.03778]. The paper explicitly asks whether these constants can be improved, whether a direct analysis for general metrics can avoid tree embedding, and whether randomized algorithms for general metrics and capacities can achieve \(o(m)\) or even \(O(\log m)\) [2406.03778]. In application-driven variants, future directions include distributed multi-agent reinforcement learning for adaptive collision resolution and deeper integration of communication, computation, and control in smart factories [2603.23967], as well as richer forecasting and metaheuristics in time-dependent routing [2408.06324].

Taken together, these developments show that the Online Transportation Problem has become both a sharply defined object in online algorithms and a broader organizing paradigm for online logistics, routing, and robotic transportation. In its narrowest sense, it is the capacitated online metric assignment problem with immediate irrevocable decisions and distance-minimization objective, now known to admit a deterministic \(8m-5\)-competitive algorithm [2406.03778]. In its broader sense, it denotes a class of online transportation systems in which uncertainty, capacities, temporal coupling, and partial information force decisions to be made before the full future is known.

Source: https://www.emergentmind.com/topics/online-transportation-problem