Clasificación de Grafos

Transcripción

1 Grafos

2 Clasificación de Grafos Los grafos se utilizan en aplicaciones muy diversas (redes de comunicaciones, redes de transporte, circuitos, planificación de tareas) cada una de las cuales utiliza una noción distinta de grafo. Los grafos de pueden clasificar atendiendo Al número de arcos que puedan existir entre dos nodos: Grafos múltiples (vuelos entre aeropuertos) Grafos simples (líneas de ferrocarril) A la orientación de los arcos: Grafos orientados (vuelos entre aeropuertos) Grafos no orientados (red de carreteras, líneas de teléfono) A la existencia de funciones definidas sobre los arcos o los nodos: Grafos no valorados Grafos valorados (red de carreteras con kms, vuelos con duración) Grafos 2

3 Nociones de Grafo Orientado La noción más general corresponde a un grafo orientado con posibilidad de múltiples arcos entre dos nodos (grafo múltiple orientado): G = (N,A,o,d) N conjunto de nodos A conjunto de arcos o,d : A -> N aplicaciones origen y destino Cuando sólo se admite la posibilidad de un arco, a lo más, entre cada dos nodos (grafo simple orientado), cada arco a puede identificarse con el par de nodos (o(a),d(a)) y los grafos con las relaciones binarias entre nodos: G = (N, A), con A N N. Grafos 3

4 Grafos orientados Los grafos orientados se pueden generar de muchas formas: a partir de un conjunto inicial de nodos aislados, estableciendo arcos entre dichos nodos; a partir de un conjunto inicial de nodos aislados, estableciendo arcos que pueden involucrar nuevos nodos; a partir de un conjunto inicial de nodos, añadiendo conjuntos de sucesores a los nodos establecidos; a partir de un conjunto vacío de arcos añadiendo arcos (y sus correspondientes nodos).... Grafos 4

5 Grafos múltiples orientados Los grafos múltiples orientados se pueden representar también como pares G = (N,{(a,o(a),d(a)) a A}) donde las aplicaciones o y d quedan definidas de forma implícita. Estas representaciones se pueden generar, de forma incremental, a partir de un conjunto inicial de nodos aislados añadiendo tripletas (a,n1,n2) en las que n1 y n2 pueden ser nodos del conjunto inicial o pueden ser nodos nuevos. Grafos 5

6 Grafos Múltiples Orientados (I) (fmod GRAFOmOR [N :: TRIV; A :: TRIV] is protecting CONJUNTO[N]. protecting CONJUNTO[A]. protecting LISTA[A]. sorts GMO[N,A] Elt?. subsort Cj[N] < GMO[N,A]. subsort Elt.N < Elt?. op _[_:_->_] : GMO[N,A] Elt.A Elt.N Elt.N -> GMO[N,A] [ctor]. var G: GMO[N, A]. vars N1 N2 N3 N4: Elt.N. vars A1 A2: Elt.A. eq G[A1:N1->N2][A2:N3->N4] = if A1 == A2 then G[A2:N3->N4] else G[A2:N3->N4][A1:N1->N2] fi. Grafos 6

7 Grafos Múltiples Orientados (II) op arcos : GMO[N,A] -> Cj[A]. op borrararc : Elt.A GMO[N,A] -> GMO[N,A]. op nodos : GMO[N,A] -> Cj[N]. op sucs : Elt.N GMO[N,A] -> Cj[N]. ops origen destino : Elt.A GMO[N,A] -> Elt?.N. op escamino? : ListaNv[A] GMO[N,A] -> Bool. ops origen destino : ListaNv[A] GMO[N,A] -> Elt?. var C: Cj[N]. var L : ListaNv[A]. eq arcos(c) = {}. eq arcos(g[a1:n1->n2]) = {A1,arcos(G)}. eq borrararc(a2,c) = C. eq borrararc(a2,g[a1:n1->n2]) = if A2 == A1 then borrararc(a2,g) else (borrararc(a2,g))[a1:n1->n2] fi. Grafos 7

8 Grafos Múltiples Orientados (III) eq nodos(c) = C. eq nodos(g[a1:n1->n2]) = {N2,{N1,nodos(borrarArc(A1,G))}}. eq sucs(n3,c) = {}. eq sucs(n3,g[a1:n1->n2]) = if N3 == N1 then {N2,sucs(N3,borrarArc(A1,G))} else sucs(n3,borrararc(a1,g)) fi. eq origen(a2,g[a1:n1->n2]) = if A2 == A1 then N1 else origen(a2, G) fi. eq destino(a2,g[a1:n1->n2]) = if A2 == A1 then N2 else destino(a2,g) fi. Grafos 8

9 Grafos Múltiples Orientados (IV) eq escamino?(a1:nil,g) = pertenece?(a1,arcos(g)). eq escamino?(a1:l,g) = if pertenece?(a1,arcos(g)) then (destino(a1) == origen(cabeza(l))) and escamino?(l,g) else false fi. eq origen(l,g) = origen(cabeza(l),g). eq destino(a1:nil,g) = destino(a1,g). eq destino(a1:l,g) = destino(l,g). endfm) Grafos 9

