Definicin de Grafo

Un grafo es un conjunto de objetos llamados vrtices o nodos unidos por

enlaces llamados aristas o arcos, que permiten representar relaciones binarias
entre elementos de un conjunto. Son objeto de estudio de la teora de grafos. Un
grafo se representa grficamente como un conjunto de puntos (vrtices o nodos)
unidos por lneas (aristas). Desde un punto de vista prctico, los grafos permiten
estudiar las interrelaciones entre unidades que interactan unas con otras. Por
ejemplo, una red de computadoras puede representarse y estudiarse mediante un
grafo, en el cual los vrtices representan terminales y las aristas representan
conexiones (las cuales, a su vez, pueden ser cables o conexiones inalmbricas).

Representacin Grafica
Existen diferentes formas de representar un grafo (simple), adems de la
geomtrica y muchos mtodos para almacenarlos en una computadora. La
estructura de datos usada depende de las caractersticas del grafo y el algoritmo
usado para manipularlo. Entre las estructuras ms sencillas y usadas se
encuentran las listas y las matrices, aunque frecuentemente se usa una
combinacin de ambas. Las listas son preferidas en grafos dispersos porque
tienen un eficiente uso de la memoria. Por otro lado, las matrices proveen acceso
rpido, pero pueden consumir grandes cantidades de memoria.

Representacin Matricial

Matriz de adyacencia: El grafo est representado por una matriz cuadrada

M de tamao

, donde

es el nmero de vrtices. Si hay una arista entre

un vrtice x y un vrtice y, entonces el elemento

es 1, de lo contrario,

es 0.

Matriz de incidencia: El grafo est representado por una matriz de A

(aristas) por V (vrtices), donde [vrtice, arista] contiene la informacin de la
arista (1 - conectado, 0 - no conectado)

Grafo G(V,A)

Conjuntos:

V = {1, 2, 3, 4, 5, 6}

A = {{1,1}, {1,2}, {1,5},

{2,3}, {2,5}, {3,4},
{4,5}, {4,6}}

Matriz de adyacencia:

Matriz de incidencia

 Secuencia de grados :

(4,3,3,3,2,1)
Lista de Adyacencia

{{1, 2,5}, {3,5}, {4}, {5,6}}

Caminos
Sea G = (V, E) un grafo no dirigido. Un camino entre los nodos u y v es una
secuencia e1 e2 en tal que existen nodos x0, x1, x2,. . ., en que satisfacen lo
siguiente:

x0 = u y en = v, y para cada 1 i n, e = (xi -1, xi).

Circuitos

Circuito Euleriano:

Sea G un grafo. Un circuito de G se dice que es euleriano si es simple y

pasa a traves de cada arco de G.

Circuito Hamiltoniano

Sea G un grafo. Un circuito de G se dice que es hamiltoniano si es

simple y pasa por cada nodo de G exactamente una vez. Igualmente,
definimos camino hamiltoniano.

Conectividad

La definicin es analoga a la de grafos no dirigidos, pero tomando o a en

cuenta la direccin. O Dado grafo dirigido G = (V, E), el grafo no dirigido
subyacente G de G se obtiene desde G computando la clausura simtrica de E. e
Las definiciones de conectividad depende de si consideramos o no la direccipn de
los arcos: Un grafo dirigido es fuertemente conexo, si para todo par de vertices v, v
existe un camino dirigido de v a v y viceversa. Es Un grafo dirigido es dbilmente
conexo, si para todo par de e vrtices v, v existe un camino entre v y v en el grafo
no he dirigido subyacente.

Ruta Critica de Grafos

Isomorfismo de grafos
En teora de grafos, un isomorfismo entre dos grafos G y H es una biyeccin f
entre los conjuntos de sus vrtices
que preserva la relacin
de adyacencia. Es decir, cualquier par de vrtices u y v de G son adyacentes si y
solo si lo son sus imgenes, f(u) y f(v), en H.
A pesar de su diferente aspecto, los dos grafos que se muestran a continuacin
son isomorfos:

Grafo G

Grafo H

Un isomorfismo entre G y H

Grafos conexos

Un grafo es conexo si cada par de vrtices est conectado por un camino;

es decir, si para cualquier par de vrtices (a, b), existe al menos un camino posible
desde a hacia b.
Un grafo es doblemente conexo si cada par de vrtices est conectado por
al menos dos caminos disjuntos; es decir, es conexo y no existe un vrtice tal que
al sacarlo el grafo resultante sea disconexo.
Es posible determinar si un grafo es conexo usando un algoritmo Bsqueda
en anchura (BFS) o Bsqueda en profundidad (DFS).
En trminos matemticos la propiedad de un grafo de ser (fuertemente)
conexo permite establecer con base en l una relacin de equivalencia para sus
vrtices, la cual lleva a una particin de stos en "componentes (fuertemente)
conexas", es decir, porciones del grafo, que son (fuertemente) conexas cuando se
consideran como grafos aislados. Esta propiedad es importante para muchas
demostraciones en teora de grafos.

Grafos planos
Cuando un grafo o multgrafo se puede dibujar en un plano sin que dos
segmentos se corten, se dice que es plano.

Un juego muy conocido es el siguiente: Se dibujan tres casas y tres pozos.

Todos los vecinos de las casas tienen el derecho de utilizar los tres pozos. Como
no se llevan bien en absoluto, no quieren cruzarse jams. Es posible trazar los
nueve caminos que juntan las tres casas con los tres pozos sin que haya cruces?
Cualquier disposicin de las casas, los pozos y los caminos implica la
presencia de al menos un cruce.
Sea Kn el grafo completo con n vrtices, Kn, p es el grafo bipartito de n y p
vrtices.
El juego anterior equivale a descubrir si el grafo bipartito completo K3,3 es
plano, es decir, si se puede dibujar en un plano sin que haya cruces, siendo la
respuesta que no. En general, puede determinarse que un grafo no es plano, si en
su diseo puede encontrase una estructura anloga (conocida como menor) a K5 o
a K3,3.

Grafos Euleriano:
Cubre todas las lneas de un grafo, comenzando y terminando en un
mismo vrtice, recorriendo sin repeticin y en forma continua todas las
lneas de un grafo G cualquiera. Cuando tal recorrido existe, se
denomina euleriano y un grafo que se puede trazar mediante un
recorrido euleriano se llama grafo euleriano. En la fig. 3.11, G1 es
obviamente un grafo euleriano; G2 no lo es, a pesar de que se puede
trazar continuamente, ya que el recorrido comienza y termina en vrtices
distintos; finalmente, G3 no es un grafo euleriano, porque no se puede
trazar continuamente.

 Grafos Hamiltonianos
Cuando existe tal ciclo, lo llamaremos ciclo hamiltoniano y un grafo
que posea un ciclo hamiltoniano se llama grafo hamiltoniano.
Un ciclo puro Cp es evidentemente hamiltoniano; el grafo de la fig. 3.14
tambin. En efecto, el ciclo v1v2... v7v1 representa un ciclo hamiltoniano del
grafo G.

Republica Bolivariana De Venezuela

Instituto Universitario Politcnico
Santiago Mario
Seccin G (Diurno Maana)

Teora De
Grafos
Alumno:
Ernesto Lpez C.I 24.864.603
Profesora:
Marivy Vivas
Maturn. Junio Del 2015