Grafo

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 unconjunto.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 Grafo etiquetado con 6 vértices y 7
interrelaciones entre unidades que interactúan unas con otras. Por ejemplo, una aristas.
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 sercables 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
Historia y problema de los puentes de Königsberg
Definiciones
Grafo no dirigido
Grafo dirigido
Variantes sobre las definiciones principales
Propiedades
Representación
Ejemplos
Grafos particulares
Referencias
Véase también
Enlaces externos

Historia y problema de los puentes de Königsberg

El primer artículo científico relativo a grafos fue escrito por elmatemá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 paragrafos 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 finalcoinciden.

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

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 .
Grafo no dirigido
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
Un grafo dirigido o digrafo es un grafo donde:

es un conjunto de pares ordenados de

elementos de .
Grafo dirigido
Dada una arista , es su nodo inicial y su nodo final.

Por definición, los grafos dirigidos no contienenbucles.

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 definicionesprincipales
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 llamarsemultigrafo (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.

Lista de adyacencia (LA): Se utiliza un vector de tamañon (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.

Ejemplos Matriz de adyacencia

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.
Listas de adyacencia
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. Consultarvariantes en esta definición.
Multigrafo (o pseudografo): G es multigrafosi y solo si no es simple. Consultarvariantes 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 elplano 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 mayorclique de ese
subgrafo.
Una generalización de los grafos son los llamadoshipergrafos.

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 conMatemática.
Portal:Geometría. Contenido relacionado conGeometría.
Grafo social
Teoría de grafos

Enlaces externos
Wikimedia Commons alberga una categoría multimedia sobreGrafo.

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

Esta página se editó por última vez el 31 may 2018 a las 01:17.

El texto está disponible bajo laLicencia Creative Commons Atribución Compartir Igual 3.0 ; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestrostérminos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de laFundación Wikimedia, Inc., una organización sin ánimo de lucro.