Colas de Prioridad

Tema 7
Colas de prioridad
7.1. Plantillas de clases y funciones en C++ 7.2. El TAD Cola de Prioridad 7.3. El mont culo binario (heap)
IS13. Estructuras de datos y de la informaci on 2003/2004
Plantillas de clases y funciones en C++

Hasta ahora hemos dotado de cierto grado de genericidad a una clase mediante una denici on de tipo: typedef int TBL; que obliga a modicar la denici on de la clase y recompilarla para adaptar la clase al tipo espec co que necesitamos. C++ proporciona un mecanismo expl cito para denir clases y funciones gen ericas. Una plantilla de clase o de funci on es un modelo para crear clases o funciones en el que se parametrizan uno o m as tipos o valores. template <class TBABB> class ArbolBB; template <class T> int SeparaIntervalo (T* vec, int n, T inf, T sup);
template <class TBL> class Lista { public: ... private: ... };

2

Declaraci on y denici on de plantillas de clase Una declaraci on o denici on de plantilla empieza con template. A continuaci on se da una lista de par ametros de plantilla, separados por comas y delimitados por < y >. No puede estar vac a. Un par ametro de plantilla puede ser de tipo o de expresi on constante. Par ametro de tipo. Se compone de class o typename y un identicador. class y typename son equivalentes en esta lista de par ametros. Cualquier tipo predenido de C++ (int, float, char*, etc.) o denido por el usuario podr a ser un argumento v alido como par ametro de tipo. Un par ametro de tipo es un especicador de tipo en toda la denici on de la plantilla. Puede usarse en los mismos contextos que un tipo en una clase. Par ametro de expresi on constante. Es una declaraci on normal de un par ametro. El nombre del par ametro representa un valor constante.
IS13. Estructuras de datos y de la informaci on 2003/2004 3
Transformaci on de la clase Vector (de enteros) en una plantilla de clase. class Vector { public: typedef int TBV; explicit Vector(int cap_inicial=0) { capacidad=cap_inicial; elementos=new TBV[cap_inicial]; } ... }; template <class TBV> class Vector { public: explicit Vector(int cap_inicial=0) { capacidad=cap_inicial; elementos=new TBV[cap_inicial]; } ... }; // El resto de la denici on de la plantilla es igual que la de la clase Vector
Tras la lista de par ametros de plantilla, se da la declaraci on o denici on de la plantilla de clase, exactamente igual que una declaraci on o denici on normal de clase. Dentro de la denici on de la plantilla de clase, su nombre puede utilizarse como especicador de tipo, igual que se hacia hasta ahora con el nombre de una clase. Cada ocurrencia de Vector<TBV>. Vector dentro de su denici on es un abreviatura de
Esta abreviatura s olo puede utilizarse aqu y dentro de la denici on de sus miembros. Cuando se utiliza fuera de su denici on, se debe especicar la lista de par ametros completa: Vector<TBV>.

Instanciaci on de plantillas de clase Una denici on de plantilla de clase sirve como modelo para la generaci on autom atica de instancias de tipo espec co de la clase. Cuando despu es se escribe: Vector<double> vd; se crea autom aticamente una clase Vector cuyos componentes son de tipo double. El resultado es equivalente a reescribir el texto de la denici on de la plantilla de clase sustituyendo TBV por double y quitando template <class TBV>. La creaci on de una clase concreta a partir de una plantilla gen erica de clase se llama instanciaci on de la plantilla. Vector<int> vi; vector de enteros Vector<char*> vpc; vector de punteros a caracteres Vector<bool> *pvb; puntero a vector de booleanos
Cada instanciaci on de una plantilla de clase es una clase independiente Los objetos de la clase Vector<int> no tienen permiso de acceso a los miembros no p ublicos de Vector<char*>. La lista de argumentos de plantilla se separa por comas y se delimita por < y >, asoci andose los tipos y valores espec cos dados en la instanciaci on a los par ametros de plantilla por su posici on. Vector<int> es un nombre de clase, e <int> es su lista de argumentos. Una instancia de una plantilla de clase puede utilizarse en un programa donde pueda utilizarse cualquier clase, y sus objetos se declaran y usan como los de cualquier clase. void Ordena(Vector<long> & vl) { ... } Vector<float> *pvf = new Vector<float>[100];

