Grafo

En matemticas y ciencias de la computacin, un grafo (del griego grafos: dibujo, imagen) o grfica es el principal objeto de estudio de la teora de grafos. Informalmente, un grafo 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. 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. Historia y problema de los puentes de Knigsberg

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, partiendo de un lugar arbitrario, regresar al lugar de partida cruzando cada puente una sola vez? 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 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 finito. Muchos resultados importantes sobre grafos no son aplicables para grafos infinitos. Se llama orden del grafo a su nmero de vrtices, . que se encuentran en l.

El grado de un vrtice o nodo

es igual al nmero de arcos

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

Grafo no dirigido Un grafo no dirigido o grafo propiamente dicho es un grafo es un conjunto de pares no ordenados de elementos de , de manera que . donde:

Un par no ordenado es un conjunto de la forma grafos, estos conjuntos pertenecen al conjunto potencia de . Grafo dirigido

. Para los

de cardinalidad 2, el cual se denota por

Un grafo dirigido o digrafo es un grafo

donde:

 Dada una arista , es un conjunto de pares ordenados de elementos de es su nodo inicial y 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 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 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 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 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 una particin del conjunto de vrtices cada vrtice en es adyacente slo a cada vrtice en , y viceversa. , es aquel donde

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: gr afo conexo sin ciclos. Una generalizacin de los grafos son los llamados hipergrafos.