Vous êtes sur la page 1sur 3

Free Web Hosting Provider - Web Hosting - E-commerce - High Speed Internet - Free Web Page

Arriba
Introduccin a la teora de grafos


Tema 1 : GRAFOS

Un grafo es un conjunto de puntos (vrtices) en el espacio, que estn conectados por un conjunto de lneas
(aristas). Otros conceptos bsicos son:

Dos vrtices son adyacentes si comparten la misma arista.
Los extremos de una arista son los vrtices que comparte dicha arista.
Un grafo se dice que es finito si su numero de vrtices es finito.

Clases de grafos

Un multigrafo es un grafo con varias aristas entre dos vrtices.
Un pseudografo es un grafo en el que hay aristas (lazos) que tienen el mismo extremo.
Un digrafo es un grafo donde a cada arista se le indica un sentido mediante una flecha.
Los multidigrafos o pseudomultidigrafos son combinaciones de los anteriores.

Teoremas

Dos grafos son isomorfos si tienen el mismo numero de vrtices y aristas y, estas se corresponden con
los mismos extremos.
El grado del vrtice de un grafo (gr) es el numero de aristas que tienen por extremo dicho vrtice.
Si dos grafos son isomorfos, los vrtices que se corresponden tienen el mismo grado.

Primer Teorema de la Teora de Grafos: todo grafo contiene un numero par o cero de vrtices de grado impar.

Un subgrafo es un grafo que esta contenido dentro de otro grafo y que se obtiene eliminando algunas
aristas y vrtices del grafo principal.
Un grafo es regular si todos sus vrtices tienen el mismo grado k (k-regular).
Search the Web
Un grafo es completo si cada par de vrtices son los extremos de una arista.
Dos grafos completos con el mismo numero de vrtices son isomorfos.


Tema 2 : CAMINOS

Un camino en un grafo es una sucesin finita en la que aparecen alternadamente vrtices y aristas de dicho
grafo. Otras definiciones bsicas son:

Los extremos son los vrtices inicial y final del camino.
La longitud de un camino es el numero de aristas que contiene.
Un camino es cerrado si sus extremos coinciden.
Un camino es simple si en la sucesin de vrtices no hay ninguno repetido.
Un ciclo es un camino cerrado donde los nicos vrtices repetidos son el primero y el ultimo.
Un circuito es un camino cerrado que no repite aristas.
Si en un grafo existe un camino que conecta dos vrtices distintos, entonces existe un camino simple
con extremos en dichos vrtices.
Un grafo es conexo si para cada par de vrtices, existe un camino con extremos en dichos vrtices.

Tipos de caminos

Camino euleriano: es un camino o circuito que contiene todas las aristas apareciendo cada una de
ellas exactamente una vez. Un grafo que admite dicho circuito se denomina grafo euleriano, y sus
vrtices o tienen grado par o dos de los vrtices tienen grado impar.
Camino hamiltoniano: es un camino simple que contiene todos los vrtices apareciendo cada uno de
ellos exactamente una vez. Un ciclo que a su vez es un camino hamiltoniano se denomina ciclo
hamiltoniano, y un grafo que contiene un ciclo hamiltoniano se denomina grafo hamiltoniano.


Tema 3 : EXPLORACION

Los grafos son utilizados con frecuencia para representar vas y redes de comunicacin. Aqu se ofrece una
forma matricial de representar un grafo. Se denomina matriz de adyacencia a una matriz cuyas entradas son unos
y ceros siguiendo una ley: a cada entrada m
ij le corresponde la arista dada por vivj. Segn sea grafo o digrafo ser:

GRAFO DIGRAFO
mij = 1 si vivj forma arista mij = 1 si vivj forma arista orientacin = vi ! vj
mij = 0 si vivj no forma arista mij = 0 si vivj no forma arista orientacin = vj ! vi

Teoremas

* Dos grafos con la misma matriz de adyacencia son isomorfos.
* Un rbol es un grafo conexo sin ciclos.
Un grafo es un rbol si y solo si cada dos vrtices distintos se conectan por un nico camino simple.
Un grafo es etiquetado si sus aristas tienen asignado un numero.Un grafo es etiquetado si sus aristas tienen asignado un numero.
Se llama distancia de un grafo etiquetado a la longitud mnima del camino entre dos vrtices dados.

Algoritmo de Dijkstra

Es un algoritmo que sirve para hallar la distancia mas corta entre dos vrtices de un digrafo. Sus reglas bsicas son:

Se toma el vrtice inicial y se comprueba todas las direcciones posibles de salida.
Se elige entre todos los vrtices el de la distancia mnima y se accede a el.
Desde el siguiente vrtice se efecta el mismo paso hasta llegar al vrtice final.
El algoritmo recorre todos los caminos posibles hasta tener la distancia mnima entre ambos vrtices.


Tema 4 : MAPAS

Definiciones

Un grafo se dice que es plano si admite una representacin grfica en el plano de modo que cada arista corta nicamente a
otra arista en un vrtice que sea extremo de ambas.
Una representacin de un grafo con estas condiciones se dice que es un mapa.
Un mapa es conexo si el grafo que representa es conexo.
Las regiones son las divisiones en varias partes de un plano.
El grado de una regin es la longitud del camino que la bordea.
La suma de los grados de las regiones de un mapa es igual al doble del numero de aristas del grafo que representa.

Formula de Euler

Sea M un mapa conexo con #R (numero de regiones) que representa al grafo G con #V (numero de vrtices) y con #E (numero de aristas),
entonces:

#V - #E + #R = 2

Teoremas

Si un grafo es plano conexo con #V > 2, entonces #E <= 3#V - 6.
Si en un grafo plano conexo con #V > 2, no existe ningn subgrafo isomorfo k3-regular, entonces #E <= 2#V - 4.
Dos regiones son adyacentes si los caminos que las bordean tienen alguna arista en comn.
Una coloracin es una aplicacin de tal manera que dos vrtices contiguos no puedan tener el mismo color.
Todo grafo plano admite una coloracin con cuatro colores.
Un grafo es bipartito si existe una coloracin con solo dos colores, o si y solo si no tiene ciclos con longitud impar.

Vous aimerez peut-être aussi