En esta sección presentamos nuestra formulación final para el SBTP, basada en la idea de contar el número de barcos que son atendidos simultáneamente en un período de tiempo determinado que supera las dificultades discutidas en la sección anterior, básicamente derivadas del hecho de que las restricciones () agregan la ocupación de servicio de todos los atraques.
Por lo tanto, lo que proponemos es redefinir las variables binarias discretizadas
,
,
, de tal manera que se haga explícito el atraque al que se asigna cada barco servido.
Es decir, considerese el conjunto de variables de decisión
,
,
,
, tal que
Ahora bien, las restricciones que garantizan que como máximo un barco reciba servicio en cada atraque en cada período de tiempo son
Dado que las restricciones (