Professional Documents
Culture Documents
Investigacin Operativa II o
Motivacin o
Supongamos que se desea enviar k archivos de s a t (s y t son servidores dentro de la red de comunicaciones) de manera que dos archivos no usen el mismo enlace dentro de la red (para evitar la congestin en los enlaces) o
Investigacin Operativa II o
Caminos arco-disjuntos
Denicin o Dos caminos son arco-disjuntos si no tiene arcos en comn, u Ejemplo: red de comunicaciones
2 5
Investigacin Operativa II o
Problema
Dado un grafo dirigido (no dirigido) G = (V, E) y dos nodos s y t el problema de caminos con arcos disjuntos en grafos dirigidos (no dirigidos) consiste en encontrar el nmero mximo de caminos arco u a disjuntos desde s (fuente) hacia t (sumidero)
Investigacin Operativa II o
Diseando el algoritmo n
Dada una instancia del problema de caminos disjuntos en grafos dirigidos
Investigacin Operativa II o
Diseando el algoritmo n
Dada una instancia del problema de caminos disjuntos en grafos dirigidos Crear una instancia del problema de ujo mximo. a
Investigacin Operativa II o
Diseando el algoritmo n
Dada una instancia del problema de caminos disjuntos en grafos dirigidos Crear una instancia del problema de ujo mximo. a El ujo mximo ser usado para hallar k caminos a a arco-disjuntos
Existen k caminos con arcos disjuntos?
2 3
Investigacin Operativa II o
Teorema 1
Teorema Si existen k caminos arco-disjuntos en un grafo dirigido G desde s hacia t, entonces el valor del ujo mximo desde s a t es al menos a k.
Investigacin Operativa II o
Teorema 2
Teorema Si f es un ujo de valor v, entonces existen v caminos arco-disjuntos. En otras plabaras si podemos encontrar un ujo de valor v, entonces sabemos que es posible encontrar al menos v caminos de arcos disjuntos. Si demostramos esto, entonces sabremos como ver si los v caminos arco-disjuntos existen, adems la demostracin mostrar como a o a encontrar tales caminos. Nota: Por nuestra discusin anterior podemos asumir que el ujo o f es un ujo 0 1: cada arco contiene o no un ujo igual a 1.
Investigacin Operativa II o
Teorema 3
Teorema Si f es un ujo 0 1 de valor v, entonces el conjunto de arcos con ujo f (e) = 1 contiene un conjunto de v caminos arco disjuntos. Argumentaremos por induccin sobre el nmero de arcos en f que o u llevan ujo. HI:Asumiremos que el teorema se cumple para los ujos con menos arcos que f Sea (s, u) un arco que lleva ujo, entonces por conservacin o podemos encontrar algn arco que sale de u y lleva una unidad de u ujo. Repitiendo esto se tienen los siguientes casos.
Investigacin Operativa II o
Caso 1
Investigacin Operativa II o
Caso 1
Investigacin Operativa II o
Hemos encontrado un camino desde s hacia t, reduciendo el ujo a lo largo de este camino a 0, creamos un nuevo ujo f . Valor del nuevo ujo es v 1. Menos caminos tienen ujo, aplicamos entonces nuestra hiptesis o inductiva, existen v-1 caminos con arcos disjunos en el ujo f . Por lo tanto en este caso existen 1 + v 1 = caminos con arcos disjuntos.
Investigacin Operativa II o
Caso 2
Investigacin Operativa II o
Caso 2
Encontramos un ciclo, reducimos el ujo alrededor de este a 0, creamos un nuevo ujo f . Valor del nuevo ujo k. Pero hay menos arcos que llevan ujo, entonces podemos aplicar nuevamente nuestra hiptesis inductiva, por lo que existen k o caminos arco disjuntos. Por lo tanto en cualquiera de los casos anteriores se tienen k caminos arco disjuntos.
Investigacin Operativa II o
La demostracin del teorema anterior nos da una forma de o encontrar los caminos disjuntos.
1
Investigacin Operativa II o
La demostracin del teorema anterior nos da una forma de o encontrar los caminos disjuntos.
1 2
Investigacin Operativa II o
La demostracin del teorema anterior nos da una forma de o encontrar los caminos disjuntos.
1 2 3
Encontrar el ujo mximo en G a Empezar recorriendo desde s. Si se crea un ciclo, eliminar el ujo que recorre alrededor del ciclo
Investigacin Operativa II o
La demostracin del teorema anterior nos da una forma de o encontrar los caminos disjuntos.
1 2 3
Encontrar el ujo mximo en G a Empezar recorriendo desde s. Si se crea un ciclo, eliminar el ujo que recorre alrededor del ciclo Si llegamos a t (sumidero), hemos hallado un camino hacia t..
Investigacin Operativa II o
Aplicaciones-Teorema de Menger
Teorema Dado un grafo dirigido G con nodos s, t el mximo nmero de a u caminos de arcos disjuntos es igual al m nimo nmero de arcos u cuya eliminacin separa s de t. o Util: Supongamos que un hacker quiere interrumpir las comunicaciones entre EEUU y Rusia.El hacker conoce la red, cuntos arcos debe eliminar? a
Investigacin Operativa II o