Grafo etiquetado con 6 vrtices y 7 aristas.

Grafo
De Wikipedia, la enciclopedia libre
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 grcamente 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
1 Historia y problema de los puentes de Knigsberg
2 Deniciones
2.1 Grafo no dirigido
2.2 Grafo dirigido
2.3 Variantes sobre las deniciones principales
3 Propiedades
4 Ejemplos
5 Grafos particulares
6 Vase tambin
7 Enlaces externos
Historia y problema de los puentes de Knigsberg
El primer artculo cientco 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?
Los siete puentes de Knigsberg.
Grafo no dirigido
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 denimos 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.
Deniciones
Un grafo es un par ordenado , donde:
es un conjunto de vrtices o nodos, y
es un conjunto de aristas o arcos, que
relacionan estos nodos.
Normalmente suele ser nito. Muchos resultados
importantes sobre grafos no son aplicables para grafos
innitos.
Se llama orden del grafo a su nmero de vrtices,
.
El grado de un vrtice o nodo 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 nal
coinciden.
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
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 nal.
Grafo dirigido
Por denicin, los grafos dirigidos no contienen bucles.
Un grafo mixto es aquel que se dene 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 deniciones principales
Algunas aplicaciones requieren extensiones ms generales a las dos propuestas clsicas de grafos. Aunque la
denicin original los permite, segn la aplicacin concreta pueden ser vlidos o no. A veces o 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
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
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 morsmos como aristas dirigidas.
En ciencias de la computacin los grafos dirigidos son usados para representar mquinas de estado
nito 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
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 denicin 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 una particin del conjunto de vrtices , es aquel donde cada
vrtice en es adyacente slo a cada vrtice en , y viceversa.
Grafo bipartito: sea una particin del conjunto de vrtices , es aquel donde cada arista tiene
un vrtice en y otro en .
Grafo plano: aquel que puede ser dibujado en el plano cartesiano sin cruce de aristas.
rbol: grafo conexo sin ciclos.
Una generalizacin de los grafos son los llamados hipergrafos.
Vase tambin
Grafo social
Minera de grafos
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Grafo.
Obtenido de http://es.wikipedia.org/w/index.php?title=Grafo&oldid=73905351
Categoras: Teora de grafos Relaciones
Esta pgina fue modicada por ltima vez el 20 abr 2014, a las 01:28.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran
ser aplicables clusulas adicionales. Lanse los trminos de uso para ms informacin.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.