M etodos de las plantillas de clase Se pueden denir dentro de la denici on de la plantilla de clase (inline), o fuera. Si un m etodo se dene fuera, debe hacerse con una sintaxis especial: template <class TBV> inline Vector<TBV>::Vector(int cap_inicial) { capacidad = cap_inicial; elementos = new TBV[cap_inicial]; } Se debe escribir template con la misma lista de par ametros que la plantilla de clase, para que el m etodo sea una plantilla de funci on con los mismos par ametros. Se debe cualicar el nombre del m etodo (constructor, en este caso) con el nombre de la plantilla de clase acompa nada de la lista de par ametros de plantilla. En el cuerpo del m etodo, los par ametros de plantilla se pueden usar sin cualicar.

template <class TBV> void Vector<TBV>::Inicia(int pri, int fin, TBV val) { ... } template <class TBV> Vector<TBV> & Vector<TBV>::operator=(const Vector & der) { ... } template <class TBV> void Vector<TBV>::ModificaCapacidad(int nueva_cap) { ... } template <class TBV> void Vector<TBV>::Mostrar(ostream & fsal) const { ... } // El c odigo de cada uno de estos m etodos de la plantilla es el mismo // que hab a en su correspondiente m etodo de la clase Vector
Plantillas de funci on Se declaran y denen igual que las plantillas de clase: template m as la lista de par ametros. Despu es se declara o dene la plantilla como una funci on normal, incluyendo el uso de los par ametros de plantilla. La instanciaci on de plantillas de funci on es distinta de las de clase. En principio, no es necesario dar la lista de argumentos de plantilla, porque puede deducirse de los tipos de los argumentos de funci on. Cuando sea necesario puede darse una lista expl cita de argumentos de plantilla.
10
template <class T> int SeparaIntervalo(T* vec, int n, const T & inf, const T & sup) { int ult = -1; T tmp; for (int i=0 ; i < n ; i++) if (inf <= vec[i] && vec[i] <= sup) { ult++; tmp = vec[ult]; vec[ult] = vec[i]; vec[i] = tmp; } return(ult); } ... char vc[500]; double * vd = new double[3000]; ... int u1 = SeparaIntervalo(vc,500,g,m); int u2 = SeparaIntervalo(vd,3000,34.0945,7772.8097021); int u3 = SeparaIntervalo<double>(vd,3000,34.0945,7772.8097021);
11

Las plantillas se pueden sobrecargar, conjuntamente con las funciones normales. El compilador elegir a la m as apropiada para una llamada entre las funciones y las instancias factibles de las plantillas, seg un los argumentos y sus tipos. template <class T> int SeparaIntervalo(Vector<T> & vec, const T & inf, const T & sup) { int ult = -1; T tmp; for (int i=0 ; i < vec.Capacidad() ; i++) if (inf <= vec[i] && vec[i] <= sup) { ult++; tmp = vec[ult]; vec[ult] = vec[i]; vec[i] = tmp; } return(ult); } ... long * vl1 = new long[1000]; Vector<long> vl2(2500); ... int u4 = SeparaIntervalo(vl1,1000,999999,4999999); int u5 = SeparaIntervalo(vl2,999999,4999999);

Amistad en las plantillas de clase Conoceremos s olo la declaraci on de amistad de una plantilla de funci on en una de clase en la que ambas utilizan la misma lista de par ametros de plantilla. template <class TBV> class Vector { friend ostream & operator<< <TBV>(ostream &, const Vector<TBV> &); ... }; template <class Tipo> ostream & operator<<(ostream & fsal, const Vector<Tipo> & v) { fsal << "["; if (v.capacidad > 0) { for (int i=0 ; i < v.capacidad-1 ; i++) fsal << v.elementos[i] << ", "; fsal << v.elementos[v.capacidad-1]; } fsal << "]"; Una instancia de tipo espec co de la plantilla de clase s olo } da acceso a instancias del mismo tipo de la plantilla de funci on.
Cuando se instancie Vector con un determinado tipo, como por ejemplo: struct Punto3D { double x, y, z; }; Vector<short> vec1; Vector<Punto3D> vec2; es responsabilidad del programador asegurarse de que ese tipo est e provisto del operador de salida <<, ya que es necesario en: fsal << v.elementos[i] << ", "; As , no se obtendr a error de compilaci on al escribir: cout << vec1; cout << vec2; Correcto Error: Punto3D no tiene denido <<
Si el tipo no dispone del operador de salida <<, puede instanciarse Vector, y no habr a ninguna pega mientras no se utilice el operador de salida de Vector.

Tipos anidados en plantillas de clases Se puede anidar la denici on de una plantilla de clase dentro de la denici on de otra. template <class TBP> class Pila { public: ... private: struct Nodo { TBP elem; Nodo * sig; Nodo(const TBP& e, Nodo* s) { elem = e; sig = s; } }; typedef Nodo * Enlace; Enlace top; int talla; ... La clase anidada se }; dene de esta manera
template <class TBP> class Pila { public: ... private: template <class TBP> struct Nodo { TBP elem; Nodo * sig; Nodo(const TBP& e, Nodo* s) { elem = e; sig = s; } }; typedef Nodo<TBP> * Enlace; Enlace top; int talla; ... ... y debe entenderse como }; si se realizase esta asociaci on
15

