Grafo

Para otros usos de este trmino, vase Grafo (desambiguacin).

Para la teora en torno a este objeto matemtico, vase Teora de grafos.


Grafo etiquetado con 6 vrtices y 7 aristas.
En matemticas y ciencias de la computacin, un grafo (del griego grafos: dibujo, imagen) es un
conjunto de objetos llamados vrtices 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 teora de grafos.

Tpicamente, un grafo se representa grficamente como un conjunto de puntos (vrtices o nodos)
unidos por lneas (aristas).

Desde un punto de vista prctico, los grafos permiten estudiar las interrelaciones entre unidades
que interactan unas con otras. Por ejemplo, una red de computadoras puede representarse y
estudiarse mediante un grafo, en el cual los vrtices representan terminales y las aristas
representan conexiones (las cuales, a su vez, pueden ser cables o conexiones inalmbricas).

Prcticamente cualquier problema puede representarse mediante un grafo, y su estudio
trasciende a las diversas reas de las ciencias exactas y las ciencias sociales.

ndice [ocultar]
1 Historia y problema de los puentes de Knigsberg
2 Definiciones
2.1 Grafo no dirigido
2.2 Grafo dirigido
2.3 Variantes sobre las definiciones principales
3 Propiedades
4 Ejemplos
5 Grafos particulares
6 Vase tambin
7 Enlaces externos
Historia y problema de los puentes de Knigsberg[editar]

Los siete puentes de Knigsberg.
El primer artculo cientfico relativo a grafos fue escrito por el matemtico suizo Leonhard Euler en
1736. Euler se bas en su artculo en el problema de los puentes de Knigsberg. La ciudad de
Kaliningrado, originalmente Knigsberg, es famosa por sus siete puentes que unen ambas
mrgenes del ro 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 sptimo 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 slo una vez cada uno, y regresando al mismo punto de partida?

Abstrayendo este problema y plantendolo con la (entonces an bsica) teora de grafos, Euler
consigue demostrar que el grafo asociado al esquema de puentes de Knigsberg no tiene solucin,
es decir, no es posible regresar al vrtice de partida sin pasar por alguna arista dos veces.

De hecho, Euler resuelve el problema ms general: qu condiciones debe satisfacer un grafo para
garantizar que se puede regresar al vrtice de partida sin pasar por la misma arista ms de una
vez? Si definimos como "grado" al nmero de lneas 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[editar]
Un grafo G es un par ordenado G=(V,E), donde:

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

Se llama orden del grafo G a su nmero de vrtices, |V|.

El grado de un vrtice o nodo v \in V es igual al nmero 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.

Grafo no dirigido[editar]


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

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

Grafo dirigido[editar]


Grafo dirigido
Artculo principal: Grafo dirigido
Un grafo dirigido o digrafo es un grafo G = (V, E) donde:

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

Por definicin, 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[editar]
Algunas aplicaciones requieren extensiones ms generales a las dos propuestas clsicas de grafos.
Aunque la definicin original los permite, segn la aplicacin concreta pueden ser vlidos o no. A
veces V o E pueden ser un multiconjunto, pudiendo haber ms de una arista entre cada par de
vrtices. La palabra grafo (a secas) puede permitir o no mltiples aristas entre cada par de
vrtices, dependiendo del autor de la referencia consultada. Si se quiere remarcar la inexistencia
de mltiples aristas entre cada par de vrtices (y en el caso no dirigido, excluir bucles) el grafo
puede llamarse simple. Por otra parte, si se quiere asegurar la posibilidad de permitir mltiples
aristas, el grafo puede llamarse multigrafo (a veces se utiliza el trmino pseudografo para indicar
que se permiten tanto bucles como mltiples aristas entre cada par de vrtices).

Propiedades[editar]
Adyacencia: dos aristas son adyacentes si tienen un vrtice en comn, y dos vrtices son
adyacentes si una arista los une.
Incidencia: una arista es incidente a un vrtice si sta lo une a otro.
Ponderacin: corresponde a una funcin 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
optimizacin, como el del vendedor viajero o del camino ms corto.
Etiquetado: distincin que se hace a los vrtices y/o aristas mediante una marca que los hace
unvocamente distinguibles del resto.
Ejemplos[editar]
6n-graf.svg
La imagen es una representacin 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 vrtice 1 sea adyacente con el vrtice 2 puede ser denotado como 1 ~ 2.

En la Teora de las categoras una categora puede ser considerada como un multigrafo dirigido,
con los objetos como vrtices y los morfismos como aristas dirigidas.
En ciencias de la computacin los grafos dirigidos son usados para representar mquinas de
estado finito y algunas otras estructuras discretas.
Una relacin binaria R en un conjunto X es un grafo dirigido simple. Dos vrtices a, b en X estn
conectados por una arista dirigida ab si aRb.
Grafos particulares[editar]
Existen grafos que poseen propiedades destacables. Algunos ejemplos bsicos son:

Grafo nulo: aquel que no tiene vrtices ni aristas. Ntese que algunas personas exigen que el
conjunto de vrtices no sea vaco en la definicin de grafo.
Grafo vaco: aquel que no tiene aristas.
Grafo trivial: aquel que tiene un vrtice y ninguna arista.
Grafo simple: aquel que no posee bucles o lazos.
Grafo completo: grafo simple en el que cada par de vrtices estn unidos por una arista, es decir,
contiene todas las posibles aristas.
Grafo bipartito completo: sea (W, X) una particin del conjunto de vrtices V, es aquel donde cada
vrtice en W es adyacente slo a cada vrtice en X, y viceversa.
Grafo bipartito: sea (W, X) una particin del conjunto de vrtices V, es aquel donde cada arista
tiene un vrtice en W y otro en X.
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 vrtices que se forma conectando un nico vrtice a todos los vrtices de
un ciclo-(n-1).
Grafo perfecto aquel que el nmero cromtico de cada subgrafo inducido es igual al tamao del
mayor clique de ese subgrafo.
Una generalizacin de los grafos son los llamados hipergrafos.