UNIVERSIDAD AUTONOMA DE CAMPECHE

FACULTAD DE INGENIERIA

ISC

INVESTIGACIN

CASANOVA RODRIGUEZ CECILIA DEL CARMEN

20 DE JUNIO DE 2011

ESTRUCTURA DE DATOS I INVESTIGACION

INDICE

DEFINICION DE GRAFOS3 DE QUE CONSTA UN GRAFO4 TIPOS DE GRAFOS..4 y y DIRIGIDOS NO DIRIGIDOS

TIPOS ESPECIALES DE GRAFOS6 y y y y y y y y y y Regular Ciclo Completo Rueda Cubo Bipartito Bipartito completo Multgrafo Pseudografo Grafo conexo

CAMINNO..10 CICLO.11 REPRESENTACION....12 ARBOL16 BIBLIOGRAFIA..17

ESTRUCTURA DE DATOS I INVESTIGACION

DEFINICION

Los grafos son estructuras discretas que aparecen ubicuamente en cada disciplina donde se requiera modelar algo. Por ejemplo, sirven para representar: El esquema organizacional de una empresa; Una red de computadores; Un rbol genealgico; La interaccin entre cientficos; La web semntica, etc. En general, los grafos son mapas conceptuales que nos ayudan a representar nuestro conocimiento. PUn grafo G est conformado por un conjunto no vaco V de vrtices o nodos, y un conjunto E de arcos o aristas, tal que cada e E tiene un par (v1, v2) V V asociado. En tal caso, decimos que e conecta v1 con v2. Note que dos arcos diferentes pueden conectar al mismo par de vrtices. En la anterior definicin V y E pueden ser finitos o infinitos. Ejemplo: Para representar una red de computadores, podemos usar un grafo en que cada nodo es un servidor y cada arco es una conexin.

ESTRUCTURA DE DATOS I INVESTIGACION

DE QUE CONSTA UN GRAFO? Un grafo consta de dos cosas: a) Un conjunto N cuyos elementos se llaman nodos, vrtices o puntos. b) Un conjunto S de parejas no ordenadas de nodos diferentes, llamadas segmentos o aristas. Denotamos un grafo por G(N, S) cuando queremos destacar las dos partes de G. Los nodos u y v se llaman adyacentes si hay un segmento {u, v}. Representamos de una manera natural los grafos por diagramas en el plano. O sea, cada nodo u de N se representa por un punto (o pequeo crculo) y cada segmento s= {[pic] } se representa por una curva que conecta sus terminales [pic]. TIPO DE GRAFOS Grficamente los vrtices se representan por crculos, las lneas (o aristas) pertenecen a los grafos no dirigidos y las flechas (o arcos) a los grafos dirigidos. Existen dos tipos de grafos los dirigidos y los no dirigidos: y Un dgrafo o grafo dirigido.- Es un par D = (V, E) consistente en un conjunto finito no vaco V cuyos miembros se llaman vrtices y una familia finita E de pares ordenados de vrtices a cuyos elementos llamaremos aristas o arcos. Al par (u, v) E lo denotaremos por uv y diremos que u es el extremo inicial y que v es el extremo final. Son aquellos en los cuales los lados estn orientados (flechas). Cada lado se representa entre ngulos, separando sus vrtices por comas y teniendo en cuenta <Vi, Vj >!=<Vj, Vi>. En grafos dirigidos, para cada lado <A, B>, A, el cual es el vrtice origen, se conoce como la cola del lado y B, el cual es el vrtice destino, se conoce como cabeza del lado.
4

ESTRUCTURA DE DATOS I INVESTIGACION

Un grafo dirigido (o dgrafo) consta de: 1. un conjunto finito de vrtices V 2. un conjunto de arcos E V V (obsrvese que cada arco es un par ordenado vrtices) Este es un ejemplo de un grafo dirigido

y No dirigidos: Son aquellos en los cuales los lados no estn orientados (No son flechas). Cada lado se representa entre parntesis, separando sus vrtices por comas. Son aquellos en los cuales los lados no estn orientados (No son flechas). Cada lado se representa entre parntesis, separando sus vrtices por comas, y teniendo en cuenta (Vi,Vj)=(Vj,Vi).

ESTRUCTURA DE DATOS I INVESTIGACION

TIPO ESPECIALES DE GRAFOS a) Un grafo regular de grado n si todos sus vrtices tienen grado n.

b) Se dice que un grafo es completo cuando todos sus vrtices son adyacentes a todos los vrtices del grafo, es decir, cuando cada par de vrtices son los extremos de una arista. Notaremos por Kn los grafos completos de n vrtices.