Aunque la denici on de la plantilla anidada no va precedida de template <class TBP>, es una plantilla de manera autom atica y el par ametro TBP se puede utilizar dentro de su denici on. Se asocia cada instanciaci on de la clase contenedora para un tipo espec co con la instanciaci on de la clase anidada para el mismo tipo espec co. Tambi en se pueden anidar deniciones de tipos (typedef) y enumeraciones (enum) en una plantilla de clase. Un tipo p ublico anidado puede referenciarse fuera de la plantilla, pero debe ser referenciado como miembro de una instancia, y no de la plantilla. Por ejemplo, si Enlace fuese p ublico deber a referenciarse como: Pila<int>::Enlace ptraux; y no como: Pila::Enlace ptraux;

Compilaci on de plantillas de clase Cuando el compilador procesa la denici on de una plantilla de clase se guarda una representaci on interna, pero no genera c odigo correspondiente a la misma. Cuando se instancia una plantilla de clase para un tipo espec co, entonces s se genera c odigo correspondiente a esta instancia, utilizando la representaci on interna guardada previamente. Para ello siempre es necesario que la denici on de la plantilla haya sido procesada antes de que la plantilla tenga que instanciarse. Para asegurar que esto se realiza en todo chero que requiera una instanciaci on de la plantilla, conviene: colocar la denici on de plantillas de clase en cheros de cabecera .h, e incluirlos en los cheros necesarios (como se hace con la denici on de clases).
Respecto a los m etodos, miembros de clase y tipos anidados de una plantilla de clase, el est andar C++ ofrece dos posibilidades: A nadir su denici on a la denici on de la plantilla de clase en el chero de cabecera. Dar su denici on en un chero de c odigo separado .c++ (igual que se hace con la denici on de los m etodos, miembros de clase y tipos anidados de una clase). Esta segunda posibilidad a un no es factible utilizarla. No est a soportada por muchos compiladores, y por algunos s olo parcialmente. Usaremos la primera forma de denici on de miembros de la plantilla de clase. Aunque ello tiene la desventaja de no encapsular los detalles de la implementaci on, tendremos la ventaja de poder compilar directamente y de la misma forma en cualquier compilador.
Cuando se dene una plantilla de clase o sus miembros, se debe tener en cuenta qu e identicadores utilizados dependen de alg un par ametro de la plantilla y cu ales no. Los nombres que no dependen de par ametros de la plantilla se resuelven al procesar la denici on de la plantilla. Los que s dependen de alg un par ametro de la plantilla se resuelven al instanciar la plantilla para alg un tipo espec co. En ambos casos, los identicadores utilizados deber an estar declarados o denidos antes de que se necesiten.
19

vector, de la STL de C++, ofrece las operaciones de Vector y muchas m as. #include <vector> Constructor: vector<double> v(64), u, x(28,-13.987); Se puede iniciar el vector con el valor dado como segundo argumento. Si no, lo inicia al valor por defecto del tipo. Destructor Constructor copia: vector<double> w(v); Asignaci on: u = v; Indexaci on (para lectura y escritura de elementos): v[i] = w[j] + u[k]; Consulta de su talla: v.size() Modicaci on de su talla: w.resize(17); x.resize(1024,-0.001);
20
El TAD Cola de Prioridad

Una cola de prioridad es una generalizaci on de los conceptos de pila y cola en la que, tras entrar en la cola, la salida de los elementos no se basa necesariamente en el orden de llegada sino que se basa en un orden denido entre ellos. La extracci on de elementos de una cola de prioridad puede buscar minimizar o maximizar el valor del elemento saliente. La interpretaremos en el sentido de minimizar. Para maximizar tan s olo hay que cambiar el sentido de las comparaciones. En el modelo b asico de una cola de prioridad la operaciones que consideramos son: insertar en la cola, obtener el elemento m nimo, y eliminar el elemento m nimo. La realizaci on de estas operaciones no requiere mantener ordenada (ni total ni parcialmente) la colecci on de elementos en la cola.

