1: \begin{definition}\label{def:reduction}

2: Let $g:=(I-[p])^\top f$ be the cost vector of the verification LP. The {\em reduced cost vector} $\bar g$ is defined as%is constructed as follows

3: \begin{subequations}\label{equ:reductionTheorem}

4: \begin{align}

5: & \bar g_v(i) := g_v(i),\ v \in\SV;\ \bar g_\emptyset = 0; \\

6: 	\label{equ:reductionTheorem-c}

7:   &\overline g_{uv}(i,j) := \\

8: 	\notag

9: 	& \left\{

10: 	\setlength{\arraycolsep}{0pt}

11:   \begin{array}{ll}

12:    0, & i\notin \Y_u, j\notin \Y_v\,,\\

13:    \Delta_{vu}(j):=\min_{i'\notin \Y_u} g_{uv}(i',j), & i\notin \Y_u, j\in \Y_v\,,\\

14:    \Delta_{uv}(i):=\min_{j'\notin \Y_v} g_{uv}(i,j'), & i\in \Y_u, j\notin \Y_v\,,\\

15: 	 \min\{\Delta_{vu}(j) +\Delta_{uv}(i), g_{uv}(i,j)\}, \ \ \ \ & i\in \Y_u, j\in \Y_v\,.

16:   \end{array}

17: \right.

18: \end{align}

19: \end{subequations}

20: \end{definition}

21: