You are on page 1of 11

TEMA 5.

- GRAFOS
5.1.- DEFINICIONES BSICAS
Un grafo G es un par (V,E) donde V es un conjunto (llamado conjunto de vrtices) y E un
subconjunto de VxV (conjunto de aristas).
Grficamente representaremos los vrtices por puntos y las aristas por l!neas "ue los unen.
Un vrtice puede tener # o ms aristas, pero toda arista debe unir exactamente $ vrtices.
%lamaremos orden de un grafo a su n&mero de vrtices, 'V'.
(i 'V' es finito se dice "ue el grafo es finito. En este curso estudiaremos los grafos finitos,
centrndonos sobre todo en grafos no dirigidos. )ambin supondremos, a no ser "ue se diga lo
contrario, "ue entre dos vrtices *ay, como muc*o, una arista y "ue toda arista une dos
vrtices distintos.
Aristas
(i la arista carece de direcci+n se denota indistintamente ,a,b- o ,b,a-, siendo a y b los
vrtices "ue une.
(i ,a,b- es una arista, a los vrtices a y b se les llama sus extremos.
Vrtices
.os vrtices v, / se dice "ue son adyacentes0 si ,v,/-1 (o sea, si existe una arista entre
ellos)
%lamaremos grado de un vrtice al n&mero de aristas de las "ue es extremo. (e dice "ue un
vrtice es 2par0 o 2impar0 seg&n lo sea su grado.
Camins
(ean x, y V, se dice "ue *ay un camino en G de x a y si existe una sucesi+n finita no vac!a
de aristas ,x,v
3
-, ,v
3
,v
$
-,..., ,v
n
,y-. En este caso
- x e y se llaman los extremos del camino
- El n&mero de aristas del camino se llama la longitud del camino.
- (i los vrtices no se repiten el camino se dice propio o simple.
- (i *ay un camino no simple entre $ vrtices, tambin *abr un camino simple entre
ellos.
- 4uando los dos extremos de un camino son iguales, el camino se llama circuito o
camino cerrado.
- %lamaremos ciclo a un circuito simple
- Un vrtice a se dice accesible desde el vrtice b si existe un camino entre ellos. )odo
vrtice es accesible respecto a si mismo
E!em"#s $e Gra%s
1.- Grafo regular5 1"uel con el mismo grado en todos los vrtices. (i ese grado es 6 lo
llamaremos k-regular.
7or ejemplo, el primero de los siguientes grafos es 89regular, el segundo es $9regular y el
tercero no es regular
2.- Grafo bipartito: Es a"uel con cuyos vrtices pueden formarse dos conjuntos disjuntos de
modo "ue no *aya adyacencias entre vrtices pertenecientes al mismo conjunto
Ejemplo.9 de los dos grafos siguientes el primero es bipartito y el segundo no lo es
3.- Grafo completo5 1"uel con una arista entre cada par de vrtices. Un grafo completo con
n vrtices se denota :
n
.
1 continuaci+n pueden verse los dibujos de :
8
, :
;
, :
<
y :
=
)odo grafo completo es regular por"ue cada vrtice tiene grado 'V'93 al estar conectado con
todos los otros vrtices.
Un grafo regular no tiene por "u ser completo.
;.9 Un grafo bipartido regular se denota :
m,n
donde m, n es el grado de cada conjunto
disjunto de vrtices.
1 continuaci+n ponemos los dibujos de &
1'(
' &
)')'
y &
('5
1.(.- *RIMEROS RES+,TADOS SOBRE GRAFOS
*r"sici-n.- %a suma de los grados de los vrtices es igual al doble del n&mero de aristas
.emostraci+n
1l reali>ar la suma de los grados de todos los vrtices, como cada arista tiene $ extremos se
cuenta exactamente $ veces. 7or tanto la suma de los grados de los vrtices es igual al doble
del n&mero de aristas
De%inici-n .matri/ $e a$0acencia $e 1n 2ra%3
(ea G un grafo de orden n. %lamaremos matri> de incidencia de G a la matri> nxn "ue
llamaremos 1 ? (a
ij
) donde a
ij
? 3 si ,i,j-1 y a
ij
? # en otro caso.
%a matri> de adyacencia siempre es simtrica por"ue a
ij
? a
ji

E!em"#4
v1 v2 v3 v4 v5
v1 0 1 1 0 0
v2 1 0 1 1 0
v3 1 1 0 1 1
v4 0 1 1 0 0
v5 0 0 1 0 0
v1
v2
v3
v4
v5
Terema.- (ea G un grafo de n vrtices con n @ 3 y sea 1 su matri> de adyacencia. (e cumple
"ue el valor del coeficiente a
ij
k
de la matri>
A
k
es igual al n&mero de caminos de longitud 6 con
extremos v
i
y v
j

.emostraci+n
7or inducci+n en 6
7ara 6 ? 3 es la definici+n de 1
(upongamos "ue es cierto para 6 y vamos a verlo para 6A3.
%a casilla (i,j) de 1
6A3
es el producto de la fila i de 1
6
por la columna j de 1, es decir, si
llamamos (a, b, c,...) a la fila i de 1
6
y (a0, b0, c0,...) a la columna j de 1, entonces la casilla (i,j)
de 1
6A3
es aa0 A bb0 A......
El n&mero de caminos de longitud 6A3 de i a j "ue pasan en &ltimo lugar por el vrtice 3
ser # si no *ay arista de 3 a j o bien coincidir con el n&mero de caminos de longitud 6 de i a
3 si existe arista de 3 a j. En resumen, como el n&mero de caminos de i a 3 es el primer
elemento de la fila i de 1
6
, y el primer elemento de la columna j de 1 vale 3 + # dependiendo
de si *ay o no arista de 3 a j, tendremos "ue el n&mero de caminos de longitud 6A3 de i a j "ue
pasan en &ltimo lugar por el vrtice 3 ser siempre aa0.
.e manera anloga el n&mero de caminos de longitud 6A3 de i a j "ue pasan en &ltimo
lugar por el vrtice $ ser siempre bb0, y as! sucesivamente.
El n&mero total de caminos de longitud 6A3 de i a j ser la suma de todos los anteriores, es
decir, aa0Abb0Acc0A...., es decir, el elemento (i,j) de la matri> 1
6A3
.
Nta.- (i existe un camino de longitud m (m n) entre $ vrtices cual"uiera, entonces
existe un camino de longitud n93 entre esos dos vrtices.
De%inici-n.- Un grafo G se dice conexo si cada par de vrtices est unido al menos por un
camino.
De%inici-n.- %a relaci+n entre vrtices dada por v est relacionado con / si *ay un camino
"ue los une es de e"uivalencia. %as clases de e"uivalencia de esta relaci+n se llaman las
componentes conexas del grafo.
Nta.- Un mtodo para comprobar si un grafo es conexo es el siguiente5
- (e *alla la matri> de adyacencia y se eleva a la n939sima potencia
- (e calcula la suma de las potencias de 1 *asta 1
n93
- (i todos sus elementos son #, el grafo es conexo.
De%inici-n.- Una arista de un grafo G se dice de separaci+n si G es conexo pero al suprimir
la arista se divide en dos componentes conexos
De%inici-n.- .ados dos grafos G?(V,E) y GB?(VB,EB), se denomina isomorfismo entre G y GB
a cual"uier aplicaci+n biyectiva f5G G0 tal "ue si a, b V, entonces ,a,b-E ,f(a),f(b)-E
B.
Es decir, es una aplicaci+n biyectiva entre los vrtices de V y los de VB de modo "ue los
vrtices conectados siguen estndolo. En este caso, diremos "ue G y GB son isomorfos.
(i G y G0 son isomorfos son matemticamente iguales y solo var!a la apariencia, o sea, "ue
se mantienen las adyacencias, estructura, caminos, ciclos, nC de vrtices, nC de aristas, etc.
5.).- GRAFOS E+,ERIANOS 6 7AMI,TONIANOS
Gra%s e1#erians
%lamaremos camino euleriano a un camino "ue contiene a todas las aristas del grafo,
apareciendo cada una exactamente una ve>.
Un ciclo euleriano es un camino euleriano "ue comien>a y acaba en el mismo vrtice.
De%inici-n.- Un grafo "ue admite un ciclo euleriano diremos "ue es un grafo euleriano.
E!em"#4
3)
$) (i un grafo es isomorfo a un solo ciclo, siempre tiene ciclo euleriano
*r"sici-n.- (i un grafo est formado por dos subgrafos eulerianos unidos al menos por
un vrtice y sin aristas en com&n, entonces es euleriano
.emostraci+n
Empe>amos por uno de los vrtices en com&n, v. 7artiendo de l podemos recorrer el primer
subgrafo con un ciclo euleriano, volviendo al vrtice de partida.
1*ora recorremos el segundo subgrafo con su ciclo euleriano. %a uni+n de estos dos ciclos
vuelve a ser un ciclo "ue recorre todas las aristas exactamente una ve>, por tanto es un ciclo
euleriano de todo el grafo.
Nta.- %o mismo ocurre con una uni+n finita en las condiciones anteriores
Terema.- Un grafo conexo G?(V,1) es euleriano todo vrtice tiene grado par.
.emostraci+n5
DD (por inducci+n en '1'?m)
El menor n&mero posible de aristas es 8. En este caso el grafo es un tringulo "ue es
euleriano.
(uponemos "ue el teorema es cierto para grados en las mismas condiciones y con menos de
m aristas. )enemos un grafo G con todos los vrtices de grado par, dado "ue G es conexo v
V, gr(v) @ #. Empie>o por un vrtice v cual"uiera y voy recorriendo el grafo mientras pueda,
con la condici+n de no repetir nunca arista.
(i llego a un vrtice / "ue no sea el del principio, puede pasar "ue no *aya pasado antes
por l o "ue no sea la primera ve> "ue pase por /.
En el primer caso, la &nica arista elegida es la "ue *aya usado a*ora para llegar a /
En el segundo caso, cada ve> "ue *aya pasado antes por / *abr escogido dos aristas (una
para llegar y otra para salir) y, finalmente, *abr escogido una ms para llegar esta &ltima ve>
a /.
En cual"uiera de los dos casos, *e cogido un n&mero impar de aristas en /. 4omo / tiene
grado par, tiene "ue *aber alguna "ue no *aya cogido todav!a. En consecuencia, puedo seguir
recorriendo el grafo.
4omo el n&mero de aristas es finito, llegar un momento en "ue tenga "ue pararme, es
decir, llegar un momento en "ue al llegar a un vrtice no pueda seguir por"ue ya *aya
elegido todas las aristas "ue *ab!a en ese vrtice. 7or lo "ue *emos dic*o antes, en ese
momento debo estar de vuelta en el vrtice v y *emos construido un ciclo.
4onsideremos el subgrafo formado por el ciclo anterior "ue es claramente euleriano.
(i ese subgrafo tiene todas las aristas del grafo, el grafo original coincide con el subgrafo,
por lo "ue G es euleriano.
En otro caso, consideremos el subgrafo formado por las aristas "ue no *ayamos elegido.
Este subgrafo tiene un n&mero menor de aristas "ue G. 1dems, el grado de los vrtices *a de
seguir siendo par. En efecto, el grado de los vrtices ser el grado original ("ue era par), menos
las aristas "ue *ayamos "uitado. 7ero, como lo "ue *emos "uitado es un ciclo, el n&mero de
aristas "ue "uitamos en cada vrtice es un n&mero par (igual a dos veces el n&mero de
ocasiones en "ue el ciclo pase por ese vrtice). En consecuencia, el grado de cada vrtices es
a*ora par 9 par ? par. .escomponiendo en componentes conexas, tendremos a*ora una uni+n
disjunta de grafos "ue, por el principio de inducci+n, deben de ser eulerianos.
1*ora bien, la uni+n de estos grafos es G "ue era conexo, as! "ue deben tener vrtices en

El primero no tiene ciclos ni caminos
euleriano,
El segundo tiene ciclo euleriano

com&n. 7ero ya vimos "ue la uni+n de grafos eulerianos sin aristas en com&n y unidos por
vrtices es euleriano.
DE 4omo todas las aristas estn una ve> y s+lo una en el ciclo, el grado de un vrtice es el
n&mero de aristas del ciclo "ue pasan por l. (i recorremos el ciclo, cada ve> "ue pasamos por
un vrtice tendremos dos aristas (una de llegada y otra de salida). 7or tanto el grado de cada
vrtice ser dos veces el n&mero de ocasiones "ue pase por l el ciclo euleriano. En
consecuencia el grado es par
*r"sici-n.- Un grafo conexo tiene un camino abierto euleriano tiene exactamente dos
vrtices de grado impar.
.emostraci+n
DE 1Fadimos un nuevo vrtice junto con dos aristas "ue lo unan a los dos vrtices "ue
ten!an grado impar. 1*ora estos vrtices, al *aberles aFadido una arista a cada uno, tienen
grado par y el nuevo vrtice tiene grado $, por tanto, todos los vrtices son de grado par. 7or el
teorema anterior, tendremos un ciclo euleriano. (i en dic*o ciclo "uitamos a*ora el vrtice y
las dos aristas "ue *ab!amos aFadido, obtendremos un camino abierto "ue contiene
exactamente una ve> a cada arista de nuestro grafo original.
DE %a demostraci+n es similar a la del teorema de Euler.
A#2ritm $e F#e1r0
(i G es un grafo euleriano siempre es posible seguir la siguiente construcci+n de un circuito
euleriano. (e empie>a por un vrtice arbitrario y se recorren las aristas arbitrariamente
sometida a dos condiciones5
3) (e borran las aristas a medida "ue son atravesadas
$) (olo se recorre una arista de separaci+n si no "ueda otra alternativa
Camins 8ami#tnians
Un camino hamiltoniano es un camino "ue recorre todos los vrtices de un grafo sin pasar
dos veces por el mismo vrtice. (i el camino es cerrado se dice un ciclo *amiltoniano
Un grafo G se dice hamiltoniano si tiene un ciclo *amiltoniano.
Nta.- 1 diferencia de los grafos eulerianos, no *ay una caracteri>aci+n de cuando un grafo
tiene un ciclo o un camino *amiltoniano
Terema.- (i un grafo es conexo con 'V' 8 y para cada par de vrtices la suma de sus
grados es mayor o igual "ue el n&mero de vrtices entonces es *amiltoniano.
*r9#ema $e# :en$e$r am91#ante
En un grafo G con pesos se pretende encontrar un ciclo "ue pase por todos los vrtices de
forma "ue la suma de los pesos de las aristas escogidas para formar el ciclo sea lo menor
posible.
4.4.- RBOLES
De%inici-n.- Un grafo se dice un rbol si es conexo y no tiene ciclos.
E!em"#s4 %os dos grafos siguientes grafos son rboles5
Gientras "ue el siguiente no lo es
Nta.- 7or tanto, un grafo es un rbol entre cada par de vrtices existe un camino y s+lo
uno.
De%inici-n.- Un grafo se dice un bos"ue si sus componentes conexas son rboles.
Terema.- (ea G(V,E) un grafo. (on e"uivalentes
a) G es un rbol
b) 4ada par de vrtices distintos de V esta conectado por un &nico camino.
c) G es conexo y toda arista de G es de separaci+n
d) G no tiene ciclos y 'V' ? 'E' A 3
e) G es conexo y 'V' ? 'E' A 3
f) G no tiene ciclos pero al aFadirle una arista a G se crea un &nico circuito
.emostraci+n
DabE 7or definici+n de rbol, G es conexo y entre cada par de vrtices debe *aber, al
menos, un camino. (i *ubiese dos caminos distintos uniendo dos vrtices, su uni+n formar!a un
ciclo, pero los rboles no tienen ciclos
DbcE Es conexo por"ue cada par de vrtices est conectado por un camino. Una arista es
un camino entre dos vrtices, por tanto es el &nico. (i "uito esa arista, ya no *ay caminos entre
los vrtices "ue un!a y el grafo deja de ser conexo. 7or tanto toda arista es de separaci+n.
DcdE G no puede tener ciclos por"ue las aristas de los ciclos no son de separaci+n
Veamos "ue 'V'?'E'A3 por inducci+n en 'V'
7ara 'V'?3 *ay un &nico vrtice v '1' ? # y 'V' ? '1' A 3
(upongamos "ue el teorema es cierto para grafos con menos de n aristas y vamos a verlo
si n ? '1'.
Huito una arista e, "ue ser de separaci+n, y el grafo se parte en dos componentes conexas
G
3
? (V
3
, E
3
) con 'V
3
' I n y G
$
? (V
$
, E
$
) con 'V
$
' I n.
7or la *ipotesis de inducci+n 'V
3
' ? 'E
3
' A 3, 'V
$
' ? 'E
$
' A 3, luego 'V' ? 'V
3
' A 'V
$
' ? ('E
3
' A
A'E
$
' A 3) A 3 ? 'E' A 3
DdeE Veamos "ue G es conexo. (i no lo fuera, lo parto en componentes conexas, G
3
,..., G
m
.
4ada una de ellas es conexa y sin ciclos, por lo "ue 'V3' ? 'E3' A 3, ..., 'Vm' ? 'Em' A 3. 7ero
entonces 'V' ? 'V
3
' A...A 'V
m
' ? 'E
3
' A 3 A.....A 'E
m
' A 3 ? 'E' A m en ve> de ser 'E'A3.
DefE (uponemos "ue existe un ciclo (con 6 aristas y 6 vrtices) y vamos a llegar a una
contradicci+n. 7ueden suceder $ casos
3) 6 ? n, 'E' 6 ? n, n ? 'V' pero por la *ip+tesis 'V' ? 'E' A 3 luego 'V' @ 'E'
$) los n 9 6 vrtices restantes necesitan al menos otras n 9 6 aristas "ue les unan con los
dems para "ue G sea conexo, pero entonces 'E' 6 A (n 9 6) ? n ? 'V' pero por *ip+tesis 'V'
? 'E' A 3
DfaE (i G no fuese conexo, *abr!a dos vrtices entre los "ue no *abr!a ning&n camino.
Entonces al aFadir una arista entre ellos no formar!amos ning&n ciclo
De%inici-n.- (ea G un grafo, un rbol generador de G es un subgrafo conexo de G "ue tiene
los mismos vrtices "ue G y no tiene circuitos
Nta.- Un rbol generador se puede crear de $ modos5
3) (uprimir aristas "ue no sean de separaci+n
$) 7artiendo de los vrtices coger a"uellas aristas de forma "ue no creemos ning&n
circuito
(upongamos "ue a cada arista se le asocia un n&mero positivo (su peso). Un rbol
generador se dice de peso m!nimo si la suma de los pesos de las aristas "ue lo componen es lo
menor posible
7ara calcular el rbol de peso mnimo existen $ algoritmos5
- :rus6al5 (e van cogiendo las aristas de menor peso *asta conseguir un rbol de peso
m!nimo
- 7rim5 4onsiste en ir borrando las aristas de mayor peso posible y "ue no sean aristas
de separaci+n.
7uede *aber ms de un rbol generador de peso m!nimo, pero todos deben tener el mismo
peso.
De%inici-n.- Un rbol con ra!> es un rbol con un vrtice distinguido llamado ra!>.
(i le "uitan la ra!> "uedan rboles con ra!> )
3
,)
$
,...
En este tipo de rbol los vrtices se llaman nodos. (e llama *ijo de un nodo al vrtice
adyacente "ue esta ms alejado de la ra!> "ue el nodo del "ue es *ijo. %os nodos sin *ijos se
llaman *ojas.
Un rbol se dice n9ario cuando todos los nodos excepto los terminales tienen a lo sumo n
*ijos.
De%inici-n.- (e llama nivel de un vrtice al n&mero de aristas "ue le separan de la ra!>. %a
ra!> tiene nivel #.
(e llama altura de un rbol al mximo nivel de sus vrtices.
5.5.- GRAFOS *,ANOS
De%inici-n.- Un grafo se dice plano si admite una representaci+n grfica en el plano de
modo "ue dos aristas pueden cortarse &nicamente en un vrtice.
Una representaci+n grfica de este tipo se llama un mapa.
.ecimos "ue un mapa es conexo si representa a un grafo conexo.
Un mapa divide al plano en varias partes llamadas regiones. 4ada regi+n de un mapa G est
delimitada por un ciclo si el mapa es conexo. )ambin se cuenta como regi+n la exterior a la
figura.
E!em"#4
De%inici-n.- (e llama grado de una regi+n a la longitud del camino "ue la bordea.
.os regiones de un mapa se consideran adyacentes si el circuito "ue las bordea tiene
alguna arista en com&n.
Terema.- %a suma de los grados de las regiones de un mapa es igual al doble del n&mero
de aristas del grafo al "ue representa.
.emostraci+n
)oda arista es frontera simple de $ regiones o doble de la misma regi+n, con lo "ue cada una
se cuenta doble.
Ejemplo de frontera doble5
De%inici-n.- %lamaremos pseudomultigrafo dual de un mapa G, a a"uel "ue se construye
asociando un vrtice a cada regi+n de G y si una arista es frontera com&n de dos regiones,
aFadimos en el dual una arista uniendo los vrtices correspondientes a esas regiones.
4omo dos regiones pueden tener ms de una arista como frontera com&n, nos vemos
obligados a permitir "ue *aya ms de una arista entre dos vrtices. 1s! mismo, puede *aber
aristas "ue empiecen y terminen en el mismo vrtice.
Terema.- )odo mapa conexo verifica
nC regiones A nC vrtices J nC aristas ? $
.emostraci+n5
(ea G un mapa conexo. 7or inducci+n en 'E'5
a) (i 'E'?# 4omo es conexo, *a de ser 'V'?3, 'K'?3. 4on lo "ue claramente se
verifica la f+rmula de Euler.
b) (upongamos "ue 'E'? m 3
(e dan dos casos
1) (i el mapa tiene alg&n ciclo. 4onsideremos el subgrafo GL resultante de
suprimir una arista perteneciente a un circuito. GL seguira siendo conexo
por"ue la arista pertenec!a a un circuito y el n&mero de regiones disminuye
en una unidad por"ue las aristas pertenecientes a un ciclo siempre son
fronteras de dos regiones distintas. 7or la *ip+tesis de inducci+n, para GL
tenemos "ue ( ) ( ) 2 1 E V 1 R = + , luego
2 E V R = +
2) (i el grafo no tiene ning&n ciclo (es decir, si es un rbol). En este caso 'K'?3.
Ejemplo:

Grafo plano Mapa del grafo plano
4
1 2
3
Usando la relaci+n entre el n&mero de vrtices y de aristas de un rbol,
tendremos
2 E V R = +
De%inici-n.- Una subdi!isi"n elemental de un grafo G es el grafo GL obtenido colocando un
vrtice en medio de una arista de G.
Una subdi!isi"n de un grafo G es un grafo obtenido efectuando un n&mero finito de
subdivisiones elementales sucesivas.
Terema . $e &1rat;s<i3
Un grafo G es plano no contiene ning&n subgrafo isomorfo a una subdivisi+n de :
<
o :
8,8
.
.emostraci+n5
.emasiado complicada para este nivel.
5.=.- CO,ORACIONES DE GRAFOS
De%inici-n.- (ea G ? (V,E) un grafo y 4 ? ,3,$,..6- un conjunto de 6 colores. Una coloraci+n
con 6 colores del grafo G es una aplicaci+n de f 5 V 4 de modo "ue si los vrtices u, !, son
adyacentes entonces f(u) f(v).
(e llama n&mero cromtico del grafo G al menor 6 tal "ue G puede colorearse con 6 colores
Terema .$e #s 5 c#res3.- El n&mero cromtico de un grafo plano es siempre menor o
igual "ue ;.
De%inici-n.- Un grafo G se dice "ue es bipartido si se puede colorear con $ colores
Terema.- Un grafo es bipartito no tiene circuitos de longitud impar.
.emostraci+n
DE (i G es bipartito, los vrtices de cada circuito deben ir alternando de un color a otro.
7ara "ue el color del primer y &ltimo vrtice del circuito no coincidan, el n&mero de aristas del
circuito debe ser par.
DE 7odemos suponer "ue el grafo es conexo.
Elijo un vrtice cual"uiera v y, dado otro vrtice distinto, *abr siempre al menos un camino
"ue lo una a v.
1dems, si *ay ms de un camino, cada dos de ellos formarn un ciclo "ue *abr de ser de
longitud par. 7or tanto, los dos caminos sern simultneamente de longitud par o impar. 7or
tanto no *ay problema en asociar el primer color a a"uellos vrtices "ue estn unidos a v por
caminos de longitud impar y dar el segundo color a los dems.
(i *ay una arista entre dos vrtices, u J /, cual"uier camino de v a u se contin&a *asta / al
aFadir esta arista. 7or tanto, si los caminos de v a u eran de longitud par, los de v a / sern de
longitud impar (as! mismo, si los caminos a u son de longitud impar, los caminos a / sern de
longitud par). 7or tanto la arista une siempre vrtices de distinto color.
De%inici-n.- (ea G un grafo bipartido, donde los vrtices se descomponen en V
3
y V
$
seg&n
su color y siendo el n&mero de vrtices en V
$
mayor o igual "ue el de V
3
. Un emparejamiento
en G es elegir para cada vrtice de V
3
otro de V
$
tal "ue
1) 4ada vrtice de V
3
est unido por una arista con el correspondiente vrtice de V
$
2) 1 dos vrtices de V
3
distintos les corresponden vrtices distintos de V
$
Cn$ici-n $e $i:ersi$a$.- El grafo G cumple la condici+n de diversidad si, para cual"uier
6 menor o igual "ue el n&mero de vrtices de V
3
, y cual"uier subconjunto de 6 vrtices de V
3
,
*ay al menos 6 vrtices de V
$
unidos a ellos.
Terema.- En un grafo bipartido *ay un emparejamiento si y s+lo si se da la condici+n de
diversidad
.emostraci+n
DE Es obvio, ya "ue dados 6 vrtices de V
3
estn unidos, al menos, a los
correspondientes 6 vrtices de V "ue proporciona el emparejamiento
DE 7or inducci+n en n ? n&mero de vrtices de V
3

7ara n ? 3 es inmediato
(upongamos "ue es cierto para grafos en "ue V
3
tiene menos de n vrtices y vamos a
verlo para n. 7ueden darse dos casos
4aso3.9 May un n&mero 6 I n tal "ue *ay 6 vrtices de V
3
unidos exactamente a 6
vrtices de V
$
.
En este caso partimos el grafo en dos, G
3
y G
$
. En el primero ponemos los 6 vrtices de
V
3
con los correspondientes 6 vrtices de V
$
y en el segundo ponemos los dems vrtices.
Veamos "ue se da la condici+n de diversidad en los nuevos grafos por lo "ue, dado "ue
en ellos el primer subconjunto de vrtices tiene menos de n vrtices (tendrn 6 y n96,
respectivamente), la *ip+tesis de inducci+n nos asegurar!a "ue pod!amos *acer
emparejamientos en ellos y, por tanto, en todo el grafo G.
En el primer subgrafo, dado un n&mero r I 6, en el grafo inicial *ab!a r vrtices de V
$
unidos a ellos, pero *emos escogido todos los posibles vrtices de V
$
unidos a los 6 vrtices de
V
3
, por tanto tambin estarn en el grafo G
3
y en G
3
se da la condici+n de diversidad.
4ojamos a*ora r vrtices de V
3
"ue estn en G
$
. Nunto con los 6 "ue puse en G
3
tendr 6
A r vrtices de V
3
"ue, en G, deb!an estar unidos a 6 A r vrtices de V
$
. 4omo *e "uitado 6
vrtices de V
$
"ue puse en G
3
, en G
$
me "uedan r vrtices de V
$
unidos a mis 6 A r vrtices. Oo
pueden estar unidos a los de G
3
, por lo "ue deben estar unidos a los r vrtices de G
3
y, una ve>
ms, se da la condici+n de diversidad.
4aso $.9 7ara cual"uier 6 y cual"uier subconjunto de 6 vrtices de V
3
*ay al menos 6A3
vrtices de V
$
unidos a ellos.
Elijo un primer vrtice de V
3
y lo emparejo con otro cual"uiera de V
$
unido a l. %os "uito
y me "ueda un grafo G0 con n93 vrtices en V
3
. )odo se reduce a*ora a ver "ue en G0 tambin
se da la condici+n de diversidad y aplicar la *ip+tesis de inducci+n.
4ojo 6 vrtices de V
3
"ue estaban unidos al menos a 6 A 3 vrtices de V
$
. 4omo en G0 *e
"uitado un vrtice de V
$
, a&n deben estar unidos al menos a 6 vrtices de los "ue "uedan. 7or
tanto, en el grafo G0 se sigue dando la condici+n de diversidad y, por la *ip+tesis de inducci+n,
se puede *acer un emparejamiento. .ic*o emparejamiento, junto con la primera elecci+n de
emparejar un vrtice de V
3
con otro de V
$
, dan el emparejamiento global de G.