---
title: Detour-to-Depot Recourse Policy in VRPSD
url: https://www.emergentmind.com/topics/detour-to-depot-recourse-policy
type: topic
---

# Detour-to-Depot Recourse Policy in VRPSD

Searching arXiv for the cited VRPSD papers to ground the article and verify metadata.
The detour-to-depot recourse policy is a recourse rule for the vehicle routing problem with stochastic demands (VRPSD) in an a priori route-design framework in which routes are planned first and customer demands are revealed only upon arrival. Under this policy, if the vehicle cannot satisfy a customer demand with its residual load, it must return to the depot, reload, and then go back to the customer; unlike the optimal restocking policy, there is no preventive depot return between customers, and depot visits happen only after a stockout or failure [2508.05877]. Within the recent VRPSD literature, the policy is important both as an operational model of reactive restocking and as the setting in which the disaggregated integer L-shaped method was originally developed and later rigorously re-examined [2212.06962].

## 1. Definition within the VRPSD framework

In the VRPSD under the detour-to-depot policy, the first-stage solution fixes routes, while the second stage does not redesign routes but handles uncertainty by returning to the depot to restock whenever a vehicle cannot satisfy the next realized customer demand with its remaining capacity [2212.06962]. The operational restriction is explicit: restocking trips occur only on failure. The formulation also excludes a depot return followed by an immediate move to the next customer in the case of exact stock-out [2212.06962].