10 Ejercicios Especificad, para grafos múltiples orientados, las operaciones siguientes: preds : Elt.N GMO[N] -> Cj[N] existearco? : Elt.N Elt.N GMO[N] -> Bool borrarnodo : Elt.N GMO[N] -> GMO[N] que determinen, para un grafo dado, el conjunto de predecesores de un nodo, si existe un arco entre dos nodos y el grafo resultante de eliminar un cierto nodo (y los arcos relacionados), respectivamente. Volved a enunciar la especificación de grafo múltiple orientado con la restricción de que sólo se puedan añadir arcos con los extremos dentro del conjunto inicial de nodos. Grafos 10

11 Grafos simples orientados Los grafos simples orientados se pueden representar como pares G = (N,A) donde el conjunto de arcos A es un conjunto de pares de nodos. Estas representaciones se pueden generar también, de forma incremental, a partir de un conjunto inicial de nodos aislados, añadiendo pares (n1, n2), siendo n1 y n2 nodos del conjunto inicial o nodos nuevos, incrementando así el conjunto de arcos y posiblemente el conjunto de nodos. Grafos 11

12 Grafos simples orientados (I) (fmod GRAFOsOR [N :: TRIV] is protecting CONJUNTO[N]. protecting LISTA[N]. sort GSO[N]. subsort Cj[N] < GSO[N]. op _[_ -> _] : GSO[N] Elt.N Elt.N -> GSO[N] [ctor]. op borrararc : Elt.N Elt.N GSO[N] -> GSO[N]. op nodos : GSO[N] -> Cj[N]. op sucs : Elt.N GSO[N] -> Cj[N]. op esarco? : Elt.N Elt.N GSO[N] -> Bool. op escamino? : ListaNv[N] GSO[N] -> Bool. vars N1 N2 N3 N4 : Elt.N. var G : GSO[N,A]. var C : Cj[N]. var L : ListaNv[N]. Grafos 12

13 Grafos simples orientados (II) eq G[N1->N2][N3->N4] = if (N1 == N3) and (N2 == N4) then G[N1->N2] else G[N3->N4][N1->N2] fi. eq nodos(c) = C. eq nodos(g[n1->n2]) = {N1, {N2,nodos(G)}}. eq esarco?(n1,n2,c) = false. eq esarco?(n1,n2,g[n3->n4]) = if (N1 == N3) and (N2 == N4) then true else esarco?(n1,n2,g) fi. eq sucs(n3,c) = {}. eq sucs(n3,g[n1->n2]) = if N3 == N1 then {N2,sucs(N3,G)} else sucs(n3,g) fi. Grafos 13

14 Grafos simples orientados (III) eq borrararc(n3,n4,c) = C. eq borrararc(n3,n4,g[n1->n2]) = if (N3 == N1) and (N4 == N2) then borraarc(n3,n4,g) else (borraarc(n3,n4,g))[n1->n2] fi. eq escamino?(l,c) = false. eq escamino?(n1:nil,g) = false. eq escamino?(n1:l,g) = if cola(l) == nil then esarco?(n1,cabeza(l),g) else esarco?(n1,cabeza(l),g) and escamino?(l,g) fi. endfm) Grafos 14

15 Recorridos sobre Grafos (I) La mayoría de las operaciones importantes que se realizan sobre un grafo (cálculo de caminos, caminos mínimos, componentes conexas, etc.) requieren de un recorrido sobre el grafo. Los grafos se pueden recorrer en profundidad y en amplitud. El primero se utiliza para identificar propiedades estructurales y el segundo para propiedades en las que las características estructurales no son relevantes. A diferencia de los árboles, cuando se elimina un nodo en un grafo el número de componentes conexas que resulta puede ser menor que el número de sucesores del nodo. Algún sucesor, o incluso el propio nodo, puede ser alcanzable desde otro sucesor. Grafos 15

