Introducción

La teoría de los grafos ya no son novedad, eso no quiere decir no sean interesantes para
estudiarlos, y que son muy utilizados en aplicaciones modernas, en este caso los grafos son
usado para resolver varios problemas en muchos campos como en químico, su fórmula, en
nuestro caso son utilizados para establecer la interconexión en computadoras.

El modelo grafo, permiten gestionar los datos de diferente manera utilizando estructuras
visuales de conjuntos de objetos, que estas son representados mediante vértices, llamados
también nodos, y aristas. El modelo grafo es útil cuando los datos en el almacenamiento
tienen muchas interrelaciones entre sí, este tipo de bases de datos son los que tienden a
almacenar pocos datos de objetos, pero muchos de los datos se deben interrelacionar.

Existen varios tipos de grafios con distinta función de características y elementos, como lo
es el simple, multígrafo, orientado, etiquetado, grafo aleatorio, hipergrafo, infinito, plano,
regular, dual cada uno tiene un recorrido diferente donde se visita todos los vértices
alcanzables.
 Objetivos
General
Definir el concepto de grafo relacionándolo con diversas áreas combinatorios, álgebra,
probabilidad, geometría, aritmética y topología.
Específicos
Explicar cada tipo de grafo con sus respectivas propiedades, explicando sus vértices y
aristas.
Analizar el comportamiento del recorrido de los grafos basándonos en los nodos y sus
aristas.
 Grafo
En matemáticas y ciencias de la computación, un grafo es un conjunto de objetos llamados
vértices 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 teoría de
grafos.
Típicamente, un grafo se representa gráficamente como un conjunto de puntos (vértices o
nodos) unidos por líneas (aristas).
Desde un punto de vista práctico, los grafos permiten estudiar las interrelaciones entre
unidades que interactúan unas con otras. Por ejemplo, una red de computadoras puede
representarse y estudiarse mediante un grafo, en el cual los vértices representan terminales
y las aristas representan conexiones (las cuales, a su vez, pueden ser cables o conexiones
inalámbricas).
Prácticamente cualquier problema puede representarse mediante un grafo, y su estudio
trasciende a las diversas áreas de las ciencias exactas y las ciencias sociales.
Historia
El primer artículo científico relativo a grafos fue escrito por el matemático suizo Leonhard
Euler en 1736. Euler se basó en su artículo en el problema de los puentes de Königsberg.
La ciudad de Kaliningrado, originalmente Königsberg, es famosa por sus siete puentes que
unen ambas márgenes del río Pregel con dos de sus islas. Dos de los puentes unen la isla
mayor con la margen oriental y otros dos con la margen occidental. La isla menor está
conectada a cada margen por un puente y el séptimo puente une ambas islas. El problema
planteaba lo siguiente: ¿es posible dar un paseo comenzando desde cualquiera de estas
regiones, pasando por todos los puentes, recorriendo solo una vez cada uno y regresando al
mismo punto de partida?
Abstrayendo este problema y planteándolo con la (entonces aún básica) teoría de grafos,
Euler consigue demostrar que el grafo asociado al esquema de puentes de Königsberg no
tiene solución, es decir, no es posible regresar al vértice de partida sin pasar por alguna
arista dos veces.
De hecho, Euler resuelve el problema más general: ¿qué condiciones debe satisfacer un
grafo para garantizar que se puede regresar al vértice de partida sin pasar por la misma
arista más de una vez? Si definimos como «grado» al número de líneas que se encuentran
en un punto de un grafo, entonces la respuesta al problema es que los puentes de un pueblo
se pueden atravesar exactamente una vez si, salvo a lo sumo dos, todos los puntos tienen un
grado par.
Propiedades
Adyacencia: dos aristas son adyacentes si tienen un vértice en común, y dos vértices son
adyacentes si una arista los une.
Incidencia: una arista es incidente a un vértice si ésta lo une a otro.
Ponderación: corresponde a una función que a cada arista le asocia un valor (costo, peso,
longitud, etc.), para aumentar la expresividad del modelo. Esto se usa mucho para
problemas de optimización, como el del vendedor viajero o del camino más corto.
Etiquetado: distinción que se hace a los vértices y/o aristas mediante una marca que los
hace unívocamente distinguibles del resto.
Representación
Las dos representaciones principales de grafos son las siguientes:
Matriz de adyacencia (MA): Se utiliza una matriz de tamaño n × n donde las filas y las
columnas hacen referencia a los vértices para almacenar en cada casilla la longitud entre
cada par de vértices del grafo. La celda MA [i, j] almacena la longitud entre el vértice i y el
vértice j. Si su valor es infinito significa que no existe arista entre esos vértices, y MA [i, i]
= 0.
Listas de adyacencia
Lista de adyacencia (LA): Se utiliza un vector de tamaño n (un elemento por cada vértice)
donde LA[i] almacena la referencia a una lista de los vértices adyacentes a i. En una red
esta lista almacenará también la longitud de la arista que va desde i al vértice adyacente.
Composición de un grafo
 Aristas: Son las líneas que unen los vértices de un grafo.
