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. La condición de promoción del último cuatrimestre (2do Cuatri 2014) fue tener el primer ejercicio de cada parcial muy bien, y el resto todos bien, además de los 3 TPs aprobados con Muy Bien.
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 mejor en términos de requerimientos de performance 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
- Eliminación de la Recursión
- Diseño
Prácticas (2014)
Practica 1: Tipos algebraicos y especificación.
Practica 2: Inducción estrutural.
Practica 3: Diseño -- invariante de representación y función de abstracción.
Practica 4: Ordenes y complejidad algorítmica.
Practica 5: Diseño.
Practica 6: Divide and Conquer.
Practica 7: Ordenamiento.
Parciales
- 1er Parcial, 2do cuatrimestre 2014 (parte 1) (parte 2)
- 2do Parcial, 2do cuatrimestre 2014 (parte 1) (parte 2)
- 2do Recuperatorio, 1er cuatrimestre 2015 (parte 1) (parte 2)
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)
- Final del primer cuatrimestre de 2008
- Final del segundo cuatrimestre de 2009 (1)
- Final del segundo cuatrimestre de 2009 (2)
- Final del primer cuatrimestre de 2010
- Final del primer cuatrimestre de 2011
- Final del 10/3/11
- Final del segundo cuatrimestre de 2012
- Final del primer cuatrimestre de 2013 (1)
- Final del primer cuatrimestre de 2013 (2)
- Final del segundo cuatrimestre de 2013
- Final del primer cuatrimestre de 2014
- Final del segundo cuatrimestre de 2014
- Final del 20/2/15
- Final del 27/2/15
- Final del 30/7/15
Apuntes
- Balanceo de árboles y árboles AVL: Notas sobre balanceo de árboles en general, profundizando en la implementación de árboles AVL.
- Resumen bastante completo. Toca los 4 temas principales de la materia: especificación, diseño, algoritmos y estructuras. Código fuente del resumen en GitHub.
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)
