1Grafos I

Eduard Pieros & Frederick Bareo.

Marzo 2017.

Universidad Distrital Francisco Jos de Caldas.

Bogot D. C.
Ciencias de la computacin II.
 2

Abstract
En primera instancia buscamos definir acertadamente lo que son los grafos y as posteriormente 3
llegar a puntualizar toda su clasificacin y las diferencias entre cada uno de ellos teniendo como
objetivo identificar y distinguir claramente las particularidades de cada uno.Tabla de
Contenidos

Captulo 1 Definiciones Bsicas......................................................................................................1

Grafos y sus Caractersticas.........................................................................................................1
Ejemplo....................................................................................................................................1
Grado de un Vrtice.....................................................................................................................2
Grafos Dirigidos..........................................................................................................................3
Grafos Especiales.........................................................................................................................4
Grafo Simple............................................................................................................................4
Grafo Completo.......................................................................................................................5
Grafo Completo Bipartito........................................................................................................6
Subgrafos.....................................................................................................................................6
Ejemplo....................................................................................................................................7
Grafos Isomorfos.........................................................................................................................7
Grafos Homeomorfos..................................................................................................................8
Captulo 2 Aplicaciones a Problemas Sencillos...............................................................................9
Grafos Eulerianos........................................................................................................................9
Grafos Hamiltonianos................................................................................................................11
Lista de referencias........................................................................................................................12
 Captulo 1

Definiciones Bsicas

Grafos y sus Caractersticas

Un grafo G consiste de dos conjuntos finitos: un conjunto no vaco V(G) de

vrtices y un conjunto de aristas E(G), donde cada arista est asociada a un conjunto

compuesto por uno o dos vrtices llamados puntos extremos. La correspondencia de

aristas a puntos finales se llama la funcin de arista a punto extremo.1

Una arista con un slo punto extremo se llama un bucle y dos o ms aristas

distintas con el mismo conjunto de puntos extremos se dicen que son paralelas. Se dice

que una arista conecta sus puntos finales; dos vrtices que se conectan por una arista se

denominan adyacentes; y un vrtice que es un punto final de un bucle se dice que es

adyacente a s mismo.

Se dice que una arista incide sobre cada uno de sus puntos extremos y dos aristas

que inciden en el mismo punto se llaman adyacentes. Un vrtice en el que no incide arista

alguna se llama aislado.

Ejemplo.

1
Definicin de Grafo Tomada del Libro Matemticas Discretas con Aplicaciones de
Susanna S. p. 626
 Figura 1. Ejemplo de Grafos.

Grado de un Vrtice

El grado de un vrtice es el nmero de segmentos extremos de aristas que salen

del vrtice. Vamos a demostrar que la suma de los grados de todos los vrtices en un

grafo es dos veces el nmero de aristas en el grafo.2

Sea G un grafo y v un vrtice de G. El grado de v, que se denota por deg(v), es

igual al nmero de aristas que inciden en v, con una arista que es un bucle contado dos

veces; El grado total de G es la suma de los grados de todos los vrtices de G.

2
Definicin de grado de un Vertice Tomado del Libro Matematicas Discretas de Shcuman
p. 157
 Figura 2. Grado de un Vrtice.

El grado de un vrtice v en un grafo G, se escribe grd(v), es igual al nmero de

aristas en G que contienen a v; es decir, que inciden sobre v. Puesto que cada arista se

cuenta dos veces al contar los grados de los vrtices de G, se tiene el siguiente resultado

sencillo pero importante.

Grafos Dirigidos

Consiste en dos conjuntos finitos: un conjunto no vaco V(G) de vrtices y un

conjunto de aristas dirigidas D(G), donde cada uno est asociado con un par ordenado de

vrtices llamado sus puntos extremos. Si el arista e est asociada con el par de vrtices (v,

w), entonces se dice que es la arista (dirigida) de v a w.3

Observe que cada grafo dirigido tiene un grafo (no dirigido) ordinario asociado,

