I SEM 2008 Grafos y Teora de Autmatas

CONEXIN:
Un grafo se puede definir como conexo si cua!uier "#rtice $ pertenece a con%unto de "#rtices y es
acan&a'e por ag(n otro) *tra definicin !ue de%ara esto m+s caro sera, -un grafo conexo es un grafo
no dirigido de modo !ue para cua!uier par de "#rtices existe a menos un camino !ue os une.)
/efinicin 0)1) /iremos !ue un grafo G 2 3V; A4 es conexo si para todo par de "#rtices u, v V5 u v5
existe un camino en G de u a v)
/iremos !ue e grafo es fuertemente conexo si para todo par de "#rtices u5 v V5 u v5 existe un camino
dirigido en G de u a v) *'ser"emos !ue este concepto so tiene sentido en e caso de un grafo dirigido)
E%empo,
Anai&ar a conexin y competitud de os siguientes grafos,
GRAFOS EULERIANOS.
6ara definir un grafo eueriano es importante definir un camino eueriano primero) 7amaremos
camino euleriano a una cadena 3simpe4 !ue atra"iesa cada arista exactamente una "e&)
Teniendo esto definido podemos 8a'ar de os grafos euerianos descri'i#ndoos simpemente
como a!ue grafo !ue contiene un camino eueriano) 9omo e%empos tenemos as siguientes im+genes,
E primer grafo de eos no contiene caminos euerianos mientras e segundo contiene a menos uno)
Camino de Euler y Circuito(ciclo de Euler:
Llamaremos circuito euleriano de G a un circuito de G que atraviesa cada arista exactamente una
vez.
a4 Si un grafo G tiene un "#rtice de grado impar5 entonces no puede existir un circuito de Euer en G)
1
1 2
8 5 3
6 4
Soucin, :inguno es competo)
a4 Grafo conexo
'4 Grafo fuertemente conexo
c4 Grafo dirigido conexo
I SEM 2008 Grafos y Teora de Autmatas
'4 Si G es un grafo conexo y todos os "#rtices tienen grado par5 entonces existe un circuito de Euer)
!eorema:
Sea G un grafo no dirigido y conexo)
(a G es eueriano si y so si no tiene "#rtices de grado impar)
(" G contiene un camino eueriano si y so si tiene exactamente dos "#rtices de grado impar)
!eorema:
Sea G 2 3V, A4 un grafo dirigido y d#'imente conexo)
(a G es eueriano si y so si5 para todo "#rtice v5 de3v4 2 ds3v4)
(" G contiene un camino eueriano si y so si
Siendo p y q os "#rtices inicia y fina respecti"amente de camino)
#O$IFICACION %ARA GRAFOS $IRIGI$OS
(& Si e grafo es eueriano5 a partir de un "#rtice cua!uiera de G construimos una cadena simpe de forma
!ue no se repitan aristas y no se ei%a nunca una arista si a eiminaro aumenta e n(mero de
componentes conexas de grafo no dirigido asociado5 a no ser !ue no tengamos otra aternati"a)
(' Si e grafo contiene un camino eueriano5 comen&amos con un "#rtice p ta !ue de3p4 2ds3p4 05
siguiendo e proceso descrito)
(Tarea: Buscar definicin de Grafo Hamiltoniano, camino Hamiltoniano y ciclo Hamiltoniano.)
(R)OLES.
Un +r'o se define como un tipo de grafo !ue no contiene cicos5 es decir es un grafo tam'i#n
accico5 pero a su "e& es conexo) Ta es e caso de os siguientes dos grafos en donde se puede notar
!ue ninguno de os dos contiene repeticiones 3cicos4)
)OS*UES $E (R)OLES.
2
I SEM 2008 Grafos y Teora de Autmatas
7os 'os!ues de +r'oes son un caso simiar a os +r'oes5 son accicos5 pero no son conexos)
9omo e%empo tenemos a siguiente figura)
Re+re,entaci-n #atricial de Gra.o,
#atri/ de adyacencia)
Si G 2 ;$5 A< es un grafo de n "#rtices $ 2 ;"05 "25 )))5 "n< a os !ue suponemos ordenados) 7a
representacin de as aristas se 8ace con una matri& A de n x n eementos ai% definida,
0 si 8ay una arista 3"i5 "%4
ai%
0 si no 8ay arista 3"i5 "%4
7a matri& se denomina matri/ de adyacencia) En ocasiones a matri& de adyacencia es una matri&
'ooean en a !ue e eemento ai% es "erdadero si existe una arista 3"i5 "%4 y faso en caso contrario)
Sea e 0ra.o diri0ido siguiente,
Si e orden de os "#rtices es ;/5 =5 >5 75 ?<5 a matri/ de adyacencia ser+,
Sea e 0ra.o no diri0ido siguiente,
Si e orden de os "#rtices es ;05 25 15 @5 A<5 a matri/ de adyacencia ser+,
3
I SEM 2008 Grafos y Teora de Autmatas
#atri/ ,im1trica ya !ue cada arista 3"i5 "%4 se corresponde con as aristas 3"i5 "%4 y 3"%5 "i4)
%ro+iedade, de la matri/ de adyacencia:
0) Sea G un grafo no dirigido con matri& de adyacencia A) Entonces5 a suma de os eementos de a fia i
3o coumna i4 es igua a grado de "#rtice vi)
2) Sea G un grafo dirigido con matri& de adyacencia A) Entonces5 a suma de os eementos de a fia i es
igua a grado de saida de "#rtice vi y a suma de os eementos de a coumna j es igua a grado de
entrada de "#rtice "j)
1) Sea G un grafo con matri& de adyacencia A) Entonces5 e eemento 3i, j4 de a matri& Ar, r 05 es igua
a n(mero de cadenas de vi a vj de ongitud r)
$e.inici-n
Sea G 2 3V,A4 un 0ra.o no diri0ido con n "#rtices y m aristas siendo