Algunas aplicaciones importantes de las colas de prioridad: Gesti on de procesos en un sistema operativo. Los procesos no se ejecutan uno tras otro en base a su orden de llegada. Algunos procesos deben tener prioridad (por su mayor importancia, por su menor duraci on, etc.) sobre otros. Implementaci on de algoritmos voraces, los cuales proporcionan soluciones globales a problemas bas andose en decisiones tomadas s olo con informaci on local. La determinaci on de la mejor opci on local suele basarse en una cola de prioridad. Algunos algoritmos sobre grafos, como la obtenci on de caminos o arboles de expansi on de m nimo coste, son ejemplos representativos de algoritmos voraces basados en colas de prioridad. Implementaciones ecientes de algoritmos de simulaci on de sucesos discretos. En estas, el avance del tiempo no se gestiona incrementando un reloj unidad a unidad, sino incrementado sucesivamente el reloj al instante del siguiente suceso.

TAD Cola de Prioridad Elementos: En el conjunto de elementos X hay denido un orden lineal <:
x, y X , x = y (x < y y < x) (y < x x < y ). CP es el conjunto de multiconjuntos nitos de elementos de X . (En un multiconjunto los elementos pueden repetirse. P.e.: {7, 4, 7, 2, 7, 4}.) Operaciones: Dados CP CP y x X :
Crear() : Devuelve . Destruir(CP ) : Elimina CP . Est aVac a(CP ) : Devuelve cierto si CP = , y falso si CP = . Longitud(CP ) : Devuelve |CP | (cardinalidad del multiconjunto).

Operaciones (cont.): M nimo(CP ) : Si CP = , entonces devuelve y CP tal que z CP , y z ; en otro caso, error. Insertar(CP ,x) : Devuelve CP = CP {x}. (En la uni on de multiconjuntos A B , las ocurrencias de los elementos de A se a naden a las de B . P.e.: {7, 4, 7, 2, 7, 4}{4, 5, 1, 4} = {7, 4, 7, 2, 7, 4, 4, 5, 1, 4}.) EliminarM n(CP ) : Si CP = , entonces devuelve CP = CP {M nimo(CP )}; en otro caso, error. (En la diferencia de multiconjuntos AB , para cada elemento de A se descuentan tantas ocurrencias como haya en B de ese elemento. Si en B hay las mismas o m as ocurrencias de un elemento que en A, este no est a en A B . P.e.: {7, 4, 7, 2, 7, 4} {4, 2, 7, 2, 4} = {7, 7}.)
Ejemplos: CP =Crear() {} Insertar(CP ,32) { 32 } Insertar(CP ,13) { 32, 13 } Insertar(CP ,26) { 7, 32, 26 } M nimo(CP )= 13 { 32, 13 } Insertar(CP ,7) { 7, 32, 7, 26 } Insertar(CP ,18) { 7, 18, 32, 26, 18 } M nimo(CP )= 18 { 18, 32, 26 }
25
EliminarM n(CP ) Insertar(CP ,7) { 32 } M nimo(CP )= 7 { 7, 32, 7, 26 } { 7, 32 }
EliminarM n(CP ) Insertar(CP ,18) { 7, 32, 26 } { 7, 32, 26, 18 }
Longitud(CP )= 5 EliminarM n(CP ) EliminarM n(CP ) { 7, 18, 32, 26, 18 } { 18, 32, 26, 18 } { 18, 32, 26 }

Eciencia de diferentes implementaciones b asicas Costes en el peor caso: Lista Lista con acceso al m nimo Lista ordenada Arbol Binario de B usqueda en el caso promedio: Arbol AVL (equilibrado) Mont culo binario (heap) Insertar O(1) O(1) O(n) O(n) O(log n) O(log n) O(log n) M nimo O(n) O(1) O(1) O(n) O(log n) O(log n) O(1) EliminarM n O(n) O(n) O(1) O(n) O(log n) O(log n) O(log n)
26

Implementaciones ecientes de colas de prioridad Operaciones adicionales requeridas habitualmente: Formar una cola de prioridad a partir de n elementos dados inicialmente. Cambiar la prioridad de un elemento dado de la cola. Eliminar un elemento dado de la cola (no el m nimo). Combinar dos colas para formar una u nica cola con los elementos de ambas. Costes en el peor caso: Mont culo a la izquierda Cola binomial Insertar M nimo EliminarM n Combinar Formar O(1) O(1) O(1) O(log n) O(log n) O(log n) O(n) O(log n) O(log n) O(n) O(n) O(n) O(log n) O(log n) Mont culo binario (heap) O(log n)
Otras implementaciones ofrecen costes asint oticos amortizados iguales o m as ecientes (unitarios para algunas operaciones): mont culos oblicuos y mont culos de Fibonacci.
El mont culo binario (heap)

