Вы находитесь на странице: 1из 30

TEORIA DE GRAFOS

PRESENTADO A:

ING. MARIO MACEA ANAYA

PRESENTADO POR:

JAMY JAMIR CARO PRADO JORGE MARIO PEREZ ROMERO

UNIVERSIDAD DE CRDOBA FACULTAD DE INGENIERAS PROGRAMA DE INGENIERA DE SISTEMAS PLANETA RICA CRDOBA 2013

1Dado que Un grafo G se llama Grafo de Euler, si posee un ciclo K que recorra todas las aristas de G, entonces es necesario encontrar un ciclo k en dicho grafo, teniendo en cuenta que el grafo g debe ser conexo y el grado de todos sus vrtices debe ser par, dado que se cumpla lo anterior tenemos un grafo euleriano, a continuacin vemos el grado de los vrtices del grafo a solucionar: A=2, B=4, C=4, D=4, E=4, F=8, G=8, H=4, I=2, J=4, K=4, L=2 Observamos que todos son de grado par, por lo tanto procedemos a aplicar el algorito de fleury: Graficas

Podemos decir que si es posible trazar la grafica sin volver a trazar ninguna porcin y sin levantar el lpiz del papel, terminando en el punto de inicio, ya que encontramos un ciclo eulariano. Para poder terminar en un punto distinto al del inicio es necesario que nuestro grafo sea de tipo semieuleriano esto se da si nuestro grafo cuenta con dos vrtices de grado impar y que estos vrtices sean consecutivos, por lo que nuestro grafo no presenta estas condiciones podemos decir que no podramos trazar la grafica sin volver a trazar ninguna porcin y sin levantar el lpiz del papel, terminando en el punto distinto al punto de inicio.

2a-) En el grafo a encontramos que los vrtices tienen los siguientes grados: a= 2, b= 3, c=4, d= 2, i=3, h=4, e=3, f= 4, g= 3 Observemos que tiene 4 vrtices de grado impar por lo tanto no cumple con las condiciones de grafo euleriano y por esto no existe un ciclo euleriano, por lo tanto al aplicar el algoritmo de Fleury no vamos a poder completar dicho recorrido, pero como sabemos que si un grafo G es un grafo conexo, y si hay un ciclo simple cobertor de G este se llama un ciclo de Hamilton, y si G es un grafo conexo que posee un ciclo de Hamilton este se llama grafo de Hamilton El numero de vrtices n=9 Segn el teorema de ore la suma de los grados dos vrtices no adyacentes debe ser mayor o igual al numero de vrtices n pero en los pares de vrtices no se cumple: g(u)+g(v)n

Entonces g(a)+g(d)n 2 + 2 9 4 9 no se cumple esta condicin g(c)+g(i)n 4 + 3 9 7 9 no se cumple esta condicin

Para ni para ningn par de vrtices se cumple.

Aplicando el teorema de Dirac que dice que si G es un grafo simple con n, n 3 vrtices y si para todo vrtice v V (G) se cumple que el g(v) n/2, entonces G es un grafo de Hamilton a= 2, b= 3, c=4, d= 2, i=3, h=4, e=3, f= 4, g= 3 Observemos que n=9, entonces observemos que n/2 = 9/2=4.5, para que el teorema se cumpla el grado de cada vrtice debe ser mayor o igual a 4.5 pero observemos que ningn vrtice es mayor por lo tanto este teorema no se cumple. Observemos: g (v) n/2

g (a) 9/2 ; 2 4.5 g (d) 9/2 ; 2 4.5 g (g) 9/2 ; 3 4.5

g (b) 9/2 ; 3 4.5 g (e) 9/2 ; 3 4.5 g (h) 9/2 ; 34 4.5

g (c) 9/2 ; 4 4.5 g (f) 9/2 ; 4 4.5 g (i) 9/2 ; 3 4.5

Aunque no se cumplan estos dos teoremas no son necesarios para que sea un grafo de Hamilton ya que existe un circuito de Hamilton cuyo ciclo de Hamilton seria GRAFICAS:

(f,g,i,d,c,b,a,h,e,f)

b-) En el grafo a encontramos que los vrtices tienen los siguientes grados: a= 2, b= 2, c=4, d= 4, e=6, f=4, g=2, Observemos que tiene todos sus vrtices de grado par por lo tanto cumple con las condiciones de grafo euleriano y por estoexist e un ciclo euleriano, entonces al aplicar el algoritmo de Fleury vamos a poder completar dicho recorrido, el cual seria: VaVeVfVcVdVfVgVeVdVbVeVcVa Graficas Como sabemos que si un grafo G es un grafo conexo, y si hay un ciclo simple cobertor de G este se llama un ciclo de Hamilton, y si G es un grafo conexo que posee un ciclo de Hamilton este se llama grafo de Hamilton El numero de vrtices n=7 Segn el teorema de ore la suma de los grados dos vrtices no adyacentes debe ser mayor o igual al numero de vrtices n pero en los pares de vrtices no se cumple: g(u)+g(v)n

Entonces g(a)+g(d)n 2+ 47 6 7 no se cumple esta condicin g(c)+g(b)n 4 + 2 7 6 7 no se cumple esta condicin

