Apuntes MD 2017

Tema 1 : Teoria de grafos

Un grafo esta formado por vertices y por aristas que unen a los vertices.

Multigrafo : Es aquel grafo que tiene aristas multiples, las aristas multiples son las aristas
incidentes, es decir, que conectan al menos 2 vertices. El grafo sin aristas multiples es un
grafo simple.

Pseudografo: Aquel multigrafo que tiene aristas lazos.

Los grafos que tienen aristas con una direccion determinada son llamados digrafos, puede
haber digrafos multiples, con aristas multiples y pseudo digrafos, con aristas multples y
lazos.

Grafo ponderado: Las aristas tienen asociado un peso.

Los vertices son adyacentes si inciden en la misma arista.

Las aristas son adyacentes si inciden en el mismo vertice.

El numero de aristas de un vertice se llama valencia o grado del vertice, los grafos pueden
tener la lista de grados de sus vertices.

Propiedades de las valencias de los vertices de grafos simples.

-La valencia esta contenida entre 0 o n-1

-Un grafo no puede tener a la vez una valencia 0 y una valencia n-1.

-Lema del apreton de manos: La suma de las valencias de los vertices es igual al
numero de aristas por dos: = 2a

Podemos interpretar en un digrafo dos tipos de valencia: La valencia de salida y la de

entrada.

Algunos tipos de grafos

Un grafo trivial no tiene aristas, un grafo ciclo se asemeja a un poligono de n lados.

Grafo k-regular: Todos los vertices tienen la misma k-valencia.

Grafo k-completo: Todos los vertces tienen la valencia maxima.

Bosque de 3 arboles: Los grafos con arboles no tienen ciclos y son conexos (Tema 3).

Grafo bipartito: Grafo cuyos vertices se pueden separar en 2 conjuntos distintos, de

manera de que las aristas solo pueden conectar vertices de un conjunto con vertices del
otro conjunto. Tambien existen los grafos bipartitos completos.
 Subgrafos y operaciones

Un subgrafo es un grafo generado a travez de otro grafo, los vertices y aristas del
subgrafo aparecen en el grafo original pero no necesariamente debe tener todos los
vertices y aristas del grafo original. A partir de aqu podemos definir varios tipos de
subgrafos.

Subgrafo inducido por el conjunto de vertices S del grafo original.

Un subgrafo inducido del subconjunto de vertices V, tiene los vertices del grafo original,
pero las aristas del subgrafo son un subconjunto de aristas del grafo original.

Subgrafo recubridor del grafo G, que tiene los mismos vertices que el grafo original.

Grafo complementario: Es aquel grafo con el mismo conjunto de vertices que el grafo
original tal que dos vertices del grafo complementario son adyacentes si y solo si no lo
son en el grafo original.

Operaciones con grafos: Se pueden eliminar aristas y vertices de un grafo, creando un

grafo nuevo, unir o con interseccionar grafos, sumar grafos. El grafo rueda se crea
sumando el grafo completo k1 con un grafo de n-ciclo.

Formas de representar un grafo: Realizacion grafica, lista de adyacencias (para cada

vertice, un listado de los vertices adyacentes a l).

Matrices

-Matriz de adyacencia de orden nv x nv: aij es 1 si vi es adyacente a vj y 0 en el caso

contrario (la diagonal es nula).

La matriz es cuadrada y simetrica, la suma de cada fila o columna es la valencia de cada

vertice.

-Matriz de incidencia de orden nv x na: bij es 1 si vi es vertice de la arista aj o cero en

caso contrario.

No tiene por que ser ni cuadrada ni simetrica, la suma de cada fila es el grado del vertice
correspondiente, la suma de cada columna vale 2.

-Matriz de adyacencia de un digrafo: Funciona igual, pero no tiene que por que ser
simetrica (s es cuadrada).

La suma de cada fila es el grado de salida del vertice correspondiente, la suma de cada
columna es el grado de entrada del vertice correspondiente, la diagonal sigue siendo nula.

Matriz de adyacencia de un pseudografo de orden nv x nv: Para i distinto de j

se indica el numero de veces que aparece la arista {vi, vj}, si i es igual a j indica el doble
del numero de veces que aparece el lazo {vi,vi}.

