Estructura de Datos

Grfos
20/06/2011 Universidad Autnoma De Campeche Laura Witinea Avila

[Escribir texto]

Pgina 1

UNIVERSIDAD AUTNOMA DE CAMPECHE FACULTAD DE INGENIERA

WITINEA AVILA LAURA ARIDAI

ESTRUCTURA DE DATOS I

MAESTRO: CARLOS MARIO SOSA SILVA

4TO. SEMESTRE

GRUPO A

20/06/11

Witinea vila Laura

Pgina 2

GRAFOS

Qu es un 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. Un grafo es un conjunto, no vaco, de objetos llamados vrtices (o nodos) y una seleccin de pares de vrtices, llamados aristas que pueden ser orientados o no.

De que constan?

Tpicamente, un grafo se representa mediante una serie de puntos (los vrtices) conectados por lneas (las aristas).

Vrtices

Aristas

Grafo con 6 vrtices y 7 aristas

Witinea vila Laura

Pgina 3

Aristas dirigidas y no dirigidas En algunos casos es necesario asignar un sentido a las aristas, por ejemplo, si se quiere representar la red de las calles de una ciudad con sus direcciones nicas. El conjunto de aristas ser ahora un subconjunto de todos los posibles pares ordenados de vrtices, con (a, b) (b, a). Los grafos que contienen aristas dirigidas se denominan grafos orientados. Las aristas no orientadas se consideran bidireccionales para efectos prcticos (equivale a decir que existen dos aristas orientadas entre los nodos, cada una en un sentido).

El primer grafo es no dirigido ya que no importa el orden de los vrtices. El segundo grafo es dirigido, puesto que los vrtices estn ordenados, y tienen una direccin establecida.

Lazos o Bucles Un lazo o bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo final coinciden.

Witinea vila Laura

Pgina 4

Camino 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 nmero de aristas que contiene. Camino es cerrado Un camino es cerrado si sus extremos coinciden. Camino simple Es si en la sucesin de vrtices no hay ninguno repetido.

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.

Ciclo Un ciclo es un camino cerrado donde los nicos vrtices repetidos son el primero y el ltimo.

Witinea vila Laura

Pgina 5

Caracterizacin de grafos

Grafos simples Un grafo es simple si slo 1 arista que une dos vrtices cualesquiera. Esto es equivalente a decir que una arista cualquiera es la nica que une dos vrtices especficos. Un grafo que no es simple se denomina Multigrfica o Grfo mltiple.

Grafos conexos Un grafo es conexo si cada par de vrtices est conectado por un camino; es decir, si para cualquier par de vrtices (a, b), existe al menos un camino posible desde a hacia b. Un grafo es doblemente conexo si cada par de vrtices est conectado por al menos dos caminos disjuntos; es decir, es conexo y no existe un vrtice tal que al sacarlo el grafo resultante sea disconexo. Es posible determinar si un grafo es conexo usando un algoritmo Bsqueda en anchura (BFS) o Bsqueda en profundidad (DFS).

Witinea vila Laura

Pgina 6

rboles Un grafo que no tiene ciclos y que conecta a todos los puntos, se llama un rbol. En ciencias de la informtica, un rbol es una estructura de datos ampliamente usada que imita la forma de un rbol (un conjunto de nodos conectados). Un nodo es la unidad sobre la que se construye el rbol y puede tener cero o ms nodos hijos conectados a l. Se dice que un nodo a es padre de un nodo b si existe un enlace desde a hasta b (en ese caso, tambin decimos que b es hijo de a). Slo puede haber un nico nodo sin padres, que llamaremos raz. Un nodo que no tiene hijos se conoce como hoja. Los dems nodos (tienen padre y uno o varios hijos) se les conoce como rama.

rbol binario

Recorrido de los rboles

El recorrido en preorden, tambin llamado orden previo consiste en recorrer en

