Scippy

SCIP

Solving Constraint Integer Programs

Overview
Version
0.1
Author
Andreas Bley

We want to solve the vehicle routing problem (VRP) on a graph $G = (V,E)$ with $V = J \cup {d}$, where $d$ is the depot and the distances are given by the length function $l_e: E \to R_{\ge 0}$.

Consider the MIP formulation

\[ \begin{array}[t]{rll} \min & \displaystyle \sum_{e \in E} l_e y_e \\ & & \\ s.t. & -y_e + \sum_{t \in T_k} a^t_e x_t \leq 0, & \forall e \in E\\ & \displaystyle \sum_{t \in T_k} a^t_j x_t = 1, & \forall j \in J \\ & y(\delta(j)) = 2, & \forall j \in J \\ & y_e \in \{0,1,2\}, & \forall e \in E \\ & x_t \in [0,1], & \forall t \in T_k \end{array} \]

where $T_k$ is the set of tours visiting at most $k$ customers with repetitions of customers allowed and $a^t_e (a^t_j)$ counts how often edge e (node j) is traversed in $t \in T_k$.