La matriz es cuadrada y simetrica, la suma de cada fila o columna es el grado del vertice
correspondiente. La diagonal no tiene por que ser nula.
Matriz de adyacencia de un grafo ponderado de orden nv x nv: aij representa el peso
de la arista {vi, vj}.

Isomorfismo: En teoria de grafos un isomorfismo entre dos grafos es una biyeccion f entre
los conjuntos de sus vertices que preserva la relacion de adyacencia, es decir, cualquier
par de vertices u y v de G son adyacentes si y solo si lo son sus imagenes en el otro
grafo.

Para que dos grafos sean isomorfos deben tener en comun: El numero de vertices,
aristas, grados de los vertices, numero de ciclos de igual longitud y numero de
componentes conexas.

Grafo autocomplemetnario: Es un grafo que es isomorfo a su complementario, los grafos

autocomplemetnarios mas simples son el camino de 4 vertices y el ciclo de 5 vertices.

Lista de grados de un grafo

No siempre una secuencia numerica decreciente representa una lista de grados de un

grafo. Cuando esto ocurre se dice que la secuencia numerica e suna secuencia grafica.

Una secuencia numerica decreciente representa una lista de grados de un grafo si el

siguiente algoritmo devuelve una listas de ceros.

Algoritmo de Havel-Hakimi

1 Leer la lista decreciente

2 Mientras el primer elemento, a1, sea mayor que 0

2.1 Eliminar el elemento a1 de la lista

2.2 Restar 1 a los primeros a1 elementos de la nueva lista
2.3 Ordenar (decreciente) la nueva lista

3 Retornar la lista

Tema 2.1: Conexion en grafos

Dado dos vertices x e y:

Nombre Puede repetir Puede repetir aristas? Es cerrado? (x=y)

vertices?
camino SI SI
camino cerrado SI SI SI
recorrido SI NO
circuito SI NO SI
camino simple NO NO
ciclo NO NO SI
Si x e y estan conectados lo estan por un camino simple.

Un grafo es conexo si todos los vertices estan conectados entre s, un grafo conexo tiene
una o varias componentes conexas, para hallar dichas componenetes podemos usar dos
algoritmos; los algoritmos de busqueda en profundidad y el algoritmo de busqueda en
anchura.

Algoritmo de busqueda en profundidad DFS:

ENTRADA: grafo G=(V,A)

P01: V=; A= (vrtices y aristas del bosque recubridor)

P02: Mientras queden vrtices no visitados
P03: P={x}, siendo x V un vrtice cualquiera del grafo G
P04: Marcar x como visitado
P05: Aadir el vrtice x a V
P06: Mientras que P :
P07: x=ltimo elemento de P
P08: Si x es adyacente a algn vrtice y no visitado
P09: Aadir y al final de P
P10: Marcar y como visitado
P11: Aadir a A la arista {x,y}; aadir a V el vrtice y
P12: En caso contrario : Quitar x de P

SALIDA: Retorna el rbol T = (V,A) (subgrafos inducidos por V i , para i=1c )

Algoritmo de busqueda en anchura BFS:

ENTRADA: grafo G=(V,A) P01: V= ; A= (vrtices y aristas del bosque recubridor)

P02: Mientras queden vrtices no visitados en G

P03: Q={x}, siendo x V un vrtice no visitado del grafo G
P04: Marcar x como visitado
P05: Aadir el vrtice x a V
P06: Mientras que Q :
P07: x=primer elemento de Q
P08: Mientras que exista un vrtice no visitado y, adyacente a x
P09: Aadir y al final de Q
P10: Marcar y como visitado
P11: Aadir a A la arista {x,y}; aadir a V el vrtice y
P12: Quitar x de la cola Q

SALIDA: Retorna el rbol T = (V,A) (subgrafos inducidos por V i , para i=1c )

Nota: El arbol BFS siempre tendr menos o el mismo numero de niveles que el arbol DFS,
ya que el BFS da el camino mas corto del vertice raz a los demas vertices.
Se llama distancia entre dos vertices de un grafo simple al numero de aristas del camino
mas corto que los une.

La excentricidad de un vertice es la mayor distancia desde el vertice v al resto de vertices

del grafo.

