Grafo

Problemas de la página

Concepto en matemáticas y ciencias

de la computación

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) 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.[1]​
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 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 es un par ordenado
, donde:

es un conjunto de vértices o
nodos, y
es un conjunto de aristas o
arcos, que relacionan estos nodos.

Normalmente suele ser finito.

Muchos resultados importantes sobre
grafos no son aplicables para grafos
infinitos.

Se llama orden del grafo a su

número de vértices, .

El grado de un vértice o nodo

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

Grafo no dirigido

Un grafo no dirigido o grafo

propiamente dicho es un grafo
donde:

es
un conjunto de pares no ordenados
de elementos de .

Un par no ordenado es un conjunto de

la forma , de manera que
. Para los grafos,
estos conjuntos pertenecen al
conjunto potencia de , denotado
, y son de cardinalidad 2.

Grafo dirigido

Grafo dirigido

Un grafo dirigido o digrafo es un

grafo donde:
 es un conjunto de pares ordenados
de elementos de .

Dada una arista , es su nodo

inicial y 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

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 o
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
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.

Matriz 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.

Listas de adyacencia

Ejemplos
La imagen es una
representación del
siguiente grafo:

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

El hecho que el vértice 1 sea

adyacente con el vértice 2 puede ser
denotado como 1 ~ 2.

En la teoría de las categorías una

categoría puede ser considerada
como un multigrafo dirigido, con
los objetos como vértices y los
morfismos como aristas dirigidas.
En ciencias de la computación los
grafos dirigidos son usados para
representar máquinas de estado
finito y algunas otras estructuras
discretas.
Una relación binaria R en un
conjunto X es un grafo dirigido
simple. Dos vértices a, b en X están
conectados por una arista dirigida
 ab si aRb.

Grafos particulares
Existen grafos que poseen
propiedades destacables. Algunos
ejemplos básicos son:

Grafo nulo: aquel que no tiene

vértices ni aristas. Nótese que
algunas personas exigen que el
conjunto de vértices no sea vacío
en la definición de grafo.
Grafo vacío: aquel que no tiene
aristas.
Grafo trivial: aquel que tiene un
vértice y ninguna arista.
Grafo simple: aquel que no posee
bucles ni aristas paralelas.
Consultar variantes en esta
definición.
Multigrafo (o pseudografo): G es
multigrafo si y solo si no es simple.
Consultar variantes en esta
definición.
Grafo completo: grafo simple en el
que cada par de vértices están
unidos por una arista, es decir,
contiene todas las posibles aristas.
Grafo bipartito: sea una
partición del conjunto de vértices
, es aquel donde cada arista tiene
un vértice en y otro en .
Grafo bipartito completo: sea
una partición del conjunto
de vértices , es aquel donde cada
vértice en es adyacente sólo a
cada vértice en , y viceversa.
Grafo plano: aquel que puede ser
dibujado en el plano cartesiano sin
cruce de aristas.
Árbol: grafo conexo sin ciclos.
Grafo rueda: grafo con n vértices
que se forma conectando un único
vértice a todos los vértices de un
ciclo-(n-1).
Grafo perfecto aquel que el número
 cromático de cada subgrafo
inducido es igual al tamaño del
mayor clique de ese subgrafo.

Una generalización de los grafos son

los llamados hipergrafos.

Referencias
1. Trudeau, Richard J. (1993). Dover
Pub., ed. Introduction to Graph Theory
(Edición corregida y aumentada.).
ISBN 978-0-486-67870-2.

Véase también
Portal:Matemática. Contenido
relacionado con Matemática.
 Portal:Geometría. Contenido
relacionado con Geometría.
Grafo social
Teoría de grafos

Enlaces externos
Wikimedia Commons alberga una
categoría multimedia sobre grafo.

Obtenido de
«https://es.wikipedia.org/w/index.php?
title=Grafo&oldid=102375022»

Última edición hace 4 meses p…

El contenido está disponible bajo la licencia

CC BY-SA 3.0 , salvo que se indique lo
contrario.