Algoritmos y Estructuras de Datos
Algoritmos y Estructuras de Datos II es una materia donde se estudia la especificación formal de tipos de datos, y el diseño de los mismos para su posterior implementación. Tambien se ve, paralelamente, eliminación de la recursión, inducción estructural, métodos algoritmicos y algoritmos de sorting.
Según el Plan de la Carrera es una materia a ser cursada en Segundo año. Es correlativa de Algoritmos y Estructuras de Datos I y es necesaria para cursar Algoritmos y Estructuras de Datos III, Lógica y Computabilidad y Sistemas Operativos
Información General sobre la Cursada
Algoritmos II consiste de clases teóricas y prácticas. Para aprobar la materia se deben rendir 2 exámenes parciales y 4 trabajos prácticos.
Trabajos Prácticos
La materia tiene 4 Trabajos Prácticos. El TP0 es un trabajo corto cuyo objetivo es hacer que el alumno tome contacto y se acostumbre al desarrollo de estructuras de datos en C++.
Los otros 3 Trabajos Prácticos consisten en las 3 etapas (Especificación, Diseño, Implementación) de un problema dado. Los trabajos prácticos por lo general son bastante largos, pero sirven de buena experiencia para ese tipo de actividades.
Algoritmos II es promocionable. Los requerimientos de promoción son obtener P en los tres parciales y en alguno de los Trabajos Prácticos y rendir un exámen escrito al final del cuatrimestre.
Contenidos
Cuando se habla de especificación formal de tipos de datos (tambien conocidos como TADs) se refiere a expresar el comportamiento que va a tener en funcion de las diferentes acciones que se le aplican. Para ésto es que se vale de la lógica algebraica, o por axiomas, la cual (intenta) eliminar la ambiguedad que se podría producir si se hace en lenguaje castellano.
En diseño lo que se hace es elegir la mejor manera (la más óptima pero a su vez fácil de hacer) de representar los TADs en la "realidad" (principalmente, ésta realidad es un medio computacional). Para ésto es que se valen de estructuras de datos "básicas" mediante las cuales construir otras mas complejas que sirvan para otras aún más complejas, y asi sucesivamente.
- Tipos Abstractos de Datos (TADs)
- Inducción Estructural
- Sorting
- Estructuras de Datos
- Backtracking
- Eliminación de la Recursión
- Diseño
Finales
- Final del primer cuatrimestre de 2006
- Final del segundo cuatrimestre de 2006
- Final del primer cuatrimestre de 2007
- Final del segundo cuatrimestre de 2007 (1)
- Final del segundo cuatrimestre de 2007 (2)
Bibliografía Recomendada
- Thomas Cormen; Charles Leirserson; Ronald Rivest y Clifford Stein, Introduction to algorithms, MIT Press, 2001 (Circulante 681 332 Cormen en la Biblioteca Central)
1) Verdadero o falso. justifique
a) una operacion es observador basico porque se define mediante generadores.
b) si una operacion rompe la congruencia debe transformarse en observador basico.
c) una instancia de un tad puede no ser distinguible por la igualdad observacional y
que una operacion las diferencie.
d) si siempre que ocurre A ocurre B y B no puede ocurrir de otra manera,
si aparece en la axiomatizacion A y B entonces la especificacion esta mal hecha.
2) Suponga que tiene una implementacion de un diccionario D representado en una estructura E.
Se quiere demostrar una propiedad P sobre el diccionario D. Tambien suponga que para todo elemento de la estructura E se cumple que: R(e) => Q(e)
a) que mas necesitamos para poder demostrar la propiedad P sobre D? justifique b) se puede usar induccion estructural para demostrar los lemas del punto a? justifique
3) para cada algoritmo de sorting que aparece abajo se pide:
- complejidad temporal caso peor - complejidad temporal caso promedio - si se requiere memoria adicional - si es estable
para cada item justifique en no mas de 3 o 4 renglones.si no sabe ponga ? y justifique
4) Se cuenta con una implementacion de diccionario y se quiere hacer la operacion lista-ordenados
que pone todos los elementos en orden creciente(ponele que devuelve una secuencia). hacer el algoritmo informalmente y indicar su complejidad sobre las tipicas implementaciones de diccionarios: AVL, arboles B, hashing, trie.
5) escribir el codigo de huffman con las siguientes frecuencias:
a 45%, b 12%, c 13%, d 16 %, e 9 %, f 11 % (o algo asi)
comparar la longitud con la del codigo de longitud fija
bueno algo asi era el final.
