Академический Документы
Профессиональный Документы
Культура Документы
Entendemos por camino optimo como la ruta más corta que nos ayuda, la cual nos
puede ayudar a determinar un mejor itinerario, una planeación de tiempo más
conveniente o un ahorro de recursos.
Relajamiento de Caminos
Definición 2.1.1: Definimos como: CO(G,u,v) como el conjunto de caminos óptimos
entre dos vértices u y v de grafo G. Cuando no haya ambiguedad con el grafo,
simplemente lo denotamos como CO(u,v).
En muchos casos, hablaremos de un camino óptimo en particular. En nuestros
algoritmos no encontraremos todos los caminos (salvo que sea un problema en
particular), sino que buscaremos encontrar "alguno" de entre todos los que existen.
Ese "alguno" lo manejaremos como el "representante" y nos servira como referencia
para los calcular los costos o reconstruir la ruta óptima.
Notación 2.1.1: Denotamos como T(G,u,v) a algún elemento del conjunto CO(G,u,v).
Es decir, es algún camino óptimo entre u y v. Cuando no haya ambiguedad con el
grafo, simplemente lo denotamos como T(u,v).
Notación 2.1.2: El costo de un camino óptimo entre dos vértices u y v de grafo G lo
denotaremos como: CCO(G,u,v). Cuando no haya ambiguedad con el grafo,
simplemente lo denotamos como CCO(u,v).
En muchos ocasiones no se conoce el CC0(u,v) sino sólo algún valor que se puede
haber tomado de alguna ruta cualquiera. Incluso, cuando no se conoce alguna ruta, se
considera que el costo es infinito. Todos los algoritmos comienzan con un valor
aproximado, del costo del camino deseado, el cual se ira mejorado hasta igualar el
CCO. Por tanto, requerimos una notación que refiera a este costo aproximado.
Notación 2.1.3: Sea G(V,A) un grafo conexo. Denotamos como L(u,v) al costo del
mejor camino encontrado, hasta el momento, entre u y v. L(u,v) toma el valor de
infinito en el caso de no existir camino conocido entre dichos vértices.
En terminos formales; relajar el camino entre x y z equivale a escoger el mínimo costo
entre el anterior costo L(x,z) y el nuevo posible costo L(x,y)+L(y,z). En otras palabras:
L(x,z) = min(L(x,z),L(x,y)+L(y,z))
Búsqueda Primero en Profundidad