16 Recorridos sobre Grafos (II) En consecuencia, para recorrer un grafo hay que utilizar: algún procedimiento para seleccionar nodos y algún procedimiento para marcar los nodos visitados de manera que no se vuelva a ellos. Se necesita una ordenación de los nodos para que se pueda construir una lista a partir del conjunto de nodos (lista de candidatos) que marque un orden de visita. De la lista de candidatos se saca el primer nodo y, si no ha sido visitado, pasa al final del recorrido y la lista de sus sucesores se incorpora a la lista de candidatos al comienzo (recorrido en profundidad) o al final (recorrido en amplitud); en cambio, si ha sido visitado, se quita y se considera el candidato siguiente. Grafos 16

17 Recorridos sobre Grafos (III) (fmod GSORECORRIDOS [N :: TOSET] is protecting GRAFOsOR[Ord][N]. protecting CONJUNTOORD[N]. op listaprof : GSO[Ord][N] -> Lista[Ord][N]. op ilistaprof: GSO[Ord][N] Lista[Ord][N] Lista[Ord][N] -> Lista[Ord][N]. op listaamp : GSO[Ord][N] -> Lista[Ord][N]. op ilistaamp: GSO[Ord][N] Lista[Ord][N] Lista[Ord][N] -> Lista[Ord][N]. op elimlista : Lista[Ord][N] Cj[Ord][N] -> Cj[Ord][N]. var N1 : Elt.N. vars L1 L2 : Lista[Ord][N]. var G : GSO[Ord][N]. var C : Cj[Ord][N]. Grafos 17

18 Recorridos sobre Grafos (IV) eq listaprof(g) = ilistaprof(g,listado(nodos(g)),nil). eq ilistaprof(g,nil,l1) = L1. eq ilistaprof(g,n1:l1,l2) = if esta(n1,l2) then ilistaprof(g,l1,l2) else ilistaprof(g,listado(sucs(n1,g))++l1,l2++(n1:nil)) fi. eq listaamp(g) = ilistaamp(g,cabeza(listado(nodos(g))),nil). eq ilistaamp(g,nil,l1) = if longitud(l1)==card(nodos(g)) then L1 else ilistaamp(g,cabeza(listado(elimlista(l1,nodos(g)))),l1) fi. eq ilistaamp(g,n1:l1,l2) = if esta(n1,l2) then ilistaamp(g,l1,l2) else ilistaamp(g,l1++listado(sucs(n1,g)),l2++(n1:nil)) fi. eq elimlista(nil,c) = C. eq elimlista(n1:l1,c) = elimlista(l1,eliminar(n1,c)). endfm) Grafos 18

19 Ejercicios Especificar cada una de las operaciones siguientes sobre grafos simples orientados con recorridos: accesibles : Elt.N GSO[N] -> Lista[Ord][N]. haycamino? : Elt.N Elt.N GSO[N] -> Bool. equivalentes? : Elt.N Elt.N GSO[N] -> Bool. aciclico? : GSO[N] -> Bool. fconexo : GSO[N] -> Bool. que determinen, respectivamente, el conjunto de nodos que se pueden alcanzar desde un nodo dado, si hay un camino desde el primer nodo al segundo, si hay caminos para pasar de cada uno de los nodos al otro, si no existen ciclos en el grafo o si el grafo es fuertemente conexo (hay un nodo equivalente con todos los demás) Grafos 19

20 Grafos como conjuntos de arcos Los grafos simples orientados G = (N, A), cuando no se contempla la posibilidad de nodos aislados, se pueden considerar como conjuntos de arcos, es decir, como conjuntos de pares de nodos. Estas representaciones se pueden generar, de forma parecida a las funciones parciales, a partir de un conjunto vacío de arcos, agregando arcos uno a uno. Grafos 20

21 Grafos: conjuntos de arcos (I) fmod GRAFOor [N :: TRIV] is protecting CONJUNTO[N]. protecting LISTA[N]. sort GSO[N]. op gfov : -> GSO[N] [ctor]. op _ (_->_) : GSO[N] Elt.N Elt.N -> GSO[N] [ctor]. op nodos : GSO[N] -> Cj[N]. op sucs : Elt.N GSO[N] -> Cj[N]. op borrararc : Elt.N Elt.N GSO[N] -> GSO[N]. op esarco? : Elt.N Elt.N GSO[N] -> Bool. op escamino? : ListaNv[N] GSO[N] -> Bool. vars N1 N2 N3 N4 : Elt.N. var G : GSO[N]. var L : ListaNv[N]. eq G(N1->N2)(N3->N4) = if (N1==N3 and N2==N4) then G(N1->N2) else G(N3->N4)(N1->N2) fi. Grafos 21