que se obtiene ignorando las direcciones de las aristas.

3
Definicin de Grafo Dirigido Tomada del Libro Matemticas Discretas con Aplicaciones
de Susanna S. p. 629
 Figura 3. Ejemplo de Grafo Dirigido y no Dirigido.

Grafos Especiales

Grafo Simple.

Una clase importante de grafos se compone de aquellas que no tienen ningn

bucle o aristas paralelas. Estos grafos se denominan simples. En un grafo simple, no hay

dos aristas que compartan el mismo conjunto de puntos extremos, para especificar los dos

puntos extremos es suficiente con determinar una arista.4

Un grafo simple es un grafo que no tiene ningn bucle o aristas paralelas. En un

grafo simple, una arista con puntos extremos v y w se denota por {v , w}.

4
Definicin de Grafo Simple Tomada del Libro Matemticas Discretas con Aplicaciones
de Susanna S. p. 633
 Figura 4. Ejemplo de Grafo Simple.

Grafo Completo.

Sea n un entero positivo. Un grafo completo de n vrtices, que se denota por Kn,

es un grafo simple con n vrtices y exactamente una arista conectando a cada par de

vrtices distintos.5

Figura 4. Ejemplo de Grafo Completo.

Grafo Completo Bipartito.

Sean m y n enteros positivos. Un grafo completo bipartito de vrtices (m, n), que

se denota por Km, n, es un grafo simple con vrtices distintos v1, 2, . . . , vm y w1, w2, . .

5
Definicin de Grafo Completo Tomada del Libro Matemticas Discretas con
Aplicaciones de Susanna S. p. 633
. , wn que satisface las siguientes propiedades: Para todos i, k = l, 2, . . . , m y para todos

j, l = 1, 2, . . . , n,6

1. Hay una arista de cada vrtice vi, a cada vrtice wj.

2. No hay arista de cualquier vrtice vi a cualquier otro vrtice vk.

3. No hay arista de cualquier vrtice wj a cualquier otro vrtice wl.

Figura 5. Ejemplo de Grafo Completo Bipartito.

Subgrafos

Se dice que un grafo H es un subgrafo de un grafo G si y slo si, cada vrtice en

H es tambin un vrtice en G, cada arista en H es tambin una arista en G y cada arista en

H tiene los mismos puntos extremos de G.7

Ejemplo.

6
Definicin de Grafo Completo Bipartito Tomada del Libro Matemticas Discretas con
Aplicaciones de Susanna S. p. 633
7
Definicin de Subgrafo Tomada del Libro Matemticas Discretas con Aplicaciones de
Susanna S. p. 634
 Figura 6. Ejemplo de Subgrafo.

Grafos Isomorfos

Se dice que los grafos G(V, E) y G(V, E ) son isomorfos si existe una

correspondencia uno a uno f ; VV tal que{u, v} es una arista de G si y slo si { f (u),

f (v)} es una arista de G. Normalmente no se establece ninguna diferencia entre grafos

isomorfos (aun cuando sus diagramas puedan parecer diferentes)

Grafos Homeomorfos

Dado cualquier grafo G, es posible obtener un nuevo grafo al dividir una arista de

G con vrtices adicionales. Dos grafos G y G son homeomorfos, si es posible

obtenerlos a partir del mismo grafo o grafos isomorfos al aplicar este mtodo.

Captulo 2

Aplicaciones a Problemas Sencillos

Grafos Eulerianos

En el siglo XVIII el oriental pueblo prusiano de Knigsberg inclua dos islas y

siete puentes, como se muestra en la figura 8-10a). Pregunta: si una persona empieza en

cualquier punto y termina en cualquier punto, es posible que recorra el pueblo de modo

que cruce los siete puentes sin cruzar ninguno dos veces? Los ciudadanos de Knigsberg

escribieron al clebre matemtico suizo L. Euler sobre esta cuestin. Euler demostr en

1736 que tal recorrido es imposible; sustituy las islas y las dos orillas del ro por puntos

