Camino o trayectoria es el recorrido desde un V0 (vértice inicial) a Vn (vértice destino) de longitud n, es una sucesión alternante de n + 1 vértices y n aristas que comienza en elvértice V0 y termina en el Vn . Formalmente significa: comience en el vértice v0; recorra la arista e1 hasta v1; siga por la arista e2 hasta v2, y así sucesivamente.
(v_0', e_1', v_1', e_2', v_2',…. v_{n - 1}, e_n, v_n)
Donde la arista e_i es incidente sobre los vértices v_{i - 1} y v_i para i = 1, … n.
Ejemplo:
Construyamos un camino en G desde el vértice 1 hasta el vértice 2 de longitud4.
Camino o trayectoria de G: (1, e_1, 2, e_2, 3, e_3, 4, e_4, 2)
Además, el mismo camino se puede representar así: (1, 2, 3, 4, 2)
En caso de que no se repita ningún vértice entonces recibe elnombre de camino simple, por ejemplo: (1, 2, 3,4) y (7, 6, 5,2)
IMPORTANTE
Sean v y w vértices en un grafo G.
* Un camino simple o trayectoria de v a w es una ruta de v a w sin vérticesrepetidos.
* Un ciclo (o circuito) es un camino de longitud diferente de cero de v a v sin aristas repetidas.
* Un ciclo simple es un ciclo de v a v en el que no hay vértices repetidos, exceptopor el inicio y el fin que son iguales a v.
Tomando como referencia la grafica anterior, vamos a determinar si tiene caminos simples, ciclo y ciclo simple.
conecxa
una grafica es conexa si dados cualquiera dos vertices existe una trayectoria.
Representación de los grafos
Representación por incidencia
Lista de incidencia
El grafo está representado por un arreglo de aristas, identificadas por un de pares de vértices, que son los que conecta esa arista.
Matriz de incidencia
El grafo está representado por una matriz de A (aristas) por V (vértices), donde [arista, vértice] contiene la información de la arista (conectado o no conectado).
Representación por adyacencia
Listas de adyacencia
El grafo está representado por un arreglo de listas de adyacencia. Para un vértice i, la lista de adyacencia está formada por todos los vértices adyacentes a i. Puede construirse en tiempo lineal, y las inserciones pueden hacerse al principio de cada lista, con lo que se asegura tiempo constante.
Matriz de adyacencia
Una matriz de adyacencia es una matriz M de dimensión n*n, en donde n es el número de vértices que almacena valores booleanos, donde M[i,j] es verdadero (o contiene un peso) si y solo si existe un arco que vaya del vértice i al vértice j. La inicialización llevaría un tiempo del O ( #(V2)).
Representación Grafica
Un grafo se representa mediante un diagrama en el cual a cada vértice le corresponde un punto y si dos vértices son adyacentes se unen sus puntos
correspondientes mediante una línea, ejemplo:

ISOMORFISMO DE GRAFOS
Definición:
Dos grafos G1 y G2 son isomorfos si existe una función biyectiva f entre los vértices de G1 y G2, y una función biyectiva g entre lados de G1 y G2 tales que un lado e es incidente a v y w en G1 si solo si el lado g(e) es incidente a los vértices f (v) y f (w) en G2. Al par de funciones f y g se le denomina isomorfismo.
Ejemplo:
Sean los siguientes grafos G1 y G2
Dos grafos G1 y G2 son isomorfos si existe una función biyectiva f entre los vértices de G1 y G2, y una función biyectiva g entre lados de G1 y G2 tales que un lado e es incidente a v y w en G1 si solo si el lado g(e) es incidente a los vértices f (v) y f (w) en G2. Al par de funciones f y g se le denomina isomorfismo.
Ejemplo:
Sean los siguientes grafos G1 y G2

Un isomorfismo para los grafos anteriores G1 y G2 esta definido por:f (a) = A
f (b) = B
f (c) = C
f (d) = D
f (e) = E
f (b) = B
f (c) = C
f (d) = D
f (e) = E
y g(Xi) = Yi, i = 1, ... , 5
Los grafos G1 y G2 son isomorfos si y solo si para alguna ordenación de vértices y lados sus matrices de incidencia son iguales. Veamos las matrices de incidencia de los grafos anteriores:

GRAFOS APLANABLES
Este tipo de grafos, además de aparecer con mucha frecuencia también cuentan con muchas propiedades interesante. Se analizarán algunas de las más importantes.
Definición:
Diremos que un grafo es aplanable si puede ser dibujado sobre un plano de tal manera tal que ninguna arista se cruce con otra excepto, desde luego, en los vértices comunes. El siguiente es un grafo aplanable:
Diremos que un grafo es aplanable si puede ser dibujado sobre un plano de tal manera tal que ninguna arista se cruce con otra excepto, desde luego, en los vértices comunes. El siguiente es un grafo aplanable:


Ejemplo:
La siguiente figura es un grafo no aplanable que a decir verdad corresponde al problema de determinar si es posible conectar las casas 1, 2, 3 a los servicios de Luz, Agua y Drenaje, de tal manera que no haya 2 líneas de conexión que se crucen una con la otra.
La siguiente figura es un grafo no aplanable que a decir verdad corresponde al problema de determinar si es posible conectar las casas 1, 2, 3 a los servicios de Luz, Agua y Drenaje, de tal manera que no haya 2 líneas de conexión que se crucen una con la otra.

Definición:
Una región (o cara) de un grafo aplanable se define como una área del plano que está acotada por aristas y no pude continuar dividiéndose subáreas.
Una región (o cara) de un grafo aplanable se define como una área del plano que está acotada por aristas y no pude continuar dividiéndose subáreas.
Ejemplo:
El siguiente grafo tiene 5 regiones que son:
El siguiente grafo tiene 5 regiones que son:

Definición:
Diremos que una región es infinita si su área es infinita y se dice que es finita, si su área es finita. En un grafo aplanable se tienen exactamente una región infinita.
Tenemos el siguiente resultado:
v
e + r = 2
donde v, e y r son el numero de vértices, aristas y regiones respectivamente. Esta ecuación se conoce como la Formula de Euler para grafos aplanables. Sin excepción alguna todos los grafos aplanables conexos deben satisfacer la formula de Euler.
En cualquier grafo aplanable lineal conexo que no tenga lazos y que tenga 2 o mas aristas se cumple la siguiente desigualdad:
En cualquier grafo aplanable lineal conexo que no tenga lazos y que tenga 2 o mas aristas se cumple la siguiente desigualdad:
e
3v
6
Debido a que el grafo es lineal cada región es acotada por 3 o más aristas por lo tanto el número es mayor o igual que 3r. en la frontera a lo largo de 2 regiones, el numero total es igual o menor a 2e así tenemos:
| 2e | ó | ![]() |
De acuerdo a la fórmula de Euler, tenemos que:
![]() | ó | 3v - 6 |
Es evidente que la planaridad de un grafo no se ve afectada si una arista es dividida en dos arista por la inserción de un vértice de grado 2 como i) o si 2 aristas se combinan en una sola arista al eliminar este vértice como en ii)
![]() | |
i)
|
ii)
|
Definición:
Dos grafos G1 y G2 son isomorfos bajo vértices de grado 2, si son isomorfos ó si pueden transformarse en grafos isomorfos mediante repeticiones de inserciones y/o eliminaciones de vértices de grado 2 como en i) y i i).
Ejemplo:
Los siguientes grafos son isomorfos bajo vértices de grado 2.

Teorema de Kuratoswki
Un grafo es aplanable si y solo si no contiene cualquier subgrafo que sea isomorfo bajo vértices de grado 2 a cualquier de los siguientes grafos, que son llamados de Kuratowski

















No hay comentarios:
Publicar un comentario