22 Grafos: conjuntos de arcos (II) eq nodos(gfov) = {}. eq nodos(g(n1->n2)) = {N1,N2,nodos(G)}. eq sucs(n3,gfov) = {}. eq sucs(n3,g(n1->n2)) = if N3 == N1 then {N2,sucs(N3,G)} else sucs(n3,g) fi. eq borrararc((n3->n4),gfov) = gfov. eq borrararc((n3->n4),g(n1->n2)) = if N3 == N1 and N4 == N2 then borrararc((n3->n4),g) else (borrararc((n3->n4),g))(n1->n2) fi. eq esarco?(n3,n4,gfov) = false. eq esarco?(n3,n4,g(n1->n2)) = if N3 == N1 and N4 == N2 then true else esarco?(n3,n4,g) fi. eq escamino?(n1:nil,g) = false. eq escamino?(n1:l,g) = if cola(l) == nil then esarco?(n1,cabeza(l),g) else esarco?(n1,cabeza(l),g) and escamino?(l,g) fi. endfm) Grafos 22

23 Grafos no Orientados Los grafos no orientados se caracterizan porque en ellos, el orden de los extremos de los arcos no tiene ninguna relevancia. En el caso de grafos múltiples serían grafos con una función extremo definida sobre los arcos (en lugar de las funciones o y d), que asigna un conjunto de dos nodos a cada arco. En el caso de los grafos simples se pueden identificar con aquellos correspondientes a relaciones simétricas (por cada arco a->b debe haber otro b->a). En cualquier caso siempre se puede enunciar una especificación adecuada a grafos no orientados con nomenclatura propia donde cada eje a<->b es equivalente a b<->a. Grafos 23

24 Grafos no Orientados (I) (fmod GRAFOsNOr [N :: TOSET] is protecting CONJUNTOORD[N]. protecting LISTA[Ord][N]. sorts GsNo[N] GsNo?[N]. subsorts Cj[Ord][N] < GsNo[N] < GsNo?[N]. op conectar : Elt.N Elt.N GsNo[N] -> GsNo?[N] [ctor]. -- solo nodos del conjunto inicial op nodos : GsNo[N] -> Cj[Ord][N]. op adyacs : Elt.N GsNo[N] -> Cj[Ord][N]. op desconectar : Elt.N Elt.N GsNo[N] -> GsNo[N]. op borrarnodo : Elt.N GsNo[N] -> GsNo[N]. op esarista? : Elt.N Elt.N GsNo[N] -> Bool. op escamino? : ListaNv[Ord][N] GsNo[N] -> Bool. op listaprof : GsNo[N] -> Lista[Ord][N]. op ilistaprof : GsNo[N] Lista[Ord][N] Lista[Ord][N] -> Lista[Ord][N]. Grafos 24

25 Grafos no Orientados (II) vars N1 N2 N3 N4 : Elt.N. var G : GsNo[N]. var C : Cj[Ord][N]. cmb conectar(n1,n2,g) : GsNo[N] if esta?(n1,nodos(g)) and esta?(n2,nodos(g)). eq conectar(n3,n4,conectar(n1,n2,g)) = if (N3==N1 and N4==N2) or (N3==N2 and N4==N1) then conectar(n1,n2,g) else conectar(n1,n2,conectar(n3,n4,g)) fi. eq nodos(c) = C. ceq nodos(conectar(n1,n2,g)) = nodos(g) if esta?(n1,nodos(g)) and esta?(n2,nodos(g)).... endfm) Grafos 25

26 Ejercicios (I) Completar la especificación anterior Añadir a la especificación anterior las operaciones siguientes: accesibles : Elt.N GsNo[N] -> CjOr[N]. haycamino? : Elt.N Elt.N GsNo[N] -> Bool. aciclico? : GsNo[N] -> Bool. conexo? : GsNo[N] -> Bool. que determinen, respectivamente, el conjunto de nodos que se pueden alcanzar desde un nodo dado, si hay un camino entre el primer nodo y el segundo, si no existen ciclos en el grafo o si el grafo es conexo (todos los nodos está conectados) Grafos 26

27 Ejercicios (II) Sobre la especificación dada para grafos simples no orientados, especificad las operaciones siguientes: caminop : Elt.N Elt.N GsNo[N] -> Lista[Ord][N]. uniong : GsNo[N] GsNo[N] -> GsNo[N]. compconexa : Elt:N GsNo[N] -> GsNo[N]. que calculen, respectivamente, un camino desde primer nodo al segundo siguiendo un recorrido en profundidad, la unión de dos grafos y el subgrafo conexo maximal que contiene a un nodo. Grafos 27

28 Valoraciones sobre grafos Grafos 28