La menor excentricidad se llama radio de un grafo y diametro de un grafo la mayor

excentricidad.

Tema 2.2: Conexin en digrafos

Semicamino: Es un camino en el grafo obtenido suprimiendo la orientacion de las aristas.

Un digrafo es debilmente conexo si es conexo el grafo sin la orientacion en las aristas, es

decir, existe para todo vertice un semicamino a los demas vertices.

Un digrafo es unilateralmente conexo si existe un camino de un vertice x y o un camino

del vertice y a x para todos los vertices x e y.

Un digrafo es fuertemente conexo si para todos los vertice existe un camino de x a y y

un camino del vertice y al x.

Para hallar las componentes conexas de los digrafos podemos usar los algoritmos
anteriormente mencionados, la DFS y la BFS, pero hay que hacerlo mediante el algoritmo
de Tarjan.

Algoritmo de Tarjan

1 Realizar busqueda en profundidad (DFS) sobre el grafo G, creando una lista L, en la

que se van aadiendo los vertices conforme se quedan sin vecions no visitados (segn se
van eliminando de la pila).

2 Obtener el grafo traspuesto Gt

3 Realizar la DFS sobre Gt, eligiendo los vertices en orden contrario al que aparecen en L.

Las componentes fuertementes conexas se obtienen como los subgrafos inducidos por
los vertices obtenidos en cada rbol.

K-Conexion en grafos

Un vertice es un vertice de corte si el nuevo grafo es disconexo o trivial.

Se llama conectividad K(G) de un grafo conexo al menor cardinal de todos sus conjuntos
de corte.

Un grafo conexo se dice que es r-conexo si k(G)>=r (Para desconectarlo es preciso

eliminar la menos r vertices).
Una arista es una arista de corte o puente si el nuevo grafo es disconexo.

Se llama conectividad lineal (G) de un grafo conexo al menor cardinal de todos sus
conjuntos de cortes.

G conexo se dice que es r-linealmente conexo si (G)>= r.

Teorema de Whitney: Sea G un grafo conexo.Si llamamos a (G) a la menor de las

valencias de sus vertices se verigica que k(G)<=(G)<=(G).

Dos caminos entre dos vertices, u y v, se dice que son disjuntos si los unicos vertices que
tienen en comun son u v.

Dos caminos entre dos vrtices, u y v, se dice que son disjuntos en aristas si no tienen
ninguna arista en comun.

Teorema de Menger

La conectividad de un grafo coincide con el mayor numero de caminos disjuntos que

existen entre cualquiera dos vertices del grafo.

La conectividad lineal de un grafo coincide con el mayor numero de caminos disjuntos en

aristas que existe entre cualquieras dos vertices del grafo.

Tema 3 Arboles

Un grafo es un arbol si es conexo y no contiene ciclos, un grafo que no contiene ciclos se

llama bosque siendo cada componente conexa un arbol.

Teorema de caracterizacion de arboles: Dado un grafo, son equivalentes las siguientes

condiciones. a) b) c) d) e)

a) T es un arbol

b) Entre dos vertices cualesquiera de T existe un unico camino simple

c) T es conexo y al eliminar una arista cualquiera del grafo se desconecta dando lugar a
dos componentes conexas, que son arboles.

d) T es conexo y n aristas es igual al n de vertices-1 (na=nv-1)

e) T no contiene ciclos y na=nv-1

Un arbol es un grafo conexo sin ciclos, con un unico camino simple entre cada dos
vertices, un grafo conexo que al eliminar cualquier arista se produce un bosque de dos
arboles, un grafo conexo y sin ciclos con nv vertices y nv-1 aristas.
Algunas propiedades:

Si aadimos una arista se genera un ciclo.

Si eliminamos otra arista del ciclo asi obtenido se obtiene otro arbol, no necesariamente
isomorfo al anterior.

Si G es un bosque con c componentes conexas entonces nv = na + c.

Si a un arbol le aadimos un vertice y una arista incidenete en l, se obtiene un nuevo

rbol.

Arboles enraizados

El nivel que tiene un grafo rbol se llama peso o altura, el primer nivel se considera nivel
0.

Arbol m-ario: Todos los vertices internos tienen m hijos.

Arbol m-ario completo todas las hojas tienen el mismo nivel.

