REPBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIN

UNIVERSITARIA
UNIVERSIDAD POLITCNICA TERRITORIAL DE PARIA
LUIS MARIANO RIVERA
PROYECTO NACIONAL DE FORMACIN EN INFORMTICA (PNFI)
DEPARTAMENTO DE INFORMATICA.

Grafos mapas, regiones, euleriano,

hamiltonianos y completos.

Facilitador(a) Participantes:
Lcdo. Pedro Ramos. T.S.U Veloz, Erick. CI. 23.945.082
Marling Ltz
. Jesica Garca.

Carpano, 13 de enero del 2016.

Mapas y regiones

Un poco de historia de mapas y regiones en cuanto a los grafos.

A mediados del siglo XIX Francis Guthrie se dio cuenta mientras coloreaba
un mapa de los condados de Inglaterra de que necesitaba al menos cuatro colores
para que se cumpliera la condicin de que dos regiones con frontera comn tuvieran
colores distintos (si dos regiones se tocan en un nico punto se entiende que no
tienen frontera comn). Francis le coment el tema a su hermano Frederick, que a
su vez se lo plante a Augustus de Morgan (profesor suyo en un curso de
matemticas en aquel momento), que aunque no supo responderle se encarg de
difundir el asunto entre otros matemticos. En 1878 Arthur Cayley lo presenta
formalmente a la London Mathematical Society y as el problema queda abierto con
un enunciado como ste.

Definiciones y ejemplos:

Todo mapa plano puede colorearse con, como mximo, cuatro colores con la
condicin de que regiones con frontera comn tengan colores distintos.

Pero todos esos intentos fallidos no fueron en vano. Por el camino quedaron
demostraciones de que para colorear un mapa dibujado en un toro hacen falta,
como mximo, siete colores, y que para colorear uno mapa en una banda de
Mbius hacen falta, a lo sumo, seis colores. Tambin se demostr que cinco colores
eran suficientes para un mapa plano. Pero pareca que todos los mapas podan
colorearse con cuatro, que no nos hacan falta esos cinco.

Por cierto, hemos comentado al principio que este problema pertenece a la

teora de grafos, pero no hemos dicho cmo relacionar mapas con grafos. Lo que se
hace a partir de cada mapa plano es calcular su grafo dual, que se construye
asignando un vrtice a cada regin y uniendo dos vrtices con una arista si en el
mapa las dos regiones correspondientes a dichos vrtices tenan frontera comn.
 Ejemplo de mapa:

Tendra como grafo dual al siguiente grafo:

Es cierto que los vrtices de todo grafo plano pueden colorearse con, a lo
sumo, cuatro colores de forma que dos vrtices unidos por una arista tengan colores
distintos?

Por ejemplo, el mapa anterior (y, por tanto, tambin su grafo dual) puede
colorearse con, en este caso, tres colores:
 Parece entonces que ha quedado demostrado que todo mapa plano puede
colorearse con, como mucho, cuatro colores de forma que regiones con frontera
comn tengan colores distintos. Todos? Hasta ste?

Este mapa fue propuesto por Martin Gardner como mapa que no poda
colorearse con cuatro colores un 1 de abril, da de los inocentes para el mundo
anglosajn. Habl sobre ello en este ensayo, en el que propuse. Evidentemente es
falso que hagan falta cinco colores. Gardner recibi cartas con diversas formas de
colorear el mapa con cuatro colores. Aqu un ejemplo de una de Stan Wagon:
 M se puede colorear con
1. tres colores diferentes

M necesita cuatro colores

2. para ser coloreado

Son necesarios ms de
cuatro colores para
3. colorear M

Sea A la matriz de adyacencia de un multgrafo G con vrtices {v1,v2,...,vn} y sea

a23=3 una de las entradas de A. Entonces,

Existe un camino con

tres vrtices entre v2 y
1. v3

Hay tres aristas con

2.
extremos los vrtices
 v2 y v3

Hay tres vrtices

adyacentes con v2 y
3. v3

Formulacin precisa del teorema:

En primer lugar, todas las esquinas y puntos en comn que pertenecen a

tres o ms pases, deben ser ignorados. Sin esta restriccin, los mapas extraos
(utilizando las regiones del rea finita pero permetro infinito) pueden requerir ms
de cuatro colores en segundo lugar, para el propsito del teorema cada "pas" tiene
que ser una regin simplemente conexa o continua. En el mundo real, esto no es
cierto (por ejemplo, Alaska como parte de los Estados Unidos, Nakhchivan como
parte de Azerbaiyn, y Kaliningrado como parte de Rusia no son regiones
continuas).

Debido a que el territorio de un pas en particular debe ser del mismo color,
cuatro colores no son suficientes. Por ejemplo, considrese un mapa simplificado:

En este mapa, las dos regiones A pertenecen a un mismo pas, y por lo

tanto, deben ser del mismo color. En consecuencia, este mapa requiere cinco
colores, puesto que las dos regiones A son contiguas con las otras cuatro regiones,
y cada una de estas regiones son contiguas entre s. Si hay tres regiones A,
entonces se necesitan seis o ms colores; se pueden construir mapas que requieren
un nmero arbitrariamente elevado de colores. Un escenario similar tambin se
puede dar si el color azul se reserva para el agua.

Teorema de los 4 colores. Si es un grafo plano, entonces

 Definicin de mapas: es una representacin plural mostrada en los
multgrafos finito y plana.

Regin: son las divisiones del plano o ejes en reas conexos son unidos
entre s.

Grado de la regin es la longitud del camino cerrado que cubre la regin B. a

