The distributionally robust CVRP over a marginalized moment set is a deterministic CVRP
ProvedDRCVRP.Marginal.rvrp_marginal_iff_deterministicLet be a marginalized moment ambiguity set of the form (5) under the standing assumptions (, , componentwise convex with ), let and let the vehicle capacity be . Define the deterministic demands
Then for every assignment of ordered customer lists to the vehicles,
Here RVRP()-feasibility means and for all and all ; deterministic feasibility means and for all .
Both problems minimize the same transportation cost , so equality of their feasible sets is the paper's statement that the distributionally robust CVRP over (5) is equivalent to the deterministic CVRP with these demands. It allows any deterministic CVRP solver to be used for the robust problem.
Formalization Note Customers are Fin n (0-based), vehicles Fin m, routes List (Fin n); RVRPFeasible and CVRPFeasible both include the route-set condition . The demand of customer i is worstCaseVaR (marginalSet qlo qhi μ φ σ) ε {i}. The capacity is only assumed nonnegative (, p. 718).
import Mathlib import Definitions.Def_MultistageStochastic_RiskFunctional import Definitions.Def_DRCVRP_Marginal_WorstCaseVaR import Definitions.Def_DRCVRP_Marginal_AmbiguitySets import Definitions.Def_DRCVRP_Marginal_Routing open MeasureTheory
namespace DRCVRP.Marginal
/-- Corollary 1 (Ghosal and Wiesemann 2020, §4, p. 723): over a marginalized moment ambiguity
set (5), a route set is feasible in RVRP(𝒫) if and only if it is feasible in the deterministic
CVRP with customer demands `q_i = sup_{ℙ ∈ 𝒫} ℙ-VaR_{1-ε}[q̃_i]`. Both problems minimize the same
cost `c(R)`, so they are equivalent. -/
theorem rvrp_marginal_iff_deterministic {n m : ℕ}
(qlo qhi μ : Fin n → ℝ) (ε : ℝ) (hε₀ : 0 < ε) (hε₁ : ε < 1)
(hqlo : ∀ i, 0 ≤ qlo i) (hμ : ∀ i, qlo i < μ i ∧ μ i < qhi i)
{p : Fin n → ℕ} (φ : (i : Fin n) → Fin (p i) → ℝ → ℝ) (σ : (i : Fin n) → Fin (p i) → ℝ)
(hφ : ∀ i l, ConvexOn ℝ Set.univ (φ i l)) (hσ : ∀ i l, φ i l (μ i) < σ i l)
(Q : ℝ) (hQ : 0 ≤ Q) (R : Fin m → List (Fin n)) :
RVRPFeasible (marginalSet qlo qhi μ φ σ) ε Q R ↔
CVRPFeasible (fun i => worstCaseVaR (marginalSet qlo qhi μ φ σ) ε {i}) Q R := by sorry
end DRCVRP.Marginal
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.