Propiedades de los arboles m-arios:

Sea T un arbol m-ario de altura p y h hojas. Entonces se verifican las dos desigualdades
siguientes:

a) p>= log de h elevado a m b) h<= m elevado a p

Si T es un arbol m-ario con i vertices internos, su numero de vertices vienen dado por n =
mi+1.

Arboles de decision: Cada vertice interno indica una decision, las aristas que van al
siguiente nivel son llos resultados de cada decision y cada hoja es el resultado final del
proceso.

Arboles recubridores: Dado un grafo G, un arbol recubridor de G es un arbol que es un

sugrafo recubridor de G.

Teorema: Un grafo G contiene algun arbol recubridor si, y solo si, es conexo.

SI el grafo G no es conexo, no tiene algun bosque recubridor.

En la asignatura podemos hallar arboles recubridores con los algoritmos visto en el tema
2, con las busqueda en profundidad y busqueda en anchura, en este caso el arbol
recubridor puede servir para hallar la salida de laberintos.

Grafos ponderados

Arbol recubridor de peso minimo: Lo sacaremos mediante el algoritmo de Kruskal

Entrada: G un grafo conexo con n vertices de forma que cada arista lleva asociado un
peso.
P0 Ordenamos las aristas de menor a mayor peso.

P1: Vamos aadiendo los vertices y aristas con menor peso usando la lista.

P2: Mientras que el nuevo grafo no sea conexo aadimos vertices y aristas a traves de la
lista.

Salida: T arbol recubridor de peso minimo.

Camino mas corto: Sea G un grafo con n vertices, de forma que cada arista lleva asociado
un peso p(a) (llamado tambin longitud de la arista).

La longitud de un camino entre dos vertices es la suma de los pesos de cada una de las
aristas que lo componen.

Llamamos distancia entre dos vertices x,y, representandose por d(x,y) a la menor de las
longitudes de los caminos entre x e y (se llamar camino minimo).

Si x e y no estan en la misma componente conexa, no existe camino entre ellos. Se dira

que d(x,y) = .

Para hallar el camino mas corto desde un vertice fijo usaremos el algoritmo de Dijkstra.

Cada vertice v del grafo llevara asociado una etiqueta doble (L(v), u)

Al final del proceso L(v) sera la distancia del vertice fijo a v, y u sera el vertice anterior a v
en el camino minimo.

En un conjunto S se iran introduciendo los vertices a los que se les haya calculado la
distancia v0. En cada paso del proceso se aadira un elemento.

En cada paso se actualizara la etiqueta de los vertices de S=V-S.

El proceso terminara cuando en S no queden vertices o los que qeuden ya no estan en la

misma componenete que el vertice fijo v0.

ENTRADA: G = (V,A) grafo ponderado con n vrtices, y v0 un vrtice fijo.

Paso 1: Hacemos el contador i=0; S={v0 }; S= V - S; u=v0 Etiquetamos v0 con (0,-) y el

resto de vrtices con (,-); Si S=V el problema est resuelto. En caso contrario vamos al
paso 2.

Paso 2: Para cada vS, adyacente a u, reemplazamos su etiqueta por (L(u)+p(u,v),u) , si

L(u)+p(u,v)

Paso 3: u = v ; aadir el vrtice u al conjunto S Incrementar i en 1 Si i = n 1, fin. En caso

contrario, regresamos al paso 2. Si cada vrtice de S tiene la etiqueta (,-) hemos
terminado. En caso contrario sea v el vrtice de S con menor L(v). Hacemos:

SALIDA: T = (S,A) rbol de camino ms corto.

Tema 4: Planaridad

Una representacion grafica de un grafo en una superficie S se dice que es una inmersion
en S si dos aristas no se cortan en puntos que no sean vertices del grafo.

Se dice que un grafo es lpano si admite una inmersion en el plano.

Un grafo plano por lo tanto tiene caras que son inmersiones en la superficie, tiene 2 tipos
de aristas; aristas puente y aristas frontera.

Propiedades de un grafo plano

Las aristas frontera de cada cara interior o acotada forman un ciclo.

Si se elimina una arista l de un ciclo el grafo nuevo tiene una cara menos.

Si una arista forma parte de un ciclo, es frontera de dos caras.

