QUE ES UN GRAFO

En matemticas y ciencias de la computacin, un grafo 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).

ESTRUCTURA DE UN GRAFO
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 es igual al nmero de arcos E que se encuentran en l. Un bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo final coinciden.

TIPOS DE GRAFOS
GRAFO NO DIRIGIDO Un grafo no dirigido o grafo propiamente dicho es un grafo G = (V,E) donde:

es un conjunto de pares no ordenados de elementos de .

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 de cardinalidad 2, el cual se denota por .

GRAFO DIRIGIDO Un grafo dirigido o dgrafo es un grafo G = (V,E) donde:

es un conjunto de pares ordenados de elementos de .

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.

PSEUDOGRAFO Un pseudografo es un grafo G = (V,E) donde:

es un conjunto de pares no ordenados de elementos de . .

Es decir, un pseudografo es un grafo no dirigido que acepta bucles en PSEUDOGRAFO DIRIGIDO Un pseudografo dirigido es un grafo G = (V,E) donde:

es un conjunto de pares ordenados y etiquetados de elementos de .

Es decir, un pseudografo dirigido es un grafo dirigido que acepta bucles en

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.

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

Una generalizacin de los grafos son los llamados hipergrafos.