MODELO TSP MATEMÁTICO

Como se planteó en la sección 11.1, un modelo TSP se define mediante el número

de ciudades n y la matriz de distancias ‘dij ‘. La definición de un recorrido prohíbe
conectar una ciudad a sí misma al asignar una penalización muy alta a los
elementos diagonales de la matriz de distancias. Un modelo TSP es simétrico si dij
5 dji para todas las i y j. De lo contrario, el modelo TSP es asimétrico.
Un ejemplo TSP de 5 ciudades con una solución de recorrido o subrecorrido del
modelo de asignaciones asociado según la instancia de matriz de distancias
específica

Las restricciones (1), (2) y (3) definen un modelo de asignación regular (sección 5.4)

donde xij 5 1 si el nodo (ciudad) i está conectado a un nodo (ciudad) j, y cero en caso

contrario. Si la solución del modelo de asignaciones resulta ser un recorrido [es

decir, satisface la restricción (4)], entonces automáticamente es óptimo para el TSP.
Esta es una rara ocurrencia, sin embargo, y es problema que el modelo de
asignaciones se componga de subrecorridos. En ese caso se requieren cálculos
adicionales para determinar la solución de recorrido óptima.

La figura 11.1 muestra un modelo TSP de 5 ciudades. Los nodos representan

ciudades, y los arcos representan rutas en dos sentidos que pueden ser distintas si
el modelo es asimétrico. Como antes se explicó, el modelo de asignaciones puede
producir una solución de recorrido o subrecorrido como lo demuestra la figura.