Teoria de Grafos
Teoria de Grafos
Teoria de Grafos
MATEMÁTICA DISCRETA
2. Introducción a la teoría de Grafos.
2.1. Grafos, Disgrafos y Multigrafos
Los grafos pueden ser considerados diagramas o dibujos, o formalmente como un par de
conjuntos.
Un grafo G se define como un conjunto E de pares no ordenados de elementos distintos
y otro conjunto de elementos V.
El conjunto V es el conjunto de vértices del grafo, se denota por V(G).
El conjunto E es el conjunto de aristas del grafo, se denota por E(G).
G=(V, E)
V={v1, v2,..., vn}
E={vivj, vn,vm,...}
Dos vértices vi, vj son adyacentes si son los extremos de una arista, es decir, si el par de
vértices V es un elemento de E.
#V es el número de vértices.
#E es el número de aristas.
Un grafo es finito si #V es finito.
Tipos de grafos:
• Multigrafo: es un grafo con varias aristas entre dos vértices.
1
Matemática Discreta: Teoría de grafos
Isomorfismo:
Dos grafos son isomorfos, si cada par de vértices adyacentes, se corresponde con un par
de vértices adyacentes del otro.
Sean G=(V, E) y G’=(V’, E’) y sea f: V→ →V’ una biyección tal que uv ∈ E, si y solo si
f(u)f(v) ∈ E’, esta biyección se denomina isomorfismo de G a G’. Dos grafos isomorfos
pueden ser representados por figuras aparentemente diferentes.
V(G)={w, x, y, z}
E(G)={xy, xz, xw, yz, yw, wz}
V(H)={t, s, v, u}
E(H)={sv, su, st, vu, vt, tu}
f(w)=t, f(x)=s, f(y)=v, f(z)=u
Grado de un vértice:
Es el número de aristas que parten de él. El grado de un vértice se conserva por
isomorfismo. Dado un vértice u de G(V), su grado es gr(u).
Subgrafo:
Sea G=(V,E) un grafo , un subgrafo de G es cualquier grafo H=(V(H),E(H)), de modo
que V(H) está contenido en V y E(H) está contenido en E.
Un subgrafo se obtiene eliminando alguna(s) arista(s) y/o vértice(s). Si se suprime un
vértice, se suprimen todas las aristas que tienen por origen o fin dicho vértice.
G’ es un subgrafo de G, al suprimir
el vértice x y las aristas que llegan
a él.
Grafo regular:
Todos los vértices tienen el mismo grado, si dicho grado es k, el grafo se denominará
k-regular. El grafo G anterior es un grafo 3-regular. La regularidad de grafos se
conserva por isomorfismo.
Grafo completo:
Cada par de vértices son los extremos de una arista. Dos grafos completos con el mismo
número de vértices son isomorfos. Designaremos el grafo completo con n vértices por
Kn. El grafo G es K4, el grafo G’ es K3.
Podemos representar Kn, para n mayor o igual a tres, mediante los vértices de un
polígono regular Pn de n lados siendo las aristas de Kn los lados y todas las diagonales
de Pn.
• Para todo grafo G=(V, E) se verifica: #E≤ ≤½#V(#V-1).
• Si dado G=(V, E) tal que #E=½#V(#V-1) es un grafo completo.
Primer teorema de la teoría de Grafos:
p
2
Matemática Discreta: Teoría de grafos
Un camino
En un grafo G es una sucesión finita de vértices y aristas alternos, donde cada arista
tiene por extremos los vértices adyacentes.
(v0, v0v1, v1, v1v2,..., vn-1, vn-1vn, vn)
A v0 y vn se les denomina extremos del camino.
Longitud del camino
Es el número de aristas que contiene.
Camino cerrado
Los extremos coinciden, v0=vn.
En un grafo (no un multigrafo), un camino puede expresarse por la sucesión de vértices
(v0, v1,..., vn-1, vn)
Camino simple:
En la sucesión de vértices no hay ninguno repetido.
Un ciclo
Es un camino cerrado donde el primero y último vértice son el mismo (camino simple
cerrado). En un multigrafo se considera ciclo a aquellos caminos cerrados que no
repiten aristas.
Un circuito
Es un camino cerrado que no repite aristas.
Un grafo es conexo:
Si para cada par de vértices existe un camino que los conecta, en caso contrario
diremos que es desconexo.
3
Matemática Discreta: Teoría de grafos
Camino hamiltoniano:
Es un camino simple que contiene todos los vértices del grafo sin repetir ninguno.
Ciclo hamiltoniano:
Es un camino hamiltoniano cerrado.
Un grafo hamiltoniano:
Es un grafo que contiene un ciclo hamiltoniano.
• Todo grafo completo contiene un ciclo hamiltoniano.
Sea G=(V, E) un grafo tal que #V≥≥3, si G es hamiltoniano, para cada subconjunto
U de V el subgrafo de G cuyos vértices son V-U y sus aristas son todas las de G
que tienen extremos en V-U, tienen a lo más #U componentes.
• Sea G=(V, E) un grafo conexo, se llama punto de corte a un vértice v de G, de
modo que el subconjunto Gv de G con vértices V-{v} y cuyas aristas son aquellas
de E cuyos vértices están en V-{v} no es conexo.
• Se llama istmo a una arista a de G de modo que el grafo (V, E-{a}) no es conexo.
desigualdad: #E≤
• Si G=(V, E) se verifica: #E> (#V-1)(#V-2). →Grafo conexo con un componente.
4
Matemática Discreta: Teoría de grafos
(Grafo) (Digrafo)
0110 0100
1011 0010
A= 1100 B= 1000
0100 0100
• Dos grafos con la misma matriz de adyacencia, son isomorfos. Dos grafos isomorfos
pueden tener distinta matriz de adyacencia si se permutan el orden de los vértices.
Teorema:
Sea M la matriz de adyacencia de un grafo (digrafo) G con p vértices, p>1. Entonces la
entrada (i, j) de la matriz Mn=M..n..M es el número de caminos de caminos de longitud
n con extremos vi y vj (en el caso de digrafos es el número de caminos de longitud n con
origen vi y fin vj).
Sea M la matriz de adyacencia de un grafo G con p vértices, p>2.
Sea C=Mp-1+MP-2+...+M, existe un camino entre vi y vj si y solo si la entrada en el lugar
(i,j) de la matriz C es no nula, esto nos da un criterio para saber si un grafo es conexo.
Sea M la matriz de adyacencia de un grafo G con p vértices, p>2.
Sea C=Mp-1+Mp-2+...+M. El grafo G es conexo, si y solo si, todas las entradas
de C son no nulas.
Estudiaremos el grafo A.
0 1 1 0
1 0 1 1
A=
1 1 0 0
0 1 0 0
2 4 3 1 2 1 1 1 0 1 1 0 4 6 5 2
4 2 4 3 1 3 1 0 1 0 1 1 6 5 6 4
C = A3 + A2 + A = + + =
3 4 2 1 1 1 2 1 1 1 0 0 5 6 4 2
1 3 1 0 1 0 1 1 0 1 0 0 2 4 2 1
En la matriz A2 aparecen el número de caminos de longitud 2 existentes en los
vértices vi, vj, por ejemplo, existe 1 camino de longitud 2 entre los vértices v1, v3; y no
existe ningún camino de longitud 2 entre los vértices v4, v2;
Todas las entradas de la matriz C son no nulas, por lo que el grafo A es conexo.
5
Matemática Discreta: Teoría de grafos
Un árbol:
es un grafo conexo sin ciclos, es decir, 2 vértices se conectan por un único camino
simple.
subconjunto finito de los números reales positivos (y no nulos). Sean x, y dos vértices de
G. Usar este algoritmo para encontrar la distancia entre x e y:
Paso 1: Considerar la aplicación L: V R∪
∪{∞} (R es el conjunto de los números
reales), dado por L(x)=0 y L(v)=∞, para todo vértice G(V) diferente de
x. Sea T=V, la aplicación L y el conjunto T irán transformándose en el
curso del algoritmo.
Paso 2: ∈T con etiqueta L(v) mínima.
Encontrar el vértice v∈
Paso 3: Si v=y, la distancia entre x e y es L(y) y el algoritmo acaba.
Paso 4: Para todo w∈T, tal que existe una arista vw con origen en v y fin en w, si
L(w)>L(v)+d(vw) entonces se redefine el valor de L sobre w de modo
que L(w)=L(v)+d(vw).
Paso 5: Elimínese en el conjunto T el vértice v y volvemos al Paso 2.
• Para adaptar el algoritmo a grafos, basta considerar todos los digrafos que se pueden
obtener orientando las aristas del grafo dado.
2.4. Mapas y coloraciones
Un grafo o multigrafo, se dice que es plano, si admite una representación en el plano,
en el que las aristas solo se cortan en los vértices (sin cruces).
El grafo K4 es plano, pues admite representación gráfica plana.
Dos representaciones de K4 son:
6
Matemática Discreta: Teoría de grafos
Un mapa
es una representación plana (sin cruce de aristas) de un grafo plano.
• Un mapa es conexo, si el grafo que representa es conexo.
• Un mapa divide al plano en varias regiones, y su número lo representamos por #R.
Un mapa de K4 divide al plano en 4 regiones, cada región en un mapa está bordeado por
un camino cerrado en el grafo, que no siempre es un circuito.
multiplicado por 2.
• Un poliedro regular define un mapa del grafo formado por sus vértices y sus aristas.
Ejemplo:
• ≤3#V-6.
Sea G=(V, E) un grafo plano conexo, con #V>2, entonces #E≤
5 vértices y 10 aristas:
10>(3*5)-6=9 ≠ #E≤ ≤3#V-6
Entonces K5 no es plano.
#V=4, #=E=6
6=(3*4)-6=6 = #E≤ ≤3#V-6
Entonces K4 es plano.
7
Matemática Discreta: Teoría de grafos
• Sea G=(V, E) un grafo plano conexo, con #V>2 que no contiene ningún subgrafo
≤2#V-4.
isomorfo a K3, entonces #E≤
Todo grafo completo Kr, con r>2 tiene un subgrafo isomorfo con K3.
6 vértices y 9 aristas:
9>2*6-4 ≠ #E≤ ≤2#v-4.
Entonces K3,3 no es plano.
Una subdivisión elemental de un grafo G es otro grafo, donde se sustituye una arista por
un nuevo vértice unido a los extremos de la arista suprimida por dos nuevas aristas.
En un mapa se trata de añadir un vértice sobre el interior de una arista existente.
Una coloración
es una aplicación que asigna colores distintos a regiones adyacentes. Si transformamos
un grafo en un pseudomultigrafo dual resulta que la coloración asigna colores distintos a
dos vértices que están unidos por una arista.
8
Matemática Discreta: Teoría de grafos
Un grafo bipartito
es el que su mapa admite una coloración con dos colores.
• Un grafo es bipartito, si y solo si, no tiene ciclos con longitud impar.
Los únicos grafos completos planos son los Kn para n={1, 2, 3, 4}}.
9
Matemática Discreta: Teoría de grafos
10