c) Un ciclo si V = {v1, v2,. . . vn}, n> 3, y E = {(v1, v2), (v2, v3), . . . , (vn, v1)}. Se denota por Cn al ciclo de n vrtices

ESTRUCTURA DE DATOS I INVESTIGACION

d) Una rueda si V = {v0, v1, v2, . . . vn}, n n vrtices.

3, y E = {(v1, v2), (v2, v3), . . . , (vn,

v1), {(v1, v0), (v2, v0), . . . , (vn, v0) }. Se denota por Wn a la rueda de n+1

e) Un cubo si sus vrtices y aristas estn relacionados como los de un cubo ndimensional. Se denota por Qn al cubo asociado al cubo n-dimensional.

ESTRUCTURA DE DATOS I INVESTIGACION

f) Un grafo bipartido si V=V1 V2 y cada arista de E une un vrtice de V1 y otro de V2.

g) Un grafo bipartido completo si V=V1 V2 y dos vrtices de V estn unidos por una arista de E si y solo si un vrtice est en V1 y el otro en V2. Se denota por Kr,s al grafo bipartido completo donde V1 tiene r vrtices y V2 tiene s vrtices.

ESTRUCTURA DE DATOS I INVESTIGACION

Grafo conexo 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). En trminos matemticos la propiedad de un grafo de ser (fuertemente) conexo permite establecer con base en l una relacin de equivalencia para sus vrtices, la cual lleva a una particin de stos en "componentes (fuertemente) conexas", es decir, porciones del grafo, que son (fuertemente) conexas cuando se consideran como grafos aislados. Esta propiedad es importante para muchas demostraciones en teora de grafos.

Multgrafos Llamaremos de esta forma a los grafos en los que haya pares de vertices unidos por ms de una arista. Pseudografo

ESTRUCTURA DE DATOS I INVESTIGACION

Llamaremos pseudografos a los grafos en los que existan aristas cuyos extremos coincidan, es decir, aquellos en los que existan aristas que unan vrtices consigo mismos. A tales aristas las llamaremos lazos o bucles.

CAMINO Sea G un grafo o un multgrafo. Un camino en G es una sucesin donde se alternan vrtices y aristas, comenzando y terminando con vrtices y en el que cada arista es incidente con los dos vrtices que la preceden y la siguen. Un camino que une los vrtices v1 y vn sera: v1, v1v2, v2, v2v3, . . . , vn 1, vn 1vn, vn Si se trata de un grafo (no un multgrafo) este camino tambin puede especificarse simplemente por la sucesin de sus vrtices, v1, v2, v3 . . . , vn 1, vn y lo representaremos por: = (v1, v2, v3, . . . , vn 1, vni) A los vrtices v1 y vn se les denomina extremos del camino. Suele decirse tambin que el camino conecta v1 con vn o que va de v1 a vn. La longitud del camino es el nmero n 1 de aristas que contiene.  Un camino es simple si en la sucesin de vrtices no hay ninguno repetido.
10

ESTRUCTURA DE DATOS I INVESTIGACION

 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 inciales y final del camino.  La longitud de un camino es el nmero 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 ltimo.  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. 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 Sea G un grafo o un multgrafo. Un ciclo en G es un camino en el que sus extremos coinciden. El ciclo ser simple si no hay, adems del primero y el ltimo, ningn otro vrtice repetido. En un grafo dirigido, utilizaremos los trminos caminos y ciclos dirigidos.

11

ESTRUCTURA DE DATOS I INVESTIGACION

Aqu tenemos un ejemplo de lo que es un camino y un ciclo.

= (v1, v2, v6, v3, v4, v6, v5) es un camino. = (v1, v2, v3, v4) es un camino simple ya que no hay ningn vrtice repetido. = (v1, v2, v6, v5, v4, v6, v2, v1) es un ciclo. = (v2, v3, v4, v5, v6, v6) es un ciclo simple ya que se repiten, nicamente, los vrtices primero y ltimo. REPRESENTACIN Existen varias estructuras de datos que pueden utilizarse para representar grafos y dgrafos. La eleccin de la estructura de datos adecuada depende del tipo de operaciones que se quieran aplicar al conjunto de vrtices y aristas (arcos) del grafo (dgrafo) en cuestin. Las representaciones ms comunes son las matrices de adyacencia y las listas de adyacencia. Matriz de adyacencia Dado un grafo (dgrafo) G = (V, E) con V = {1, 2, . . . , n}, la matriz de adyacencias de G es una matriz A de bolanos de tamao nn en la que A[i][j]

12

ESTRUCTURA DE DATOS I INVESTIGACION

