Comparación de formulaciones

La tabla x1-8001r1 resume una comparación teórica de las formulaciones que hemos introducido, según el número y tipo de variables, y restricciones que involucran. Esta información, se complementará en el apartado x1-130006 con una comparación empírica del rendimiento de las formulaciones, en base a los resultados numéricos arrojados por cada una de ellas en las pruebas computacionales que hemos realizado.

**Tabla:** Número de variables y restricciones en las formulaciones.
Formulación	Variables		Restricciones
	Binarias	Continuas
F0	, , , ,	, , , ,	$4 \vert V\vert(\vert V\vert-1)+ 10\vert V\vert+1$
	$\vert V\vert(\vert V\vert-1)+ 4\vert V\vert$	$5\vert V\vert$
F1	, , , , ,	, , , ,	$4 \vert V\vert(\vert V\vert-1)+ 14\vert V\vert+ \vert T\vert+ 1$
	$\vert V\vert(\vert V\vert-1)+ \vert V\vert\times\vert T\vert+ 4\vert V\vert$	$5\vert V\vert$
F2	, , ,	,	$6\vert V\vert + \vert T\vert$
	$\vert V\vert\times\vert T\vert + 3\vert V\vert$	$2\vert V\vert$
F3	, , , $\hat h$	,	$6\vert V\vert + \vert T\vert\times\vert R\vert$
	$3\vert V\vert+ \vert V\vert\times \vert T\vert\times \vert R\vert$	$2\vert V\vert$

Cerramos esta sección señalando que incluso si las formulaciones que hemos introducido producen soluciones SBTP, las soluciones obtenidas pueden no ser lo suficientemente explícitas, en el sentido de que en algunos casos no dan las asignaciones específicas de los buques servidos a los atraques, o no obtienen las secuencias específicas de buques consecutivos atendidos en cada atraque. Estas cuestiones, así como otras relacionadas, adquieren interés cuando se trata algorítmicamente con el SBTP y se abordarán en la siguiente sección, donde nos centramos en cómo determinar completamente soluciones factibles para el SBTP a partir de información parcial o no factible proporcionada por las formulaciones propuestas.