El mont culo binario es la implementaci on espec ca m as b asica y habitual de una cola de prioridad. Tambi en es frecuente referirse a el por su nombre en ingl es: (binary) heap. Un heap es un arbol binario con dos propiedades adicionales: estructural y de orden. Estructura de heap. Un heap es un arbol binario casi completo con n nodos. Un arbol binario casi completo con n nodos se puede almacenar en un vector con n o m as componentes. Numerando los nodos del arbol binario casi completo por niveles, de arriba a abajo y de izquierda a derecha, cada nodo i del heap se almacena en la posici on i del vector. No se necesitan punteros para acceder a los hijos o al padre de un nodo. Principal problema: se debe estimar a priori el tama no m aximo del heap.

A
1
B
2 3
C
4 5 6 11 12 13 14 7 15
D
8 16

9 17 18 19 20
10
E
21 22
A B
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
Dado un nodo cualquiera i, 1 i n: Su hijo izquierdo est a en 2i (si tiene; es decir, si 2i n). Su hijo derecho est a en 2i + 1 (si tiene; es decir, si 2i + 1 n). Su padre est a en i/2 (si tiene; es decir, si i > 1).

Orden de heap. En un heap, el elemento situado en cada nodo es menor o igual que el elemento situado en cualquiera de sus hijos (si el nodo tiene alg un hijo). El elemento m nimo siempre est a en la ra z. En cada sub arbol se verica el orden de heap. El elemento m aximo est a en una hoja.
7 23 74 93 87 61 55 99
heap
7 15 18 36 51 20 93 55 87 61 23 74 99 36 15 51 18 20
no es heap
30

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
#include "errores.h" // Plantilla heap.h #include <vector> using namespace std; template <class TBH> // TBH debe tener definido el operador < class Heap { public: explicit Heap(int maxelems=1000) { maxheap=maxelems; elems=new TBH[maxheap+1]; talla=0; } ~Heap() { delete [] elems; } Heap(const Heap & der) { elems = 0; operator=(der); } Heap & operator=(const Heap & der); void Vaciar() { talla = 0; } bool EstaVacio() const { return(talla == 0); } bool EstaLleno() const { return(talla == maxheap); } int Longitud() const { return(talla); } const TBH & Minimo() const; void Insertar(const TBH & item); void EliminarMin(); void FormarHeap(const vector<TBH> & items);
31

20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
private: TBH *elems; int talla, maxheap; void Hundir(int hueco); }; template <class TBH> Heap<TBH> & Heap<TBH>::operator=(const Heap & der) { if (this != &der) { delete [] elems; maxheap = der.maxheap; elems = new TBH[maxheap+1]; talla = der.talla; for (int i=1 ; i <= talla ; i++) elems[i] = der.elems[i]; } return(*this); }
32

Minimo. 38 template <class TBH> 39 const TBH & 40 Heap<TBH>::Minimo() const { 41 if (talla == 0) Error("Minimo"); 42 return(elems[1]); 43 } Insertar. En un heap de n elementos, al insertar uno nuevo se deber a utilizar la posici on n + 1 del vector para mantener la estructura de heap. Si se preserva el orden de heap al situarlo en el hueco (nodo n + 1), n de la inserci on. Si no, el nuevo elemento ser a menor que el elemento que est a en el padre del hueco. Se baja el elemento del nodo padre al hueco y ahora el hueco queda en el padre. Este proceso se repite hasta colocar el nuevo elemento en un hueco. En el peor caso, el hueco ascender a hasta la ra z.
Tama no del problema n: n umero de elementos en el heap
t Minimo(n) = (1)

9 17 18 66 71 92 58 47 61 87 58 12 9 17 18 66 71 92 58 47 61 87 34 12 58
34
9 34 34 48 26 33 75 31 99
9 26 34 48 33 75 31 99

9 17 18 66 71 92 58 47 61 87 34 58 9 12 18 66 71 92 58 47 61 87 34 58
35
9 12 34 48 26 33 75 31 99
9 17 34 48 26 33 75 31 99

Partiendo desde el nodo n + 1 al insertar, la violaci on del orden de heap s olo puede aparecer en el camino desde este nodo a la ra z, e ir a traslad andose a lo largo de el. Si el elemento de i es menor que el de i/2 , al intercambiarlos queda el menor como padre de dos mayores. El del hermano (i 1 o i + 1) ya era mayor que el del padre. Si el elemento de i debe seguir subiendo a i/2 /2 , el que baje a i/2 ser a menor que los que hab a en i/2 e i 1 o i + 1. Al inicio, el orden de heap se cumpl a.
44 45 46 47 48 49 50 51 52 53
template <class TBH> void Heap<TBH>::Insertar(const TBH & item) { En promedio, el if (talla == maxheap) Error("Insertar"); coste de insertar talla++; es constante. int hueco; for (hueco=talla ; hueco > 1 && item < elems[hueco/2] ; hueco /= 2) elems[hueco] = elems[hueco/2]; elems[hueco] = item; } t Insertar(n) = (1), O(log n)
36

