Procedimiento para determinar explícitamente el vector predecesor asociado a una solución factible de F3

Está claro que cualquier solución factible de F0 o F1, con tiempos de inicio dictados por un vector dado $\bar s$ , define una solución factible de F3, con $\hat h_{itr}=1$ si y sólo si $\bar s_i=t$ y $i\in B^r$ , donde los conjuntos de barcos que sirven en el mismo atraque, $\{B^r\}_{r\in R}$ , se pueden identificar con el algoritmo x1-10001r1. Recíprocamente, a partir de un vector factible $\hat h^*$ en el dominio de F3 podemos obtener una solución factible de F0 o F1 definiendo el vector predecesor $\hat p$ inducido por la solución $\hat h$ con el procedimiento dado en el algoritmo x1-11001r2, donde el conjunto de barcos servidos en el atraque $r$ se obtiene inicialmente del vector $\hat h^*$ , es decir, $B^r=\{i\in V: \sum_ {t\in T}\hat h_{irt}^*=1\}$ , $r\in R$ .

$\begin{algorithm} % latex2html id marker 865 [H] Inicialización: Sea el vector... ...r el vector predecesor asociado a una solución factible de F3.} \end{algorithm}$