primer lugar la raz y luego cada uno de los hijos en orden previo. El recorrido en inorden, tambin llamado orden simtrico (aunque este nombre slo cobra significado en los rboles binarios) consiste en recorrer en primer lugar A1, luego la raz y luego cada uno de los hijos en orden simtrico. El recorrido en postorden, tambin llamado orden posterior consiste en recorrer en primer lugar cada uno de los hijos la raz. en orden posterior y por ltimo

Witinea vila Laura

Pgina 7

Grafica completa En teora de grafos, un grafo completo es un grafo simple donde cada par de vrtices est conectado por una arista. Un grafo completo de n vrtices tiene n(n 1) / 2 aristas, y se nota Kn. Es un grafo regular con todos sus vrtices de grado n 1. Ningn grafo completo tiene lazos y est conectado totalmente, por ende, la nica forma de hacer disconexo el grafo con una eliminacin de vrtices es aplicarla a todos. Los grafos completos de 1 a 12 vrtices son los siguientes:

k1:0

k2:1

k3:2

k4:6

k5:10

k6:15

k7:21

k8:28

k9:36

k10:45
Witinea vila Laura

k11:55

k12:66
Pgina 8

Grafos ponderados o etiquetados En muchos casos, es preciso atribuir a cada arista un nmero especfico, llamado valuacin, ponderacin o coste segn el contexto, y se obtiene as un grafo valuado.

Formalmente, es un grafo con una funcin v: A R+. Por ejemplo, un representante comercial tiene que visitar n ciudades conectadas entre s por carreteras; su inters previsible ser minimizar la distancia recorrida (o el tiempo, si se pueden prever atascos). El grafo correspondiente tendr como vrtices las ciudades, como aristas las carreteras y la valuacin ser la distancia entre ellas.

Y, de momento, no se conocen mtodos generales para hallar un ciclo de valuacin mnima, pero s para los caminos desde a hasta b, sin ms condicin.

Multgrafo Un multigrafo o pseudografo es un grafo que est facultado para tener aristas mltiples; es decir, aristas que relacionan los mismos nodos. De esta forma, dos nodos pueden estar conectados por ms de una arista. Formalmente, un multigrafo G es un par ordenado G:=(V, E) donde:

V es un conjunto de vrtices o nodos E es un multiconjunto de pares no ordenados de nodos, llamados aristas o lneas.

Un multidigrafo es un grafo dirigido que est facultado para tener aristas mltiples, es decir, aristas con los mismos nodos iniciales y finales. Formalmente, un multidigrafo G es un par ordenado G:=(V,A) donde:

V es un conjunto de vrtices o nodos A es un multiconjunto de pares ordenados de nodos, llamados aristas dirigidas, arcos o flechas.
Pgina 9

Witinea vila Laura

Un multidigrafo mixto G:=(V,E,A) puede definirse de la misma manera que un grafo mixto, es decir, con la capacidad de poseer al mismo tiempo aristas dirigidas (A) y no dirigidas (E).

Estructura Matriciales Matriz de incidencia - El grafo est representado por una matriz de A (aristas) por V (vrtices), donde [arista, vrtice] contiene la informacin de la arista (1 - conectado, 0 - no conectado) Matriz de adyacencia - El grafo est representado por una matriz cuadrada M de tamao n2, donde n es el nmero de vrtices. Si hay una arista entre un vrtice x y un vrtice y, entonces el elemento mx,y es 1, de lo contrario, es 0.
La matriz de adyacencia es una matriz cuadrada que se utiliza como una forma de representar relaciones binarias.

Witinea vila Laura

Pgina 10

Bibliografia:

http://www.google.com.mx/ http://es.wikipedia.org/wiki/Grafo http://es.wikipedia.org/wiki/Teor%C3%ADa_de_grafos http://es.wikipedia.org/wiki/Matriz_de_adyacencia http://www.monografias.com/trabajos16/grafos/grafos.shtml

Witinea vila Laura

Pgina 11