7amamos matri/ de incidencia de G a a matri& de orden n m
Sea G 2 3V, A4 un 0ra.o diri0ido con n "#rtices y m aristas siendo

7amamos Matri& de incidencia de G a a matri& de orden n m
%ro+iedade, de la matri/ de incidencia:
0) Sea G un grafo no dirigido) 7a suma de os eementos de cada fia de a matri& de incidencia es igua
a grado de correspondiente "#rtice)
2) Sea G un grafo no dirigido) 7a suma de os eementos de cada coumna de a matri& de incidencia es
igua a 2)
1) Sea G un grafo dirigido sin 'uces) 7a suma de os eementos de cada coumna de a matri& de
incidencia es igua a 0)
En e 0ra.o 2alorado y diri0ido siguiente,
Si e orden de os "#rtices es ;Aicante5 Barceona5 9artagena5 Murcia5 ?eus<5 a matri/ de +e,o, ser+,
4
I SEM 2008 Grafos y Teora de Autmatas
#A%AS
/efiniciones
Un grafo se dice !ue es +lano si admite una representacin gr+fica en e pano de modo !ue cada arista
corta (nicamente a otra arista en un "#rtice !ue sea extremo de am'as5 es decir5 si se puede di'u%ar sin
cruces de aristas)
Una representacin de un grafo con estas condiciones se dice !ue es un ma+a)
/ef) En genera5 puede determinarse !ue un grafo no es pano5 si en su diseCo puede encontrase una
estructura an+oga 3conocida como menor4 a >A o a >151)
/ef) Un mapa es cone3o si e grafo !ue representa es conexo)
/ef) 7as re0ione, son as di"isiones en "arias partes de un pano)
E 0rado de una regin es a ongitud de camino !ue a 'ordea)
7a suma de os grados de as regiones de un mapa es igua a do'e de n(mero de aristas de grafo !ue
representa)
F-rmula de Euler
Sea M un mapa conexo con D? 3n(mero de regiones4 !ue representa a grafo G con D$ 3n(mero de
"#rtices4 y con DA 3n(mero de aristas45 entonces,
D$ E DA F D? 2 2
!eorema,
G Si un grafo es pano conexo con D$ H 25 entonces DE I2 1D$ E J)
G Si en un grafo pano conexo con D$ H 25 no existe ning(n su'grafo isomorfo K1Ereguar5 entonces
G DE I2 2D$ E @)
G /os regiones son adyacente, si os caminos !ue as 'ordean tienen aguna arista en com(n)
G Una coloraci-n es una apicacin de ta manera !ue dos "#rtices contiguos no puedan tener e
mismo coor)
G Todo grafo pano admite una cooracin con cuatro coores)
G Un grafo es "i+artito si existe una cooracin con so dos coores5 o si y so si no tiene cicos
con ongitud impar
Gra.o, +lano,
Sea >n e grafo competo con n "#rtices5 >n5 p es e grafo 'ipartito de n y p "#rtices)
E %uego anterior e!ui"ae a descu'rir si e grafo 'ipartito competo >151 es +lanario 3se dice tam'i#n
+lano45 es decir5 si se puede di'u%ar en un pano sin !ue 8aya cruces) L a respuesta es no) Esta'ecer
!u# grafos son panos no es o'"io5 y tiene !ue "er con a topooga)
5
I SEM 2008 Grafos y Teora de Autmatas
$i4metro
En a figura se nota !ue >@ es pano 3des"iando a arista ab a exterior de cuadrado45 !ue >A no o es5 y
!ue >152 o es tam'i#n 3des"os en gris4)
En un grafo5 a di,tancia entre dos "#rtices es e menor n(mero de aristas de un recorrido entre eos) E
di4metro5 en una figura como en un grafo5 es a mayor distancia entre dos puntos de a misma)
E di+metro de os >n es 05 y e de os >n5p es 2) Un di+metro infinito puede significar !ue e grafo tiene una
infinidad de "#rtices o simpemente !ue no es cone3o) Tam'i#n se puede considerar e di4metro
+romedio5 como e promedio de as distancias entre dos "#rtices)
!eorema:
Un grafo G es 'ipartito si y so si todos sus cicos tienen ongitud par.
!eorema:
7a suma de os grados de os "#rtices de un grafo es 2 "eces e n(mero de aristas5 o sea,
i205n d 3"i4 2 2 m
%ro+o,ici-n:
Si dos grafos G y GM son isomorfos,
i4 tienen e mismo n(mero de "#rtices
ii4 tienen e mismo n(mero de aristas
iii4 para todo K5 0KnE0 tienen e mismo n(mero de "#rtices de grado K)
i"4 tienen e mismo n(mero de componentes conexas
"i4 para todo K5 tienen e mismo n(mero de caminos simpes de ongitud K)
!eorema: dado un grafo G5 son e!ui"aentes,
a4 G es un +r'o)
'4 G es un grafo sin cicos simpes pero si se agrega un e%e a G5 !ueda un grafo con circuitos simpe)
c4 Todo par de "#rtices " y N en G est+ unido por un (nico camino simpe)
d4 G es conexo pero si se !uita un e%e a G5 !ueda un nue"o grafo no conexo)
!eorema: /ado un grafo G5 son e!ui"aentes,
a4 G es un +r'o)
'4 G es un grafo sin cicos y m 2 nE0
c4 G es conexo y m 2 nE0
!eorema (6ara grafos no dirigidos4
6