y los puentes por curvas, con lo que obtuvo la figura 8-10b). Observe que la figura 8-10b)

es un multgrafo. Se dice que un multgrafo es recorrible si la curva puede trazarse sin

interrupciones y sin que pase dos veces por cualquiera de las aristas; es decir, si existe

un camino que incluya todos los vrtices y use cada arista exactamente una vez. Tal

camino debe ser un recorrido (puesto que ninguna arista se usa dos veces), y se denomina

recorrido atravesable o recorrible. Resulta evidente que un multgrafo recorrible debe ser

finito y conexo.8

A continuacin se mostrar cmo Euler prob que el multigrafo en la figura 8-

10b) no es recorrible y, por tanto, que el recorrido a pie de Knigsberg es imposible.

8
Historia del Grafo Euleriano Tomado del Libro Matematicas Discretas de Lipschutz p.
161
Primero recuerde que un vrtice es par o impar si su grado es un nmero par o impar.

Suponga que un multigrafo es recorrible y que un recorrido atravesable no empieza o

termina en un vrtice P. Se afirma que P es un vrtice par. Ya que siempre que el recorrido

atravesable entra a P por una arista, siempre debe haber una arista no usada previamente

por el cual el recorrido puede abandonar P. En consecuencia, las aristas del recorrido

incidente con P deben aparecer por pares, de modo que P es un vrtice par. Por

consiguiente, si un vrtice Q es impar, entonces el recorrido atravesable debe empezar o

terminar en Q. En consecuencia, un multgrafo con ms de dos vrtices impares no puede

ser recorrible. Observe que el multgrafo correspondiente al problema de los puentes de

Knigsberg tiene cuatro vrtices impares. Por tanto, no es posible recorrer Knigsberg de

modo que cada puente se cruce exactamente una vez.9

Teorema de Euler: Un grafo conexo finito es euleriano si y slo si cualquier

vrtice tiene grado par.

Cualquier grafo conexo finito con dos vrtices impares es recorrible. Un recorrido

atravesable puede empezar en cualquier vrtice impar y terminar en el otro vrtice impar.

Grafos Hamiltonianos

En el anlisis anterior sobre los grafos Eulerianos se recalcaron las aristas

recorridas; aqu la atencin se centra en la visita de vrtices. Un circuito hamiltoniano en

un grafo G, as denominado en honor del matemtico irlands del siglo XIX William

Hamilton (1803-1865) es un camino cerrado que visita todos los vrtices en G

9
Explicacin del Grafo Euleriano Tomado del Libro Matemticas Discretas de Lipschutz
p. 160
exactamente una vez. (Este camino cerrado debe ser un ciclo.) Si G admite un circuito

hamiltoniano, entonces G se denomina grafo hamiltoniano.10

Observe que un circuito de Euler recorre cada arista exactamente una vez, aunque

puede repetir vrtices, mientras que un circuito hamiltoniano visita cada vrtice

exactamente una vez aunque puede repetir aristas teorema :Sea G un grafo conexo con n

vrtices. Entonces G es hamiltoniano si n 3 y n grd(v) para cada vrtice v en G.

Lista de referencias

Epp, Susanna S. Matemticas Discretas Con Aplicaciones. 1st ed. Santa Fe (Mxico):
Cengage Learning, 2012.

Elementos de matemticas discretas (2a.ed.)

Bibliografa: Liu, C. L. Elementos De Matemticas Discretas (2A.Ed.). 1st ed. McGraw-
Hill Interamericana, 2011
PEREZ AGUILA, R.
Una introduccin a las matemticas discretas y teora de grafos
En el texto: (Prez Aguila 150-200)

10
Definicin del Grafo Hamiltoniano Tomado del Libro Matemticas Discretas de
Lipschutz p. 161
Bibliografa: Prez Aguila, Ricardo. Una Introduccin A Las Matemticas Discretas Y
Teora De Grafos. 1st ed. El Cid Editor, 2000. Print.