EliminarMin. En un heap de n elementos, al eliminar uno se deber a inutilizar la posici on n del vector, dej andolo con n 1 elementos, para mantener la estructura de heap. Como el elemento que se elimina es el m nimo y este est a en la ra z, inicialmente tenemos un hueco en la ra z y el elemento que estaba en la posici on n por recolocar. Si se preserva el orden de heap al situar el elemento en el hueco, n de la eliminaci on. Si no (lo m as probable), el elemento por recolocar ser a mayor que alguno de los elementos que est an en los hijos del hueco. Se sube el menor de los elementos de los hijos al hueco y ahora el hueco queda en el nodo hijo en el que estaba este menor elemento. Este proceso se repite hasta recolocar el elemento pendiente en un hueco. En el peor caso, el hueco descender a hasta las hojas.

9 12 18 66 71 92 58 47 61 87 9 12 18 66 71 92 58 47 61 87
38
58 9
17 34 34 48
26 33 75
31 99
58 17 34 34 48 26 33 75 31 99

9 12 18 66 71 92 58 47 61 87 9 12 18 66 71 92 58 47 61 87
39
26 17 34 34 48 58 33 75 31 99
26 17 34 34 48 33 58 75 31 99

Al eliminar, la violaci on del orden de heap s olo puede aparecer en el camino desde la ra z a las hojas, e ir a traslad andose a lo largo de el. Si el elemento de i es mayor que el de 2i y/o el de 2i + 1, al intercambiarlo con el menor de ellos queda el menor como padre de dos mayores. Si el elemento de i debe seguir bajando a 2(2i), 2(2i) + 1, 2(2i + 1) o 2(2i + 1) + 1, el que suba a 2i o 2i + 1 ser a mayor que el que ahora est a en i (antes en 2i o 2i + 1). Al inicio, el orden de heap se cumpl a.
54 55 56 57 58 59 60 61
template <class TBH> void Heap<TBH>::EliminarMin() { if (talla == 0) Error("EliminarMin"); elems[1] = elems[talla]; talla--; Hundir(1); } t EliminarMin(n) = (1), O(log n)
40
El m etodo privado Hundir permite unicar la implementaci on de EliminarMin y FormarHeap. Ambas operaciones del heap se basan en el mismo proceso.
62 63 64 65 66 67 68 69 70 71 72 73 74 75
template <class TBH> void Heap<TBH>::Hundir(int hueco) { TBH tmp = elems[hueco]; int hijo; while (true) { hijo = hueco*2; if (hijo < talla && elems[hijo+1] < elems[hijo]) hijo++; if (hijo > talla || !(elems[hijo] < tmp)) break; elems[hueco] = elems[hijo]; hueco = hijo; } elems[hueco] = tmp; } t Hundir(n) = (1), O(log n)
41

FormarHeap. Disponiendo de n elementos inicialmente, se puede formar un heap con ellos mediante n inserciones sucesivas partiendo de un heap vac o. Coste en el peor caso: O(n log n) Coste en el caso promedio: O(n) Aproximaci on alternativa: Situar los elementos arbitrariamente en las n primeras posiciones del vector elems se crea un arbol binario con estructura de heap, aunque no con orden de heap. Considerando los nodos hoja como heaps de 1 nodo, comenzando desde el nodo n/2 y procediendo nodo a nodo decrecientemente hasta la ra z, establecer el orden de heap en el sub arbol con ra z en el nodo considerado. Para ello, se debe hundir el elemento del nodo considerado en su sub arbol hasta que alcance su nivel adecuado.

99 92 75 58 26 18 17 58 12 9
99 92 75 58 26 18 17 58 12 47
43
87 71 47 48 34 66 34 33 61 31
87 71 9 48 34 66 34 33 61 31

99 92 75 58 26 18 17 12 58 47 99 92 75 18 26 58 17 12 58 47
44
87 71 9 48 34 66 34 33 61 31
87 71 9 48 34 66 34 33 61 31

99 92 75 18 26 58 17 12 58 47 99 92 75 18 26 58 17 12 58 47
45
87 71 9 48 34 66 34 33 31 61
87 71 9 48 66 34 34 33 31 61

99 92 75 18 26 58 17 12 58 71 99 92 12 18 26 58 75 17 58 71
46
87 9 47 48 66 34 34 33 31 61
87 9 47 48 66 34 34 33 31 61