travs del camino cerrado es un ciclo (no se repite los vrtices). Solo es el vrtice
inicial hasta el vrtice final vrtice final Ejemplo.
Grafos eurelianos y hamiltonianos:

Existen todava algunas familias de grafos que se derivan del concepto de

grafos conexos. Este es el caso de los grafos eulerianos y los grafos hamiltonianos.
Estas familias de grafos nos permiten resolver el famoso problema de los puentes
de Knigsberg:

Cundo es posible hacer un recorrido de una figura (en este caso de un grafo
mltiple) sin pasar dos veces por la misma lnea o por el mismo vrtice?
En la siguiente imagen tenemos dos grafos G1 y G2; es posible recorrer uno
de ellos sin repetir ninguna lnea, pero el otro no. Cul es cul? Es evidente que el
grafo G1 no puede ser recorrido sin repetir alguna de sus lneas, mientras que el
grafo G2 s.

GRAFOS EULERIANOS

Un circuito C en un grafo (o multgrafo) G es un circuito euleriano si C pasa

por todos las aristas de G una y solo una vez.

Un grafo euleriano es un grafo que tiene un circuito euleriano (o multgrafo).

Recorrido cerrado

Cubre todas las lneas de un grafo, comenzando y terminando en un mismo

vrtice, recorriendo sin repeticin y en forma continua todas las lneas de un grafo G
cualquiera. Cuando tal recorrido existe, se denomina euleriano y un grafo que se
puede trazar mediante un recorrido euleriano se llama grafo euleriano. En la
siguiente imagen se mostrara, G1 es obviamente un grafo euleriano; G2 no lo es, a
pesar de que se puede trazar continuamente, ya que el recorrido comienza y
termina en vrtices distintos; finalmente, G3 no es un grafo euleriano, porque no se
puede trazar continuamente.

Teorema:
Diremos que un grafo G es la unin disjunta de ciclos, si podemos
descomponer a G como la unin de ciclos que no tienen lneas en comn, aunque
se permite que tengan, al menos, un vrtice en comn.

Demostracin:
Si G es euleriano, G admite un recorrido euleriano T. Como T es cerrado, T
contiene un ciclo C. Sea T' el recorrido obtenido al eliminar en T las lneas de C. T'
sigue siendo un recorrido cerrado, por lo tanto, contiene un ciclo C'. Repitiendo este
proceso, obtenemos una descomposicin de G como la unin disjunta de los ciclos
C, C'..., entre otros
Recprocamente, supongamos que G es una unin disjunta de ciclos. Sea C un ciclo
cualquiera en G. Si

Entonces G es un ciclo y por lo tanto euleriano. Si

Existe un ciclo C' en G que tiene un vrtice v en comn con C (por hiptesis).
Si G es la unin de C y C', entonces, comenzando en v trazamos C y luego C',
obteniendo as un recorrido euleriano de G. Si la unin de C y C' no es todo G,
existe un ciclo C'' que tiene algn vrtice v' en comn con C o con C', digamos por
ejemplo con C'. Si G es la unin de C, C' y C'', entonces comenzando en v trazamos
C, luego trazamos C' hasta llegar a v' y luego trazamos C'' hasta completar C', luego
regresamos a v como ilustra el diagrama de la imagen mostrada anterior mente.
 As, obtenemos un recorrido euleriano de G. Si la unin de C, C' y C'' no es
todo G, continuamos con este procedimiento hasta obtener un recorrido euleriano
de G.
COROLARIO 2: Un grafo conexo es euleriano si y slo si todos sus vrtices tienen
valencia par. (Este teorema rige tambin para multigrafos).

Demostracin:
En un recorrido euleriano, cuando visitamos un vrtice, necesitamos al
menos dos lneas distintas adyacentes al vrtice (una para llegar al vrtice y otra
para salir de l), incluyendo al vrtice inicial, porque tenemos que regresar a l para
concluir el recorrido. Esto significa, que cada vrtice contribuye con un nmero par
de lneas y, por lo tanto, su valencia es par.

Grafos hamiltonianos

Un circuito en un grafo G es un circuito hamiltoniano si pasa por cada nodo

de G una y solo una vez.

Un grafo se dice hamiltoniano si tiene un circuito hamiltoniano.

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 exactamente una vez. (Este camino cerrado debe ser un ciclo.) Si G
admite un circuito hamiltoniano, entonces G se denomina grafo hamiltoniano.
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. En la figura 8-11 se proporciona
un ejemplo de uno que es hamiltoniano pero no euleriano y viceversa.
Aunque resulta evidente que slo los grafos conexos pueden ser hamiltonianos, no
hay ningn criterio simple para decidir si un grafo es o no hamiltoniano, como s lo
hay para el caso de los grafos eulerianos. Se cuenta con la siguiente condicin
suficiente, que se debe a G. A. Dirac.

Teorema 8.5: 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.

Grafos completos

Un grafo G es completo si cualquier vrtice en G est unido a todos los

dems vrtices en G. Por tanto, un grafo completo
G debe ser conexo. El grafo completo con n vrtices se denomina Kn. En la figura 8-
13 se muestran los grafos

K1 a K6.

Un grafo completo de n vrtices tiene aristas, y se nota .

Es un grafo regular con todos sus vrtices de grado . La nica forma de
hacer que un grafo completo se torne disconexo a travs de la eliminacin de
vrtices, sera eliminndolos todos.

El teorema de Kuratowski dice que un grafo planar no puede contener (

el grafo bipartito completo ) y todo incluye a , entonces ningn grafo
completo con es planar.