A partir de un vector que representa el conjunto de barcos servidos y un vector predecesor que satisface ()-(), el conjunto de barcos que están asignados a un determinado atraque , , se puede identificar fácilmente rastreando las variables predecesoras como se indica en algoritmo x1-10001r1.
Esencialmente, cada iteración importante consta de los siguientes pasos: () seleccionar un índice de atraque que aún no se haya considerado; () identificar un barco servido que no precede a ningún otro barco servido (es decir, tal que
y
); y () rastrear la secuencia de barcos que preceden a usando el vector predecesor . Nótese que, dado que en el SBTP todos los atraques tienen las mismas características, los subconjuntos de barcos son perfectamente intercambiables entre ellos. El algoritmo x1-10001r1 puede resultar útil cuando se utilizan las formulaciones F0 o F1.
que representa el conjunto de barcos servidos y un vector predecesor 
que satisface (![[*]](crossref.png)
)-(
, 
, se puede identificar fácilmente rastreando las variables predecesoras como se indica en algoritmo x1-10001r1.
Esencialmente, cada iteración importante consta de los siguientes pasos: (
) seleccionar un índice de atraque 
) identificar un barco servido 
que no precede a ningún otro barco servido (es decir, 
y
); y (
) rastrear la secuencia de barcos que preceden a 
. Nótese que, dado que en el SBTP todos los atraques tienen las mismas características, los subconjuntos de barcos ![\begin{algorithm}
% latex2html id marker 839
[H]
Inicialización: Vectores $\ba...
...\bar p$), satisfaciendo \eqref{predecessor-1}-\eqref{n-berths}.}
\end{algorithm}](img210.svg)