99 92 12 18 26 58 75 17 58 71
99 9 12 18 26 58 75 17 58 92
47
31 9 47 48 66 34 34 87 33 61
31 47 71 48 66 34 34 87 33 61

9 12 17 18 26
76 77 78 79 80 81 82 83 84
31 47 34 48 66 34 87 33 61
58 58 75 99 92
71
template <class TBH> void Heap<TBH>::FormarHeap(const vector<TBH> & items) { if (maxheap < items.size()) Error("FormarHeap"); for (talla=0 ; talla < items.size() ; talla++) elems[talla+1] = items[talla]; for (int i=talla/2 ; i > 0 ; i--) Hundir(i); } t FormarHeap(n) = (n)
48

Breve an alisis del coste de FormarHeap. Mejor caso. Desde n/2 hasta 1, el elemento de cada nodo considerado es el menor de su sub arbol el n umero de asignaciones (desplazamientos de elementos) realizadas por Hundir es 2 n/2 . Por tanto, es (n). Peor caso. Desde n/2 hasta 1, el elemento de cada nodo considerado debe hundirse hasta una de las hojas m as profundas de su sub arbol. El n umero de asignaciones (desplazamientos de elementos) realizadas por Hundir es 2 n/2 + S , siendo S la suma de las alturas de los nodos y S < n. Por tanto, es O(n). Por ejemplo, denominando hi a la altura del nodo i, en el heap anterior:
10
S=
i=1
hi = 4 + 3 + 2 + 2 + 2 + 1 + 1 + 1 + 1 + 1 = 18 < 20 = n hi = 0, 11 i 20
49

Aplicaci on: C odigos de Human Una secuencia de s mbolos se puede codicar en binario estableciendo a priori el conjunto de s mbolos (alfabeto) y asign andoles c odigos binarios de longitud ja. Por ejemplo, el est andar ASCII utiliza 7 bits para codicar 128 d gitos decimales, letras may usculas y min usculas, s mbolos de puntuaci on y otros caracteres. La secuencia CD54 se codica en ASCII como 1000011100010001101010110100. Si el n umero de s mbolos es n, los c odigos deben tener una longitud ja de log2 n bits para disponer de sucientes c odigos. Generalmente, esta codicaci on produce secuencias de bits (cheros) de mayor tama no que otras, desaprovechando espacio de almacenamiento o tiempo de transmisi on. Asignando c odigos binarios de longitud variable a los s mbolos, de manera que los m as frecuentes tengan c odigos m as cortos y los m as infrecuentes m as largos, se puede reducir el tama no de las secuencias codicadas en binario (cheros).

Como ejemplo, consideremos un chero compuesto s olo por los siguientes s mbolos, que aparecen el n umero de veces indicado. c odigo 1 s mbolos frecuencia long. ja 4 8 000 5 22 001 C 25 010 D 23 011 E 15 100 F 7 101 n umero total de bits del chero: n umero de bits 24 66 75 69 45 21 300 c odigo 2 long. variable 000 001 010 011 10 11 n umero de bits 24 66 75 69 30 14 278
Sin aprovechar la informaci on de las frecuencias, ya se obtiene ganancia al reducir a dos bits el c odigo de dos s mbolos.

Un c odigo binario puede representarse mediante un arbol binario de codicaci on. Los s mbolos se sit uan en los nodos. En cada nodo no terminal, la rama al hijo izquierdo representa un 0 y la rama al hijo derecho un 1. El c odigo de cada s mbolo se corresponde con el camino desde la ra z al nodo que lo contiene.
0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1
D
c odigo 2
52
c odigo 1

Un arbol de codicaci on que tenga nodos sin s mbolo y con un s olo hijo produce secuencias codicadas m as largas que las que produce otro en el que estos nodos se fusionan con sus u nicos hijos. As , todos los nodos tienen dos hijos o ninguno. Si todos los s mbolos est an en las hojas, ning un c odigo es prejo de otro. Una codicaci on con esta propiedad es un c odigo libre de prejos (prex code). As , una secuencia de bits se descodica de forma no ambigua e instant anea. La secuencia 101001001100000101011 es no ambigua para los c odigos 1 y 2. Descodicaci on con c odigo 1: F 5 5 E 4 F D 101001001100000101011 Descodicaci on con c odigo 2: E E C D 4 5 C F
C odigo ambiguo: (4, 000), (5, 001), (C, 010), (D, 011), (E, 00), (F, 01). C omo se descodica 010000? C4 = 010-000 o FEE = 01-00-00?