o Aristas adyacentes: Dos aristas son adyacentes si convergen en el mismo
vértice.
o Aristas paralelas: Dos aristas son paralelas si los vértices iniciales y finales
son el mismo.
o Arista cíclicas: Aristas que parten de un vértice para entrar en el mismo.
o Cruce: Punto donde dos aristas se cruzan.
 Vértices: Los vértices son los elementos que forman un grafo. Cada uno lleva
asociada una valencia característica según la situación, que se corresponde con la
cantidad de aristas que confluyen en dicho vértice.
 Camino: Se denomina camino a un conjunto de vértices interconectados por aristas.
Dos vértices están conectados si hay un camino entre ellos.
Tipos de grafos
Grafo simple (véase en anexo: 1)
O simplemente grafo es aquel que acepta una sola arista uniendo dos vértices cualesquiera.
Esto es equivalente a decir que una arista cualquiera es la única que une dos vértices
específicos. Es la definición estándar de un grafo.
Multígrafo (véase en anexo: 2)
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 multigrafo G es un par 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.
Los multigrafos 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.
Algunos autores permiten que los multigrafos tengan bucles, es decir, que una arista
conecte a un nodo consigo mismo.
Grafo dirigido
Un grafo dirigido o digrafo es un tipo de grafo en el cual las aristas tienen un sentido
definido,1 a diferencia del grafo no dirigido, en el cual las aristas son relaciones simétricas
y no apuntan en ningún sentido.
Al igual que en el grafo generalizado, el grafo dirigido está definido por un par de
conjuntos G= (V, E).
Una orientación de un grafo simple no dirigido se obtiene al asignar una orientación a cada
uno de los arcos existentes. Un grafo dirigido construido de esta manera se denomina un
grafo orientado. Una manera de distinguir entre un grafo simple dirigido y un grafo
orientado es que si x e y son vértices, un grafo simple dirigido permite tanto (x,y) como
(y,x) entre sus arcos, mientras que solo una de las dos posibilidades es admitida en un grafo
orientado.
La matriz de adyacencia de un digrafo (con bucles y arcos múltiples permitidos) es una
matriz compuesta por valores enteros, donde los índices de columnas y filas se
corresponden con las identidades de los vértices V.
Grafo etiquetado
En matemáticas, en la disciplina de teoría de grafos, un grafo etiquetado es la asignación de
etiquetas, tradicionalmente representada mediante enteros, a las aristas o vértices, o ambos,
de un grafo.
Formalmente, dado un grafo G, un vértice etiquetado es una función que hace corresponder
vértices de G a un conjunto de etiquetas. Un grafo con tal función definida es llamado grafo
de vértices etiquetados. De la misma manera, una arista etiquetada es una función de
asignación de aristas de G tal conjunto de «etiquetas». En este caso, G es llamado como
grafo de aristas etiquetadas. Cuando las etiquetas de las aristas pertenecen a un conjunto
ordenado ('es decir, los números reales), ésta puede ser llamada como grafo ponderado.

Cuando es usado sin calificación, el término grafo etiquetado generalmente se refiere a un

grafo con vértices etiquetados con todas las etiquetas distintas. Tal grafo puede ser
equivalentemente etiquetado mediante enteros consecutivos {1, ..., n}, donde n es el
número de vértices en el grafo. Para muchas aplicaciones, a las aristas y los vértices le
corresponde etiquetas que tienen un significado en el dominio asociado. Por ejemplo, las
aristas pueden ser asignadas mediante pesos que representan el «coste» de atravesar entre
los vértices implicados.
Grafo aleatorio
En Matemáticas se denomina grafo aleatorio a un grafo que es generado por algún tipo de
proceso aleatorio. La teoría de los grafos aleatorios cae en la intersección entre la teoría de
grafos y la teoría de probabilidades y se fundamenta en el estudio de ciertas propiedades de
los grafos aleatorios. Uno de los modelos matemáticos más aplicados en la generación de
redes aleatorias es modelo Erdös–Rényi.
Ramas de estudio
Una de las ramas más estudiadas en el área de las redes aleatorias es el de la teoría de la
percolación (nivel de percolación) relacionado con el estudio de la fiabilidad en las redes de
comunicación.3 Un campo de estudio inicial fue el de redes sociales, estudios sobre la
topología de redes evolutivas como puede ser internet, etc. Se ha visto que algunas de las
redes actuales crecen según modelos predefinidos en su distribución de grado, como puede
ser la redes libres de escala.
La idea de los grafos aleatorios está dentro de como enlazar de forma aleatoria un conjunto
de N nodos, para realizar esto se pueden seguir diversas estrategias, cada una de ellas
proporciona un modelo de redes (grafos) aleatorios. Uno de los campos de estudio más
activo es el de los grafos aleatorios dinámicos en los que se van añadiendo nodos a medida
que pasa el tiempo, estos grafos muestran ciertas propiedades de las redes reales.
Grafo universal
En teoría de grafos, un grafo universal es un grafo infinito que contiene a todos los grafos
finitos (o al menos numerables) como un subgrafo inducido. El primer grafo universal fue
construido por R. Rado, actualmente llamado grafo de Rado o grafo aleatorio.
Trabajos más recientes se han enfocado en grafos universales para una familia de grafos
particular F, correspondiente a aquella que contiene a todos los grafos finitos. Un grafo
universal para una familia F de grafos también puede referirse a un miembro de una
secuencia de grafos finitos que contiene a todos los grafos en F. Por ejemplo, cada árbol
finito es un subgrafo de un grafo hipercubo suficientemente largo; por lo tanto, un
hipercubo puede decirse que es un grafo universal para los árboles.
En terminología matemática más antigua, la frase "grafo universal" fue a veces utilizada
para denotar a los grafos completos.

Hipergrafo
En matemática y ciencias de la computación, un hipergrafo es una generalización de un
grafo, cuyas aristas aquí se llaman hiperaristas, y pueden relacionar a cualquier cantidad de
vértices, en lugar de sólo un máximo de dos como en el caso particular.
Formalmente, dado un conjunto finito A llamado conjunto base, un hipergrafo H es una
familia de subconjuntos de ; es decir, un subconjunto de , que es el conjunto potencia de .
Los elementos de un hipergrafo se llaman hiperaristas, las cuales a su vez son subconjuntos
de.
La cardinalidad de un hipergrafo es su número de hiperaristas, y se denota |H|. El tamaño o
volumen de un hipergrafo, se define como la suma del tamaño de sus hiperaristas, valor
acotado superiormente por |A|·|H|.
Grafo plano
En teoría de grafos, un grafo plano (o planar según referencias) es un grafo que puede ser
dibujado en el plano sin que ninguna arista se cruce (una definición más formal puede ser
que este grafo pueda ser "incrustado" en un plano). Los grafos K5 y el K3,3 son los grafos
no planos minimales, lo cual nos permitirán caracterizar el resto de los grafos no planos.
Todo grafo plano puede ser dibujado sobre la esfera, y viceversa. Una generalización de los
grafos planos son grafos dibujados e incrustados sobre superficies de género arbitrario. En
esta terminología, los grafos planos tienen género 0, por ser el plano y la esfera de género 0.
Teorema de Kuratowski
El matemático polaco Kazimierz Kuratowski encontró una caracterización de los grafos
planos, conocida como el teorema de Kuratowski:
“Un grafo es plano si y solo si no contiene un subgrafo isomorfo a una subdivisión
elemental de K5 (el grafo completo de 5 vértices) o K3,3 (el grafo bipartito
completo de 6 vértices).” -Kuratowski (1930)
Una subdivisión elemental de un grafo resulta de insertar vértices en las aristas (por
ejemplo, cambiando •——• por •—•—•). Una formulación equivalente a este teorema es:
Un grafo es plano si y solo si no contiene ningún subgrafo homeomorfo a K5 ó K3,3
 Conclusiones
 Los grafos son utilizados para modelar matemáticamente un conjunto de datos a una
estructura. Está teoría de grafos es utilizado en la aplicación de métodos,
permitiendo evaluar los puntos en espacio conectados por una red que sirven en
diferentes campos de las ciencias.
 Los grafos permiten medir las propiedades de una red, en base a los vértices, es el
punto del grafo que pueden ser varios, y las artistas, que son las líneas que unen a
los vértices.
 El recorrido de los grafos es importante para comprender su funcionamiento, está
visita cada uno de los nodos a partir de un punto inicial y que deberá pasar por cada
uno de los nodos.