En la frontera de cada cara hay al menos 3 aristas.

Si G tiene c caras y a aristas 3c<=2a.

Test de planaridad

Formula de Euler: Si G es un grafo plano, con c caras, a aristas y v vertices:

v+c=a+2

Formula de Euler para grafos no conexos: Si G es un grafo plano, con c caras, a aristas y
v vertices y d componentes conexas: v +c = a + d + 1

Un grafo plano se dice que es un grafo plano maximal si al aadir una arista entre dos
vertices no adyacentes cualesquiera, deja de ser plano.

Si un grafo plano es maximal y tiene al menos dos caras, las caras estan limitadas por
triangulos.

Teorema: Si g es un grafo plano maximal, con a aristas y v vertices (v>=3): a = 3v-6.

Las caras estan limitadas por triangulos y cada arista es frontera de dos caras

Colorario: Si G es plano con a aristas y v vertices: a<=3v-6

Si a> 3v-6 G no es PLANO.

Dado un grafo G se llama subdivision del grafo G al nuevo grafo G' obtenido
subdividiendo alguna arista de G.

Teorema de Kuratowski: Un grafo es plano si, y solo si, no contiene ningun subgrafo
isomorfo a K5 ni a K3,3 ni subdivisiones de ellos.
Teorema de Wagner: Un grafo es plano si, y solo si, no contiene ningun subgrafo
que se peda contraer a K5 o K3,3.

Contraer aristas es hacer que dos vertices que se unen en una arista se combinan en un
solo vertice, desapareciendo en el proceso la arista.

Grafo dual:

Dado un grafo plano G y una inmersion en el plano, definiremos el grafo dual de G

representado por G*=(V*,A*):

1) Cada cara de G se identifica con un vertice de G*

2) Cada arsita l de G da lugar a una arista de G*, entre los dos vertices identificados por
las caras que separa la arista l.

G tiene tantas aristas como G*

G* es un grafo plano

G puede ser un grafo simple y G* un multigrafo

G* contiene un lazo si, y solo si, G tiene una arista puente.

Teorema de los cuatro colores: Todo grafo plano es 4-coloreable.

Tema 5: Grafos eulerianos y grafos hamiltonianos.

Grafos eulerianos

Dado un grafo G, se llama recorrido euleriano a todo recorrido que contenga a todas las
aristas del grafo.

Dado un grafo G, se llama circuito euleriano a todo circuito que contenga a todas las
aristas del grafo, un grafo que admite dicho circuito se llama grafo euleriano.

Teorema de Euler: Un grafo G conexo es euleriano si, y solo si todos los vertices son
pares.

Algoritmo:

ENTRADA: grafo G conexo con todos los vrtices pares

P.1 C = {v}, siendo v un vrtice cualquiera de G

P.2 Mientras que en G queden aristas

P.2.1 Sea v un vrtice de C, no aislado en G
P.2.2 Sea D un ciclo empezando en v
 P.2.3 Eliminar de G las aristas de D
P.2.4 Sustituir en C el vrtice v por el ciclo D

SALIDA: C

Teorema: Un grafo conexo admite recorrido euleriano, pero no un circuito euleriano si, y
solo si, todos sus vertices son pares exceptos dos de ellos.

Algoritmo:

ENTRADA: grafo G con todos los vrtices pares excepto a y b

P.1 Aadir un vrtice x y las aristas {x,a} y {x, b}

P.2 Aplicar el algoritmo de Euler al nuevo grafo (de vrtices pares)

SALIDA: C-{x}

Teorema de Euler para digrafos: Un digrafo G debilmente conexo es euleriano si, y solo si,
todos sus vertices tienen el mismo grado de salida que de entrada.

Recorrido euleriano en digrafos: Un digrafo G debilmente conexo admite un recorrido

euleriano si, y solo si, todos sus vertices tienen el mismo grado de entrada que de salida,
excepto uno de ellos en el que el grado de salida es una unidad superior al de entrada y
otro en el que ocurre lo contrario.

Algoritmo:

ENTRADA: grafo G conexo con todos los vrtices pares

P.1 C = {v}, siendo v un vrtice cualquiera de G

P.2 Mientras que en G queden aristas