Llamando p(a) a la profundidad de la hoja en la que est a el s mbolo a del alfabeto A y f (a) a su frecuencia, el coste de un arbol binario de codicaci on para A es: p(a) f (a)
aA
Este coste coincide con el n umero total de bits calculado anteriormente. Est a claro que podemos denir distintos c odigos binarios de longitud variable, para un conjunto de s mbolos, que tendr an distinto coste. Dado un conjunto de s mbolos A y sus frecuencias en un chero, podemos encontrar un arbol binario de codicaci on optimo para A, es decir, cuyo coste sea m nimo? De esta manera, obtendr amos un c odigo binario optimo que necesitar a el menor n umero total de bits para representar el chero. Este c odigo es optimo para una codicaci on del tipo s mbolo - c odigo de longitud variable (libre de prejos), dados un alfabeto y las frecuencias de sus s mbolos. Otros tipos de codicaci on pueden reducir m as el n umero de bits empleados.
Algoritmo de Human Trabaja con un bosque, que es una colecci on de arboles. Inicialmente, cada par (s mbolo,frecuencia) forma un arbol de un s olo nodo en el bosque. Iterativamente, hasta que el bosque tenga un s olo arbol: Se seleccionan los dos arboles con menor coste (da lo mismo c omo se resuelvan los empates). Se forma un nuevo arbol binario, creando un nuevo nodo ra z que contendr a: como coste la suma de los costes de los dos arboles seleccionados, y como hijos a dichos arboles (da lo mismo cu al sea el izquierdo y cu al el derecho).
Inicio:
4
8
5
22
C
25
D
23
E
15
F
7
15
Iteraci on 1:
F
7
4
8
5
22
C
25
D
23
E
15
30
Iteraci on 2:
E
15 15
F
7
4
8
5
22
C
25
D
23
56

30
Iteraci on 3:
E
15 15 45
F
7
4
8
5
22
D
23
C
25
55
C
25 30
Iteraci on 4:
E
15 15 45
F
7
4
8
5
22
D
23
57
100
55
45
Iteraci on 5:
C
25 30
5
22
D
23
E
15 15
F
7
4
8
Coste del arbol de codicaci on de Human obtenido: 2 25 + 4 7 + 4 8 + 3 15 + 2 22 + 2 23 = 245


El algoritmo de Human es un algoritmo voraz que, partiendo de los s mbolos y sus frecuencias, va creando local y sucesivamente sub arboles de m nimo coste, y naliza obteniendo el arbol binario de codicaci on de m nimo coste (codicaci on optima de longitud variable y libre de prejos). La selecci on de los arboles del bosque con menor coste para formar otro puede hacerse con un heap. El arbol de codicaci on de Human puede utilizarse para implementar dos programas de compresi on y descompresi on de cheros. Para ello, el arbol de codicaci on debe incluirse en el chero comprimido (con una representaci on adecuada), ya que sino ser a imposible descomprimir. Esta manera de comprimir y descomprimir tiene el inconveniente de que la compresi on necesita dos recorridos del chero original: uno para calcular las frecuencias y otro para codicar.

Colas de Prioridad

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Colas de Prioridad

Cargado por

Copyright:

Formatos disponibles

Tema 7

IS13. Estructuras de datos y de la informaci on 2003/2004

Plantillas de clases y funciones en C++

template <class TBL> class Lista { public: ... private: ... };

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

IS13. Estructuras de datos y de la informaci on 2003/2004

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

IS13. Estructuras de datos y de la informaci on 2003/2004

Plantillas de clases y funciones en C++

IS13. Estructuras de datos y de la informaci on 2003/2004

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

Plantillas de clases y funciones en C++

IS13. Estructuras de datos y de la informaci on 2003/2004

Plantillas de clases y funciones en C++

IS13. Estructuras de datos y de la informaci on 2003/2004

El TAD Cola de Prioridad

El TAD Cola de Prioridad

El TAD Cola de Prioridad

El TAD Cola de Prioridad

El TAD Cola de Prioridad

EliminarM n(CP ) Insertar(CP ,7) { 32 } M nimo(CP )= 7 { 7, 32, 7, 26 } { 7, 32 }

EliminarM n(CP ) Insertar(CP ,18) { 7, 32, 26 } { 7, 32, 26, 18 }

IS13. Estructuras de datos y de la informaci on 2003/2004

El TAD Cola de Prioridad

IS13. Estructuras de datos y de la informaci on 2003/2004

El TAD Cola de Prioridad

El mont culo binario (heap)

El mont culo binario (heap)

El mont culo binario (heap)

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

Tama no del problema n: n umero de elementos en el heap

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

IS13. Estructuras de datos y de la informaci on 2003/2004

El mont culo binario (heap)

El mont culo binario (heap)