You are on page 1of 20

Investigacin Operativa II o

Caminos disjuntos en grafos dirigidos y no dirigidos


Boris Polanco Ingenier Matemtica a a

November 14, 2011

Boris Polanco Ingenier Matemtica a a

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

Boris Polanco Ingenier Matemtica a a

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

Boris Polanco Ingenier Matemtica a a

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)

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

Diseando el algoritmo n
Dada una instancia del problema de caminos disjuntos en grafos dirigidos

Existen k caminos con arcos disjuntos?

Cual es el flujo mximo en el grafo?

Boris Polanco Ingenier Matemtica a 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

Existen k caminos con arcos disjuntos?

Cual es el flujo mximo en el grafo?

Boris Polanco Ingenier Matemtica a 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

Cual es el flujo mximo en el grafo?

Boris Polanco Ingenier Matemtica a a

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.

Boris Polanco Ingenier Matemtica a a

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.

Boris Polanco Ingenier Matemtica a a

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.

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

Caso 1

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

Caso 1

Boris Polanco Ingenier Matemtica a a

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.

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

Caso 2

Boris Polanco Ingenier Matemtica a a

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.

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

Algoritmo de descomposicin de caminos o

La demostracin del teorema anterior nos da una forma de o encontrar los caminos disjuntos.
1

Encontrar el ujo mximo en G a

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

Algoritmo de descomposicin de caminos o

La demostracin del teorema anterior nos da una forma de o encontrar los caminos disjuntos.
1 2

Encontrar el ujo mximo en G a Empezar recorriendo desde s.

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

Algoritmo de descomposicin de caminos 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

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

Algoritmo de descomposicin de caminos 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..

Boris Polanco Ingenier Matemtica a a

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

Boris Polanco Ingenier Matemtica a a

Investigacin Operativa II o

You might also like