P.2.1 Sea v un vrtice de C, no aislado en G
P.2.2 Sea D un ciclo empezando en v
P.2.3 Eliminar de G las aristas de D
P.2.4 Sustituir en C el vrtice v por el ciclo D

SALIDA: C

Grafos hamiltonianos

Dado un grafo G, se llama camino hamiltoniano a todo camino simple que contenga a
todos los vertices del grafo.

Dado un grafo G, se llama ciclo hamiltoniano a todo ciclo que contenga a todos los
vertices del grafo. Un grafo que admite dicho ciclo se llama grafo hamiltoniano.

Condiciones necesarias de un grafo hamiltoniano:

Debe ser conexo, la valencia de los vertices debe ser mayor o igual a 2.
No tiene vertices de corte, al eliminar un conjunto de corte de c vertices no pueden
obtenerse mas de c componentes conexas.

Condicion suficiente de grafo hamiltoniano:

Teorema de Dirac: Si un grafo G de n vertices >= 3 verifica que la valencia de todos los
vertices mayor o igual a n/2 entonces es hamiltoniano.

Teorema de Ore: Un grafo G de n vertices >= 3 verifica que es hamiltoniano si la suma de

valencias de cada pareja de vertices no adyacentes es mayor o igual a n.

Condiciones necesarias para que un grafo tenga un camino hamiltoniano:

Debe ser conexo, no debe haber mas de dos vertices con valencia no superior a uno.

No puede tener un vertice de corte cuya eliminacion de lugar a mas de dos componentes
conexas. Al eliminar un conjunto de corte de c vertices no pueden aparecer mas de c+1
componentes conexas.

Condicion suficiente de existencia de camino hamiltoniano: Si un grafo G de n vertices >=

3 verifica que la valencia de todos los vertices es mayor o igual a (n-1)/2 entonces
admite uno camino hamiltnoniano.

Tema 6.1: Coloracion de grafos

Dado un grafo G, se llama vertice-coloracion de G a toda funcion c: V N, que verifique c(u)

c(v) si {u,v}A.

Una vertice-coloracion de un grafo efectua una particion del grafo en conjuntos

independientes de vertices.

Dado un grafo G, se llama numero cromatico de G ( (G) ) al menor nmero entero k,

de forma que existe una vrtice-coloracin de G con k colores.

Propiedades

Si el numero cromatico de un grafo es 1 el grafo es un grafo trivial.

Si G es un grafo con n vertices, 1<=( (G) )<=n.

Si G es un subgrafo de G, (G) (G) .

Si G1, G2, .,Gc son las componentes conexas del grafo G: (G) = max {(G1 ), (G2 ),
...., (Gc ) }.

El numero cromatico de un grafo n-completo es n.

El numero cromatico de un grafo ciclo es 2 si n es par o 3 si n es impar.

Problema NP-Completo: Dado un nmero natural k y un grafo G , es (G) k?

Algoritmo voraz de coloracion de vertices:

Paso 1: Ordenar los vrtices del grafo.

Paso 2: Comenzando con el primer vrtice, y de forma ordenada, asignar a cada vrtice el
primer color no asignado a sus vrtices adyacentes anteriores.

Teorema de Brooks: Sea G un grafo con grado maximo ((v) , vV ), entonces:

1) (Kn ) = 1 + = n, (C2n+1) = 1 + = 3

2) (G) , G Kn , C2n+1

Teorema: Sea G un grafo no trivial. Son equivalentes las propiedades:

Si G es bipartito si, y solo si, el numero cromatico es 2 y G no admite ciclos de longitud

impar.

Coloracion de aristas: Se llama arista-coloracion de G a toda funcion ca : A N, que

verifique ca (a) ca (a) si a,aA tienen algn vrtice en comn.

Se llama indice cromatico de G ( 1 (G) ) al menor numero entero k, de forma que

existe una arista-coloracion de G con k colores.

ALGORITMO VORAZ DE COLORACIN DE ARISTAS:

Paso 1: Ordenar las aristas del grafo.

Paso 2: Comenzando con la primera arista, y de forma ordenada, asignar a cada arista el
primer color no asignado a las aristas anteriores, incidentes con ella.

Teorema de Vizing: Sea G un grafo con grado maximo entonces ((v) , vV ),