For a route \((0,p,0)\) with customer sequence \(p=(i_1,\dots,i_t)\), vehicle capacity \(Q\), random demand \(\xi_i\) at customer \(i\), and failure cost \(c^F_{i_j}\) at customer \(i_j\), the expected recourse cost under DTD is defined by
\[
\bar{\mathcal{Q}^{\text{DTD}_{p} := \sum_{j=1}^t \sum_{l=1}^{+\infty} \mathbb{P}\!\left[\sum_{k=1}^{j-1}\xi_{i_k} \le lQ < \sum_{k=1}^{j}\xi_{i_k}\right] c^F_{i_j}.
\]
The probability term
\[
\mathbb{P}\!\left[\sum_{k=1}^{j-1}\xi_{i_k} \le lQ < \sum_{k=1}^{j}\xi_{i_k}\right]
\]
is the probability that, by the time the vehicle reaches customer \(i_j\), cumulative demand has crossed the \(l\)-th multiple of capacity, so the vehicle has already had to restock \(l\) times and then fails again at \(i_j\) [2508.05877].

The 2022 formulation expresses the same mechanism for orientation \(r=(0,i_1,\ldots,i_t,0)\) as
\[
\mathcal{Q}^1(r)= 2\sum_{j=1}^t\sum_{l=1}^{\infty}\mathds{P} \left ( \sum_{k=1}^{j-1} \xi_k \leq lQ < \sum_{k=1}^{j} \xi_k \right)c_{0j}.
\]
Here the \(l\)-th restocking trip occurs at customer \(j\) precisely when cumulative demand first crosses the threshold \(lQ\) between customers \(j-1\) and \(j\) [2212.06962]. If all demands satisfy \(\xi_i\le Q\) almost surely, the inner sum can be truncated at \(j-1\); otherwise it is effectively infinite but in practice truncated once probabilities become negligible [2212.06962].

A further modeling point is that a route may be evaluated in both orientations because the first-stage model does not encode direction, so
\[
\mathcal{Q}(r)=\min\{\mathcal{Q}^1(r),\mathcal{Q}^2(r)\}.
\]
This route-wise structure is central to subsequent decomposition methods [2212.06962].

## 2. Route decomposition and the recourse structure

The DTD policy induces a recourse cost that decomposes by route. For a first-stage solution \(x^\nu\) with route set \(\mathcal{R}^{\nu}\),
\[
\mathcal{Q}(x^\nu)=\sum_{r \in \mathcal{R}^{\nu}} \mathcal{Q}(r),
\]
so the expected second-stage cost is evaluated route by route rather than through route redesign [2212.06962]. This decomposition is what makes the VRPSD particularly well suited to integer L-shaped methods and, more specifically, to recourse disaggregation by route or by customer [2212.06962].

In the DTD setting, the failure cost at a customer is a round trip to the depot and back. In the 2022 paper this is written as \(2c_{0i}\) when the failure occurs at customer \(i\) [2212.06962]. In the 2025 treatment, the same event is represented generically by \(c^F_{i_j}\), emphasizing that the recourse term is the expected number of failures at customer \(i_j\) multiplied by the corresponding failure cost [2508.05877].

This route-wise recourse function is the object on which structural properties such as monotonicity over subsequences and superadditivity under concatenation are studied. The later literature shows that these properties are not interchangeable: one is a local comparison against subsequences, whereas the other is a decomposition property under path concatenation [2508.05877].

## 3. Monotonicity and its limits under DTD

A central issue in the original disaggregated integer L-shaped analysis was monotonicity. In the 2022 paper, the method requires monotonicity in the sense that removing customers from a route should not increase expected recourse [2212.06962]. The corresponding result is
\[
\mathcal{Q}(p)\ge \mathcal{Q}(p')
\]
for any subpath \(p'\) of a path \(p\), provided the customers on \(p\) satisfy the monotonicity condition [2212.06962].

That monotonicity condition is stated on customer sets. A set \(S\subseteq N\) respects the condition if for any distinct \(a,b\in S\) and any \(\tilde S\subseteq S\setminus\{a,b\}\),
\[
\mathds{P}\left(\tilde{\xi} + \xi_a \leq lQ <\tilde{\xi} + \xi_a + \xi_b \right) \geq \mathds{P}\left(\tilde{\xi} \leq lQ <\tilde{\xi} + \xi_b\right),
\]
for all \(l\in\mathbb{N}\), where \(\tilde{\xi}=\sum_{i\in\tilde S}\xi_i\). Equivalently,
\[
\mathds{P}\left(\tilde{\xi} + \xi_a \leq lQ \right) - \mathds{P}\left(\tilde{\xi} + \xi_a + \xi_b \leq lQ \right) \geq \mathds{P}\left(\tilde{\xi} \leq lQ \right) - \mathds{P}\left(\tilde{\xi} + \xi_b \leq lQ \right).
\]
The instance property is that every customer set with total expected demand no more than \(Q\) satisfies this condition [2212.06962].

The same paper also establishes that DTD recourse is not monotone in general. It provides counterexamples showing that the claim can fail both when the total expected demand exceeds capacity and even when it does not [2212.06962]. Accordingly, monotonicity is not an unconditional property of DTD; it holds only for certain demand families and parameter regimes [2212.06962].

The sufficient distributional conditions stated are precise:

- **Poisson demands**: if \(\xi_i\sim\text{Poisson}(\lambda_i)\) are independent and \(\sum_{i\in S}\lambda_i\le Q\), then the monotonicity condition holds [2212.06962].
- **Normal demands**: if \(\xi_i\sim \mathcal N(\mu_i,\sigma_i^2)\) are independent with integer means, a common coefficient of dispersion \(D=\sigma_i^2/\mu_i\le 1\), and \(\sum_{i\in S}\mu_i\le Q\), then monotonicity holds; the support is approximated as nonnegative in practice [2212.06962].
- **Binomial demands**: if \(\xi_i\sim\text{Bin}(n_i,p)\) share a common success probability \(p\), and \(\sum_{i\in S} n_ip\le Q\), monotonicity holds [2212.06962].
- **Erlang demands**: if \(\xi_i\sim\text{Erlang}(n_i,\lambda)\) share a common rate \(\lambda\), and \(\sum_{i\in S} n_i/\lambda \le Q\), monotonicity holds [2212.06962].
- **Negative binomial demands**: if \(\xi_i\sim\text{NB}(r_i,p)\) share a common success probability \(p\), and \(\sum_{i\in S} r_i(1-p)/p \le Q\), monotonicity holds [2212.06962].

The paper also gives a more general sufficient condition via an i.i.d.-sum representation. Defining
\[
P_u(s)=\mathds{P}\!\left(\sum_{k=1}^{s-1}\zeta_k \le u < \sum_{k=1}^{s}\zeta_k\right),
\]
a sufficient condition for monotonicity is
\[
P_{lQ}(\tilde{\rho}+\rho_a+j)\ge P_{lQ}(\tilde{\rho}+j) \quad \forall l\in\mathbb N,\ \forall j\in\{1,\dots,\rho_b\}.
\]
This structural statement underpins the family-specific results [2212.06962].

## 4. DL-shaped reformulation and the correction of the original validity argument

The disaggregated integer L-shaped method replaces a single recourse variable \(\Theta\) with customer-specific variables,
\[
\Theta \leadsto \sum_{i\in N}\theta_i,
\]
so that cuts can act on more structured subsets of solutions than traditional aggregate cuts [2508.05877]. In the 2025 paper, the DL-shaped master problem is written as
\[
\min \sum_{e \in E} c_e x_e + \sum_{i\in N}\theta_i
\]
subject to the routing constraints and two cut families, P-cuts and S-cuts [2508.05877].

For any feasible path \(p \in \mathcal P\), the path cut is
\[
\sum_{i \in N(p)} \theta_i \ge \mathcal Q_p \left( p(x)-|N(p)|+2 \right).
\]
If the route contains path \(p\) as a subpath, the factor becomes \(1\); otherwise the right-hand side is nonpositive and the cut is inactive [2508.05877]. For a customer subset \(S\), the set cut is
\[
\sum_{i \in S}\theta_i \ge \mathcal L_S \left(\sum_{e\in E(S)}x_e - |S| + m_S + 1\right).
\]
These are lower-bounding functionals that impose a lower bound on recourse when the solution contains enough edges inside \(S\) to form the required number of subpaths [2508.05877].

The original DL-shaped paper had argued that monotonicity over subsequences was sufficient for validity. The later paper shows that this is not sufficient [2508.05877]. The flaw is structural: a path may satisfy
\[
\mathcal Q^{\text{DTD}}_{p} \ge \mathcal Q^{\text{DTD}}_{p'} \quad \text{for every subsequence } p' \text{ of } p,
\]
yet fail
\[
\mathcal Q^{\text{DTD}}_{p} < \mathcal Q^{\text{DTD}}_{p_1} + \mathcal Q^{\text{DTD}}_{p_2} \quad \text{for } p=(p_1,p_2).
\]
Thus subsequence monotonicity does not guarantee the stronger decomposition property needed for a valid customer-wise reformulation [2508.05877].

The corrected theorem is exact:
\[
\text{The DL-shaped master problem is a valid reformulation} \iff \text{the recourse function is superadditive under concatenation.}
\]
Equivalently, the necessary and sufficient condition is
\[
\mathcal Q_{(p_1,p_2)} \ge \mathcal Q_{p_1} + \mathcal Q_{p_2}
\qquad \forall\, p_1,p_2 \text{ with } (p_1,p_2)\in\mathcal P.
\]
This establishes the true validity criterion for DTD-based disaggregation [2508.05877].

The proof is two-sided. If superadditivity fails, then some P-cut combination can force
\[
\sum_{i\in N(p)}\theta_i > \mathcal Q_p
\]
for a feasible integer solution, so the master problem overestimates the true objective and is invalid [2508.05877]. If superadditivity holds, then for any integer solution composed of routes \(p_1,\dots,p_m\),
\[
\mathcal Q(x) = \sum_{j=1}^m \mathcal Q_{p_j},
\]
and customer-wise values can be assigned through incremental contributions
\[
\theta^{\nu}_{i^j_k} = \Delta_{i^j_k} := \mathcal Q_{(i^j_1,\dots,i^j_k)} - \mathcal Q_{(i^j_1,\dots,i^j_{k-1})}, \quad \mathcal Q_{()}=0.
\]
These increments are nonnegative under superadditivity, and telescoping gives
\[
\sum_{i\in N(p_j)}\theta_i^\nu = \mathcal Q_{p_j}.
\]
Hence the formulation is exact [2508.05877].

## 5. Superadditivity under concatenation and the status of DTD

The key structural condition introduced in the 2025 paper is superadditivity under concatenation:
\[
\mathcal Q_{(p_1,p_2)} \ge \mathcal Q_{p_1} + \mathcal Q_{p_2}
\qquad \forall\, p_1,p_2\in\mathcal P \text{ such that } (p_1,p_2)\in\mathcal P.
\]
Its interpretation is that the recourse cost of the combined path is at least the sum of the recourse costs of the two parts [2508.05877]. In the DL-shaped context, this is exactly the property needed to ensure that customer-wise decomposition does not overestimate the true recourse when one path is viewed as a concatenation of smaller pieces [2508.05877].

For DTD, the paper proves the following conditional statement:
\[
\text{DTD recourse is superadditive if the monotonicity property holds.}
\]
This is the rigorous correction of the earlier result. The earlier argument appealed directly to monotonicity over subsequences; the corrected argument shows that the relevant conclusion is superadditivity, and then proves DTD superadditivity from the monotonicity property under the structural assumptions used in the original paper [2508.05877].

The contrast with the optimal restocking policy is explicit. The same 2025 paper proves
\[
\text{The superadditivity property always holds under the OR policy.}
\]
Accordingly, the DL-shaped method is always valid for OR, with no extra assumptions, whereas for DTD validity is tied to the superadditivity condition and therefore, in the corrected proof, to the monotonicity assumptions under which superadditivity is established [2508.05877].

A common misconception is therefore that DTD validity rests simply on monotonicity over subsequences. The corrected result shows that this is not the actual criterion. Monotonicity may imply superadditivity in the DTD setting under the relevant assumptions, but the validity theorem itself is stated in terms of superadditivity under concatenation [2508.05877].

## 6. Lower bounds, generalized cuts, and computational role

The original 2022 DL-shaped framework introduced lower bounding functionals alongside disaggregated cuts. For a set \(S\), the S-cut was written as
\[
\sum_{i \in S}\theta_i \ge L(S)\left(x(S) - |S| +  \left\lceil \frac{\sum_{i \in S}\mu_i}{Q} \right\rceil +1 \right),
\]
with \(x(S)=\sum_{(i,j) \in E(S)}x_{ij}\), valid if
\[
L(S) \leq \sum_{j = 1}^{m} \mathcal{Q}(p_j)
\]
for any partition of \(S\) into feasible paths \(\{p_1,\dots,p_m\}\) [2212.06962]. Three lower bounds were developed: \(L_1(S)\), \(L_2(S)\), and \(L_3(S)\). The first is a single-route lower bound obtained by sorting customers by non-increasing distance to the depot and taking the resulting route \(p^*\), with
\[
L_1(S)=\mathcal{Q}(p^*).
\]
The second is a dynamic-programming bound, and the third is a set-covering or column-generation bound [2212.06962].

The 2025 paper extends this line by introducing edge-set cuts, or E-cuts, which generalize both P-cuts and S-cuts [2508.05877]. For a customer set \(S\subseteq N\) and an edge subset \(E_S\subseteq E(S)\), let \(\bar{\Pi}(E_S,m)\) denote partitions of \(S\) into \(m\) feasible paths using only edges in \(E_S\), \(\bar m(E_S)\) the minimum number of vehicles needed under this restriction, and \(\bar{\mathcal L}(E_S,m)\) the minimum recourse over such partitions. The E-cut is then
\[
\sum_{i\in S}\theta_i \ge \mathcal L_{E_S} \left(\sum_{e\in E_S}x_e - |S| + m_{E_S} + 1\right).
\]

The significance of E-cuts is twofold. First, the paper shows that S-cuts can be very weak when preventive depot returns are cheap, because long routes can make recourse cost vanish or nearly vanish [2508.05877]. Second, by restricting to a carefully chosen edge subset \(E_S\), E-cuts can produce a stronger lower bound while remaining valid [2508.05877]. The relationship to earlier cut classes is exact: S-cuts are recovered by taking \(E_S = E(S)\), and P-cuts are a special case of the strongest E-cut when \(S = N(p)\) and \(E_S\) contains exactly the edges of the path \(p\) [2508.05877].

Computationally, the 2025 study reports that, on benchmark instances adapted from Jabali et al., adding E-cuts reduced the number of unsolved instances from **53 to 6**, reduced average solve time by more than **a factor of 13** on solved instances, and reduced explored branch-and-bound nodes by more than **a factor of 7** [2508.05877]. The paper also states that the new DL-shaped algorithm outperforms the state-of-the-art integer L-shaped methods, is especially effective on instances with few long routes, and solves several open instances to optimality, including **14 single-vehicle instances**, which constitute the most challenging variant of the problem [2508.05877].

These results suggest a broader methodological point. In the DTD setting, the recourse policy creates a route-wise structure, but the practical effectiveness of exact methods depends not only on the structural validity of disaggregation but also on the strength of lower bounds and cut families used in the master problem [2212.06962; 2508.05877].

Source: https://www.emergentmind.com/topics/detour-to-depot-recourse-policy