Un Grafo es una estructura de datos que representa información de una manera no lineal ni
jerárquica un grafo se representa mediante una serie de puntos (los vértices) conectados por líneas
(las aristas).
Un grafo dirigido G consiste en un conjunto de vértices V y un conjunto de arcos o aristas A. Los
vértices se denominan también nodos o puntos. Un arco, es un par ordenado de vértices (V,W) donde
V es el vértice inicial y W es el vértice terminal del arco. Un arco se expresa como: V–>W
Si los pares de nodos en los arcos dirigidos, el grafo se denomina grafo directo, dirigido o dígrafo.
Tipos de Grafos•Grafo regular: Aquel con el mismo grado en todos los vértices. Si ese grado es k lo
llamaremos k-regular.
Por ejemplo, el primero de los siguientes grafos es 3-regular, el segundo es 2-regular y
el tercero no es regular
•Grafo bipartito: Es aquel con cuyos vértices pueden formarse dos conjuntos disjuntos
de modo que no haya adyacencias entre vértices pertenecientes al mismo conjunto.
•Grafo completo: Aquel con una arista entre cada par de vértices. Un grafo completo con
n vértices se denota Kn.
•Grafo nulo: Se dice que un grafo es nulo cuando los vértices que lo componen no están
conectados, esto es, que son vértices aislados.
Lazo o bucle es aquel cuyas terminales son el mismo nodo; suponiendo G(N, S) un grafo y N´ un
subconjunto de N así mismo S´ un subconjunto de S cuyas terminales pertenecen a N.
LAZO O BUCLE
Un camino en un grafo es una sucesión finita en la que aparecen alternadamente vértices y aristas
de dicho grafo. Otras definiciones básicas son:
Los extremos son los vértices iniciales y final del camino.
La longitud de un camino es el número de aristas que contiene.
Un camino es cerrado si sus extremos coinciden.
Un camino es simple si en la sucesión de vértices no hay ninguno repetido.
Un ciclo es un camino cerrado donde los únicos vértices repetidos son el primero y el último.
Un circuito es un camino cerrado que no repite aristas.
Si en un grafo existe un camino que conecta dos vértices distintos, entonces existe un camino
simple con extremos en dichos vértices.
Camino Cerrado
Un Grafo ciclo o simplemente ciclo es un grafo que se asemeja a un polígono de n lados.
Consiste en un camino cerrado en el que no se repite ningún vértice a excepción del primero
que aparece dos veces como principio y fin del camino. Un Grafo ciclo de n vértices se denota
Cn. El número de vértices en un grafo Cn es igual al número de aristas, y cada vértice tiene
grado par, por lo tanto cada vértice tiene dos aristas incidentes.
Ciclo
CnC6: Un Grafo Ciclo de longitud 6
Grafo ciclo dirigidoUn grafo ciclo dirigido es una versión dirigida de un grafo ciclo, con todas las aristas orientadas
hacia una misma dirección.
En un Grafo ciclo dirigido, el grado de salida del vértice es 1 y el de entrada también es 1.
Un grafo es conexo si cada par de vértices está conectado por un camino; es decir, si para
cualquier par de vértices (a, b), existe al menos un camino posible desde a hacia b.
Un grafo es doblemente conexo si cada par de vértices está conectado por al menos dos caminos
disjuntos; es decir, es conexo y no existe un vértice tal que al sacarlo el grafo resultante sea
disconexo.
En términos matemáticos la propiedad de un grafo de ser (fuertemente) conexo permite establecer
con base en él una relación de equivalencia para sus vértices, la cual lleva a una partición 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 teoría de grafos.
Un grafo que no tiene ciclos y que conecta a todos los puntos, se llama un árbol. En un
grafo con n vértices, los árboles tienen exactamente n - 1 aristas, y hay nn-2 árboles
posibles. Su importancia radica en que los árboles son grafos que conectan todos los
vértices utilizando el menor número posible de aristas. Un importante campo de
aplicación de su estudio se encuentra en el análisis filogenético, el de la filiación de
entidades que derivan unas de otras en un proceso evolutivo, que se aplica sobre todo
a la averiguación del parentesco entre especies; aunque se ha usado también, por
ejemplo, en el estudio del parentesco entre lenguas.
Un árbol dirigido es un grafo dirigido que sería un árbol si no se consideraran las
direcciones de las aristas. Algunos autores restringen la frase al caso en el que todos
las aristas se dirigen a un vértice particular, o todas sus direcciones parten de un vértice
particular.
Un árbol recibe el nombre de árbol con raíz si cada vértice ha sido designado raíz, en cuyo caso
las aristas tienen una orientación natural hacia o desde la raíz. Los árboles con raíz, a menudo con
estructuras adicionales como orden de los vecinos de cada vértice, son una estructura clave en
informática.
Un árbol etiquetado es un árbol en el que cada vértice tiene una única etiqueta. Los vértices de un
árbol etiquetado de n vértices reciben normalmente las etiquetas {1,2, ..., n}.
Un árbol regular (homogéneo) es un árbol en el que cada vértice tiene el mismo grado
En teoría de grafos, un grafo completo es un grafo simple donde cada par de vértices está
conectado por una arista.
Un grafo completo de n vértices tiene n(n − 1) / 2 aristas, y se nota Kn. Es un grafo regular con
todos sus vértices de grado n − 1. Ningún grafo completo tiene lazos y está conectado totalmente,
por ende, la única forma de hacer disconexo el grafo con una eliminación de vértices es aplicarla a
todos.
En ciertos casos es necesario asociar información a los arcos del grafo. Esto se puede lograr
mediante una etiqueta que contenga cualquier información útil relativa al arco, como el nombre,
peso, coste o un valor de cualquier tipo de datos dado. En este caso hablamos de grafos
etiquetados. Esta etiqueta podría significar el tiempo que se tarda el vuelo entre dos ciudades o
indicar cuáles son los parámetros de entrada y de salida en la llamada a un subprograma.
En el caso del grafo que representa el sentido del tráfico se pueden etiquetar los arcos con el
nombre de las calles.
Un multígrafo o pseudografo es un grafo que está facultado para tener aristas múltiples; es decir,
aristas que relacionan los mismos nodos. De esta forma, dos nodos pueden estar conectados por
más de una arista. Formalmente, un multígrafo G es un par ordenado G:=(V, E) donde:
•V es un conjunto de vértices o nodos
•E es un multiconjunto de pares no ordenados de nodos, llamados aristas o líneas.
Ejemplo. Los multígrafos podrían usarse, por ejemplo, para modelar las posibles conexiones de
vuelo ofrecidas por una aerolínea. Para este caso tendríamos un grafo dirigido, donde cada nodo
es una localidad y donde pares de aristas paralelas conectan estas localidades, según un vuelo es
hacia o desde una localidad a la otra.
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)).
Construcción de la matriz a partir de un grafo•Se crea una matriz cero, cuyas columnas y filas representan los nodos del grafo.
•Por cada arista que une a dos nodos, se suma 1 al valor que hay actualmente en la ubicación
correspondiente de la matriz.
Si tal arista es un bucle y el grafo es no dirigido, entonces se suma 2 en vez de 1.
Finalmente, se obtiene una matriz que representa el número de aristas (relaciones) entre cada par
de nodos (elementos).
Existe una matriz de adyacencia única para cada grafo (sin considerar las permutaciones de filas o
columnas), y viceversa.
Ejemplo de grafo no dirigido
Figura 1 Ejemplo de grafo no dirigido, para el que se calcula la matriz de adyacencia.
La matriz de adyacencia para el grafo no dirigido de la Figura anterior viene dada por: