Universidad Nacional De Ingeniera

UNI-RUACS Sede Regional Estel

Investigacin de Operaciones

REDES: Teora de Grafos Mtodos de Euler y Hamilton

Orientado por: Ing. Mario Pastrana Moreno

3T1-Industrial

28 De septiembre de 2011

ERICK DANIEL BRIONES LPEZ

En matemticas y en ciencias de la computacin, la teora de grafos (tambin llamada teora de las grficas) estudia las propiedades de los grafos (tambin llamadas grficas). llamados vrtices (o Un grafo y es un conjunto, seleccin no de vaco, pares de de objetos vrtices,

nodos)

una

llamados aristas que pueden ser orientados o no. Tpicamente, un grafo se representa mediante una serie de puntos conectados por lneas. Vrtice Los vrtices constituyen uno de los dos elementos que forman un grafo. Como ocurre con el resto de las ramas de las matemticas, a la Teora de Grafos no le interesa saber qu son los vrtices. Diferentes situaciones en las que pueden identificarse objetos y relaciones que satisfagan la definicin de grafo pueden verse como grafos y as aplicar la Teora de Grafos en ellos. Aristas dirigidas y no dirigidas En algunos casos es necesario asignar un sentido a las aristas, por ejemplo, si se quiere representar la red de las calles de una ciudad con sus direcciones nicas. El conjunto de aristas ser ahora un subconjunto de todos los posibles pares ordenados de vrtices. Los grafos que contienen aristas dirigidas se denominan grafos orientados. Las aristas no orientadas se consideran bidireccionales para efectos prcticos (equivale a decir que existen dos aristas orientadas entre los nodos, cada una en un sentido). Tipos de grafos Grafos Simples. Grafos Conexos. Grafos Completos. Grafos bipartidos.

Definicin: Si un grafo se puede dibujar de modo que no se corten sus lados (aristas) excepto en los vrtices se dice que es un grafo plano.

Teorema de Euler: En todo grafo conexo y plano que est apropiadamente representado se verifica que el nmero de caras ms el de vrtices menos el de aristas vale 2. Es decir: C A + V = 2. En 1736, Euler resolvi el problema conocido como problema de los puentes de Knigsberg. Inclua dos grandes islas que estaban conectadas entre ellas y con las dos riberas del ro mediante siete puentes. El problema consista en decidir si era posible seguir un camino que cruzase todos los puentes una sola vez y que finalizase llegando al punto de partida. No lo hay, y Euler logr probarlo matemticamente demostrando que no exista un ciclo euleriano debido a que el nmero de puentes en ms de dos bloques era impar.

A esta solucin se la considera el primer teorema de teora de grafos y de grafos planares. Euler tambin introdujo el concepto conocido como caracterstica de Euler del espacio, y una frmula que relacionaba el nmero de lados, vrtices y caras de un polgono convexo con esta constante.

Teora de Hamilton En el campo matemtico de la teora de grafos, un camino hamiltoniano en un grafo es un camino, una sucesin de aristas adyacentes, que visita todos los vrtices del grafo una sola vez. Si adems el ltimo vrtice visitado es adyacente al primero, el camino es un ciclo hamiltoniano. La teora de Hamilton se basa en resolver grafos a base de crear un solo camino visitando solamente cada una de las aristas como se ecplica en el camino Hamiltoniano. Camino Hamiltoniano Un camino hamiltoniano es un camino que pasa por cada vrtice exactamente una vez. Un grafo que contiene un camino hamiltoniano se denomina un ciclo hamiltoniano o circuito hamiltoniano si es un ciclo que pasa por cada vrtice exactamente una vez (excepto el vrtice del que parte y al cual llega). Un grafo que contiene un ciclo hamiltoniano se dice grafo hamiltoniano.

Gracias a la Teora de los Grafos se han desarrollado una gran variedad de algoritmos y mtodos de resoluciones eficaces que nos permiten tomar una mejor decisin. Se debe de recordar que no se debe confundir el grafo con el sistema real al que est asociado. El grafo es un estructura que admitimos adecuada en lo concerniente a las propiedades que nos interesan, donde luego aplicamos las deducciones y reglas matemticas para obtener datos y poder decidir.

William Rowan Hamilton

Leonhard Euler