Aplicando el teorema de Dirac que dice que si G es un grafo simple con n, n 3 vrtices y si para todo vrtice v V (G) se cumple que el g(v) n/2, entonces G es un grafo de Hamilton a= 2, b= 2, c=4, d= 4, e=6, f=4, g=2, Observemos que n=9, entonces observemos que n/2 = 7/2=3.5, para que el teorema se cumpla el grado de cada vrtice debe ser mayor o igual a 3.5 pero observemos que solo un vrtice es mayor por lo tanto este teorema no se cumple.

Observemos: g (v) n/2 g (a) 7/2 ; 2 3.5 g (d) 7/2 ; 4 3.5 g (g) 7/2 ; 2 3.5 g (b) 7/2 ; 2 3.5 g (e) 7/2 ; 6 3.5 g (c) 7/2 ; 4 3.5 g (f) 7/2 ; 4 3.5

Aunque no se cumplan estos dos teoremas no son necesarios para que sea un grafo de Hamilton ya que existe un circuito de Hamilton cuyo ciclo de Hamilton seria

b-) En el grafo a encontramos que los vrtices tienen los siguientes grados: a= 2, b= 2, c=4, d= 4, e=6, f=4, g=2, Observemos que tiene todos sus vrtices de grado par por lo tanto cumple con las condiciones de grafo euleriano y por estoexist e un ciclo euleriano, entonces al aplicar el algoritmo de Fleury vamos a poder completar dicho recorrido, el cual seria: VaVeVfVcVdVfVgVeVdVbVeVcVa Graficas Como sabemos que si un grafo G es un grafo conexo, y si hay un ciclo simple cobertor de G este se llama un ciclo de Hamilton, y si G es un grafo conexo que posee un ciclo de Hamilton este se llama grafo de Hamilton El numero de vrtices n=7 Segn el teorema de ore la suma de los grados dos vrtices no adyacentes debe ser mayor o igual al numero de vrtices n pero en los pares de vrtices no se cumple: g(u)+g(v)n

Entonces g(a)+g(d)n 2+ 47 6 7 no se cumple esta condicin g(c)+g(b)n 4 + 2 7

6 7 no se cumple esta condicin Aplicando el teorema de Dirac que dice que si G es un grafo simple con n, n 3 vrtices y si para todo vrtice v V (G) se cumple que el g(v) n/2, entonces G es un grafo de Hamilton a= 2, b= 2, c=4, d= 4, e=6, f=4, g=2, Observemos que n=9, entonces observemos que n/2 = 7/2=3.5, para que el teorema se cumpla el grado de cada vrtice debe ser mayor o igual a 3.5 pero observemos que solo un vrtice es mayor por lo tanto este teorema no se cumple.

Observemos: g (v) n/2 g (a) 7/2 ; 2 3.5 g (d) 7/2 ; 4 3.5 g (g) 7/2 ; 2 3.5 g (b) 7/2 ; 2 3.5 g (e) 7/2 ; 6 3.5 g (c) 7/2 ; 4 3.5 g (f) 7/2 ; 4 3.5

Aunque no se cumplan estos dos teoremas no son necesarios para que sea un grafo de Hamilton ya que existe un circuito de Hamilton cuyo ciclo de Hamilton seria

3-) a-) el grafo encontramos los grados de sus vrtices a=4, b= 4, c=4, d=4, e=4, f=4

grafica

En este grafo podemos determinar lo siguiente: Como podemos ver el grado de todos los vrtices es par, y el grafo es conexo Posee un Circuito Euleriano el cual esta dado por la siguiente secuencia: a-b-f-c-b-d-e-f-d-a-e-c-a

No tiene trayectoria Euler Circuito Hamilton: d-b-a-e-c-f-d

Trayectoria Hamilton: d-b-a-e-c-f

b-) el grafo encontramos los grados de sus vrtices 1=4, 2= 4, 3=4, 4=4, 5=4, 6=4 grafica

En este grafo podemos determinar lo siguiente: Como podemos ver el grado de todos los vrtices es par, y el grafo es conexo Posee un Circuito Euleriano el cual esta dado por la siguiente secuencia:

1-2-6-3-2-4-5-6-4-1-5-3-1, aplicando el algoritmo de fleury

No tiene trayectoria Euleriana Circuito Hamilton 4-2-1-5-3-6-4

Trayectoria Hamilton: 4-2-1-5-3-6

4- Tenemos que el grafo es un grafo conexo, que tiene un ciclo simple cobertor del grafo por lo tanto tiene un ciclo de Hamilton. El teorema de Dirac dice que un grafo con n vrtices (n > 3) es hamiltoniano si cada vrtice tiene grado mayor o igual a n/2. Como el grafo tiene n=5 Tenemos que g(v) n/2 g(A)=4 5/2; 4 2.5 g(B)=4 5/2; 4 2.5 g(C)=4 5/2; 4 2.5 g(D)=4 5/2; 4 2.5 g(E)=4 5/2; 4 2.5

ADBCEA=6930

AECBDA=6930

ABDCEA=7450

AECDBA=7450

ABCEDA=7590

ADECBA=7590

ADCBEA=7730

AEBCDA=7730

ACBDEA=7920

AEDBCA=7920

ACEBDA=8030

ADBECA=8030

ACBEDA=8050

ADEBCA=8050

ABCDEA=8260

AEDCBA=8260

ABECDA=8370

ADCEBA=8370

ACEDBA=8560

ABDECA=8560

ACDBEA=8700

AEBDCA=8700

ABEDCA=9360

ACDEBA=9360

De lo anterior podemos observar que los que tienen menor costo son lo ciclos ADBCEA=6930 - AECBDA=6930