Grafo

Ir a la navegaciónIr a la búsqueda
Para otros usos de este término, véase Grafo (desambiguación).

Este artículo o sección necesita referencias que aparezcan en una publicación

acreditada.
Este aviso fue puesto el 29 de mayo de 2015.
Para la teoría en torno a este objeto matemático, véase Teoría de grafos.

Grafo etiquetado con 6 vértices y 7 aristas.

En matemáticas y ciencias de la computación, un grafo (del griego grafos: dibujo,
imagen)1 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.2Son 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 o arcos).

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.

Índice
1 Historia y problema de los puentes de Königsberg
2 Definiciones
2.1 Grafo no dirigido
2.2 Grafo dirigido
2.3 Variantes sobre las definiciones principales
3 Propiedades
4 Representación
5 Ejemplos
6 Grafos particulares
7 Véase también
8 Referencias
9 Enlaces externos
Historia y problema de los puentes de Königsberg
Los siete puentes de Königsberg.
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.

Definiciones
Un grafo {\displaystyle G}G es un par ordenado {\displaystyle G=(V,E)}
{\displaystyle G=(V,E)}, donde:

{\displaystyle V}V es un conjunto de vértices o nodos, y

{\displaystyle E}E es un conjunto de aristas o arcos, que relacionan estos nodos.
Normalmente {\displaystyle V}V suele ser finito. Muchos resultados importantes
sobre grafos no son aplicables para grafos infinitos.

Se llama orden del grafo {\displaystyle G}G a su número de vértices, {\displaystyle

|V|}{\displaystyle |V|}.

El grado de un vértice o nodo {\displaystyle v\in V}v \in V es igual al número de

arcos que lo tienen como extremo.

Un bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el
nodo inicial y el nodo final coinciden.

Dos o más aristas son paralelas si relacionan el mismo par de vértices.

Grafo no dirigido
Artículo principal: Grafo no dirigido

Grafo no dirigido
Un grafo no dirigido o grafo propiamente dicho es un grafo {\displaystyle G=(V,E)}
{\displaystyle G=(V,E)} donde:

{\displaystyle V\neq \emptyset }{\displaystyle V\neq \emptyset }

{\displaystyle E\subseteq \{x\in {\mathcal {P}}(V):|x|=2\}}{\displaystyle
E\subseteq \{x\in {\mathcal {P}}(V):|x|=2\}} es un conjunto de pares no ordenados
de elementos de {\displaystyle V\,}V\,.
Un par no ordenado es un conjunto de la forma {\displaystyle \{a,b\}}{\displaystyle
\{a,b\}}, de manera que {\displaystyle \{a,b\}=\{b,a\}}{\displaystyle \{a,b\}=\
{b,a\}}. Para los grafos, estos conjuntos pertenecen al conjunto potencia de
{\displaystyle V}V, denotado {\displaystyle {\mathcal {P}}(V)}{\displaystyle
{\mathcal {P}}(V)}, y son de cardinalidad 2.

Grafo dirigido

Grafo dirigido
Artículo principal: Grafo dirigido
Un grafo dirigido o digrafo es un grafo {\displaystyle G=(V,E)}{\displaystyle
G=(V,E)} donde:

{\displaystyle V\neq \emptyset }{\displaystyle V\neq \emptyset }

{\displaystyle E\subseteq \{(a,b)\in V\times V:a\neq b\}\,}{\displaystyle
E\subseteq \{(a,b)\in V\times V:a\neq b\}\,} es un conjunto de pares ordenados de
elementos de {\displaystyle V\,}V\,.
Dada una arista {\displaystyle (a,b)}(a,b), {\displaystyle a}a es su nodo inicial y
{\displaystyle b}b su nodo final.

Por definición, los grafos dirigidos no contienen bucles.

Un grafo mixto es aquel que se define con la capacidad de poder contener aristas
dirigidas y no dirigidas. Tanto los grafos dirigidos como los no dirigidos son
casos particulares de este.

Variantes sobre las definiciones principales

Algunas aplicaciones requieren extensiones más generales a las dos propuestas
clásicas de grafos. Aunque la definición original los permite, según la aplicación
concreta pueden ser válidos o no. A veces {\displaystyle V}V o {\displaystyle E}E
pueden ser un multiconjunto, pudiendo haber más de una arista entre cada par de
vértices. La palabra grafo (a secas) puede permitir o no múltiples aristas entre
cada par de vértices, dependiendo del autor de la referencia consultada. Si se
quiere remarcar la inexistencia de múltiples aristas entre cada par de vértices (y
en el caso no dirigido, excluir bucles) el grafo puede llamarse simple. Por otra
parte, si se quiere asegurar la posibilidad de permitir múltiples aristas, el grafo
puede llamarse multigrafo (a veces se utiliza el término pseudografo para indicar
que se permiten tanto bucles como múltiples aristas entre cada par de vértices).

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

Matriz de adyacencia
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