es cierto si y slo si la arista (arco) que une al vrtice i con el vrtice j est en E ({i, j} en el caso de grafos y (i, j) en el caso de dgrafos). Sea G un grafo cuyo conjunto de vertices es V = {v1, v2,. . ., vp}. Llamaremos matriz de adyacencia del grafo G a la matriz A = (aij) de p filas y p columnas, donde aij = 1 si vi y vj son adyacentes 0 si vi y vj no son adyacentes Es fcil observar que la matriz de adyacencias de un grafo no dirigido es una matriz simtrica y que podemos ahorrar espacio (la mitad) guardando solo su parte inferior. En un grafo representado por matrices de adyacencia el tiempo que se requiere para accesar un elemento es independiente de las tallas de V y de E, por tanto, esta puede ser una representacin adecuada en las aplicaciones en las que es necesario saber con mucha frecuencia si una determinada arista (arco) est presente en el grafo (dgrafo). La desventaja principal de utilizar una matriz de adyacencias para representar un grafo (dgrafo) es que la matriz requiere un espacio (n2) incluso si el grafo (dgrafo) es esparzo, es decir, si tiene bastante menos de n2 aristas (arcos). Slo leer o examinar la matriz requerir tiempo O (n2), en perjuicio de posibles algoritmos de tiempo O(n) para manipular grafos (dgrafos) con O(n) aristas (arcos). Una alternativa para evitar esta desventaja es utilizar listas para representar un grafo. Ejemplos:

13

ESTRUCTURA DE DATOS I INVESTIGACION

Matriz de incidencia Sea G = (V,A) un grafo cuyos conjuntos de vertices y aristas son, respectivamente, V = {v1, v2, . . . , vp} y A = {a1, a2, . . . , aq} Llamaremos matriz de incidencia del grafo G a la matriz B = (bij) de p filas y q columnas, donde bij = 1, si vi y aj son incidentes. 0, en otro caso. La matriz de incidencia de un grafo permite representar tanto bucles como aristas repetidas entre dos vrtices. Si el grafo no tiene bucles, entonces cada columna tiene dos 1 y la suma de cada fila nos da el grado del vrtice correspondiente. Ejemplos:

14

ESTRUCTURA DE DATOS I INVESTIGACION

15

ESTRUCTURA DE DATOS I INVESTIGACION

ARBOL Un rbol es un grafo en el que dos vrtices estn conectados por exactamente un camino. Un bosque es un grafo en el que dos vrtices cualquiera estn conectados por como mximo un camino. Una definicin equivalente es que un bosque es una unin disjunta de rboles. Un rbol a veces recibe el nombre de rbol libre. Propiedades Todo rbol es a su vez un grafo bipartido. Todo rbol con slo un conjunto contable de vrtices es adems un grafo plano. Todo grafo conexo G admite un rbol de cobertura, que es un rbol que contiene cada vrtice de G y cuyas aristas son aristas de G. Tipos de arboles rbol binario: es una estructura de datos en la cual cada nodo siempre tiene un hijo izquierdo y un hijo derecho. No pueden tener ms de dos hijos (de ah el nombre "binario"). Si algn hijo tiene como referencia a null, es decir que no almacena ningn dato, entonces este es llamado un nodo externo. En el caso contrario el hijo es llamado un nodo interno. Usos comunes de los rboles binarios son los rboles binarios de bsqueda, los montculos binarios y Codificacin de Huffman. Un rbol binario de bsqueda auto-balanceable o equilibrado: es un rbol binario de bsqueda que intenta mantener su altura, o el nmero de niveles de nodos bajo la raz, tan pequeos como sea posible en todo momento, automticamente. Esto es importante, ya que muchas operaciones en un rbol de bsqueda binaria tardan un tiempo proporcional a la altura del rbol, y los rboles binarios de bsqueda ordinarios pueden tomar alturas muy grandes en situaciones normales, como cuando las claves son insertadas en orden. Mantener baja la altura se consigue habitualmente realizando transformaciones en el rbol, como la rotacin de rboles, en momentos clave.
16

ESTRUCTURA DE DATOS I INVESTIGACION

BIBLIOGRAFIA y y y WWW.BUENASTAREAS.COM WWW.WIKIPEDIA.COM WWW.DOCENCIA.UDEA.EDU.CO/REGIONALIZACION/TEORIADE REDES/INFORMACI %F3N/C1_REPRESENTACIONMATRICES.PDF 080608 12:30 y y WWW.DMA.FI.UPM.ES/DOCENCIA/SEGUNDOCICLO/TEORGRAF HTTP://WWW2.UDEC.CL/~GRAFOS/GRAFOS/EJERC/EJERC1/EJE RC1.HTM

LINK

17