entonces: 1 (G) 1+

Teorema: Sea G un grafo bipartito con grado maximo , entonces: 1 (G) =

Tema 6.2: Emparejamientos:

Dado un grafo bipartito, se llama emparejamiento a todo subconjunto M dentro del

conjunto de aristas A del grafo, de forma que dos aristas de M no tienen vertices en
comun.

Un emparejamiento se dice que es un emparejamiento maximo si ningun otro

emparejamiento tiene mayor cardinal.

Un emparejamiento M se dice que es un emparejamiento completo si si |M|=|X|.

Teorema de Hall: Un grafo bipartito G admite un emparejamiento completo si, y solo si,
verifica la condicion de Hall.

Se P un subconjunto del primer conjuntos de vertices X y T(P) ={ y Y | {x,y} A para

algn x P}

Condicion de Hall: |T(P)| |P| para todo P X.

Aclaracion: Para cualquier subconjunto de vertices del primer conjunto conjunto de

vertices del grafo G el numero de vertices del primer conjunto (valor absoluto de P) debe
ser menor o igual al numero de vertices del subconjunto del segundo conjunto de vertices.
(valor absoluto de T(P)).

Dado un grafo bipartito G y un emparejamiento M, el camino x0 ,y1 ,x1 ,y2 ,x2 ,...,xk-1 ,yk
se dice que es un camino aumentante en M si:

1) Los vrtices x0 e yk no estn emparejados en M

2) Las aristas {yi ,xi } estn en el emparejamiento M } Camino

3) Las aristas {xi-1 ,yi } no estn en el emparejamiento M } Alternado

Teorema: Si un emparejamiento de un grafo bipartito G no es maximo, entonces G admite

un camino aumentante en M.

Arbol de camino alternado: Siendo G=(X Y, A) un grafo bipartito M emparejamiento no

mximo xX vrtice no emparejado.

Nivel 0: el vrtice no emparejado x.

Nivel 1: vrtices adyacentes a x. Si alguno (yi ) no est emparejado, x-yi es un camino

aumentante y paramos.

Nivel 2: Si no, los vrtices del nivel 2 son los emparejados a los del nivel 1

Nivel 3: vrtices adyacentes a los del nivel 2, que no estn en niveles anteriores. Si
alguno (yi ) no est emparejado, x-...-yi es un camino aumentante y paramos.

Nivel 4: Si no, los vrtices del nivel 4 son los emparejados a los del nivel 3

...... As sucesivamente.
Algoritmo de emparejamiento:

Paso 1: Sea G=(X Y, A) un grafo bipartito y M un emparejamiento cualquiera de G.

Paso 2: Buscar un camino aumentante para M, mediante el rbol de camino alternado.

Paso 3: Si se ha hallado un camino aumentante para M, construir un nuevo

emparejamiento M cambiando el estado de las aristas del camino aumentante. Volver al
paso 2.

Paso 4: Si no se ha hallado un camino aumentante para M, es mximo. Paso 5: Si |M|=|

X|, entonces M es completo.

FIN DEL TEMARIO

Apuntes de las practicas de MD:

Un clique de un grafo no dirigido G es un subconjunto de vertices que no son mutuamente

adyacentes en G, el subgrafo inducido por los vertices del clique es un grafo completo.

Un clique es un subgrafo en el que cada vertice esta conectado a cada otro vertice del
subgrafo.

El numero de clique coincide con el mayor subgrafo completo que se puede encontrar en
el grafo, es decir, el numero clique de un grafo pueden ser menor o igual al mayor
subgrafo completo.

Al cardinal de los cliques maximos (no contenidos en un clique mayor) se le llama numero
de clique del grafo.

Dado un grafo/digrafo, un subconjunto de vertices del grafo se dice que es independiente

de vertices si no existen aristas entre ellos.

Si nos dan una vertice coloracion podemos hallar un numero de independencia mayor o
igual al numero cromatico dado.

Un conjunto de vertices de un digrafo es absorbente si cualquier vertice fuera de este

conjunto contiene al menos una arista dirigida hacia uno de los vertices del subconjunto.

Todo conjunto absorbente e independiente del grafo dirigido es el nucleo del digrafo.