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 tenía 4 Trabajos Prácticos. El TP0 era un trabajo corto cuyo objetivo era hacer que el alumno tome contacto y se acostumbre al desarrollo de estructuras de datos en C++.

Los otros 3 Trabajos Prácticos consistían 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.

Desde el segundo cuatrimestre de 2016, los trabajos prácticos se vieron reducidos a tres, correspondientes con las tres etapas de un problema, y se dividió el TP0 en cinco talleres obligatorios, con otros dos opcionales. (En orden: programar una pila, uso de templates, un ABB, un Trie, iteradores (opcional), un diccionario sobre Hash Tables y uno de sorting (opcional)).

Para promocionar la materia según esta modalidad, se tienen que tener los dos primeros trabajos prácticos Muy Bien, el primer ejercicio de cada parcial Muy Bien, y ningún Regular o Insuficiente en los otros ejercicios.

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 (2015)

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)
• 1er Parcial, 1er cuatrimestre 2016 (resuelto)
• 1er Parcial, 2do cuatrimestre 2016 (resuelto)
• 1er Parcial - Recuperatorio, 2do cuatrimestre 2016 (Resuelos ej 1 y 2)

• 2do Parcial (resuelto), 1er cuatrimestre 2014
• 2do Parcial, 2do cuatrimestre 2014 (parte 1) (parte 2)
• 2do Parcial, 1er cuatrimestre 2016
• 2do Parcial, 2do cuatrimestre 2016 (resuelto)
• 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
• Final del segundo cuatrimestre de 2015 (1, 2 y 3)
• Final del 15/02/16
• Final del 25/02/16
• Final del 13/12/16

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)

Enlaces externos

• Página oficial de la materia
• Demostraciones graficas de los distintos algortimos de sorting