Análisis y Diseño de Algoritmos 2024-2
Profesores
Carlos Ramírez (carlosalbertoramirez *at* javerianacali.edu.co)
Camilo Rocha (camilo.rocha *at* javerianacali.edu.co)
Horario
Jueves (Palmas 3.2) 11:00 - 13:00
Viernes (Palmas 3.2) 10:00 - 12:00
Atención a estudiantes
Jueves 10:00 - 11:00 (Camilo Rocha, Of. 2.02 Facultad de Ingeniería y Ciencias)
Monitor (no habrá)
Bitácora
Bienvenida (07/25) [grabación, apuntes]
Introducción
Dividir, conquistar y combinar (08/01) [grabación, apuntes]
Subarreglo de suma máxima
Ordenamiento de con MergeSort
Escuela de verano (08/02)
Dividir, conquistar y combinar (08/08) [grabación, apuntes, código]
Búsqueda binaria
MergeSort
El Teorema Maestro
Subarreglo de suma máxima [código]
Dividir, conquistar y combinar (08/09) [grabación, apuntes]
Programación dinámica (08/15) [grabación, apuntes]
Introducción
Principios de la programación dinámica:
Propiedad de la subestructura óptima
Solapamiento entre subproblemas
Memorización vs tabulación
Subsecuencia común más larga
Programación dinámica (08/16) [grabación, apuntes]
El problema del morral (en inglés, KnapSack)
Memorización [código]
Repaso (08/29) [grabación]
Parcial 1 (08/30) [enunciado]
Algoritmos voraces (09/05) [grabación, apuntes]
Selección de actividades [código]
Algoritmos voraces (09/06) [grabación, apuntes]
Selección de actividades: variantes de optimización local
Algoritmos voraces (09/12) [grabación, apuntes]
Cubrimiento de intervalos [código]
Algoritmos voraces (09/13) [grabación]
Algoritmos voraces (09/19) [grabación, apuntes]
Códigos de Huffman [código]
Solución Parcial 1 (09/20) [apuntes]
Reintento (09/26) [grabación, apuntes]
Estructura general
SEND+MORE=MONEY
Segmentación de texto
??? (09/27)
Reintento (10/03) [grabación, apuntes]
Sudoku
Reintento (10/04) [grabación, apuntes]
El problema de las 8 reinas [código]
Reintento (10/10) [grabación]
UVa 208 - Firetruck [enunciado]
Reintento (10/11) [grabación, apuntes]
LIS con poda y sin poda
P vs NP (10/17) [grabación, apuntes]
Lenguajes formales
Problemas de decisión
Indecidibilidad
Parcial 2 (10/18) [enunciado]
P vs NP (10/24) [grabación, apuntes]
Algoritmos de aceptación y decisión
La clase P
Aceptación y decisión coinciden en P
Reducciones polinomiales
P vs NP (10/25) [grabación, enunciado]
Repaso últimas dos semanas
P vs NP (10/31) [grabación, apuntes]
Algoritmos de verificación
La clase NP
La clase NP-hard
La clase NP-complete
Relaciones entre clases
P vs NP (11/01) [grabación, apuntes]
La comoposición de dos reducciones polinomiales es una reducción polinomial
SAT es NP-complete
SAT es NP
SAT es NP-hard (El teoema de Cook y Levin - sin demostración)
P vs NP (11/07) [grabación]
P vs NP (11/08) [grabación, apuntes]
Si HAMILTON es NP-hard, entonces TSP es NP-complete
Cierre del curso
Enlaces
Notas (actualizado 11/25)
Texto guía
Capítulos 0 a 5 (actualizado 07/25)
Inducción (actualizado 07/25)
Software de apoyo
Arena de programación (DomJudge)
Plataforma de comunicación (Discord)
Otros enlaces
Exámenes
2016-1: parcial 1, parcial 2, examen final
2016-2: parcial 1, parcial 2, examen final
2017-1: parcial 1, parcial 2, examen final
2017-2: parcial 1, parcial 2, examen final
2018-1: parcial 1, parcial 2, examen final
2018-2: parcial 1, parcial 2, examen final
2019-1: parcial 1, parcial 2, examen final
2019-2: parcial 1, parcial 2, examen final
2020-1: parcial 1, parcial 2, examen final
2020-2: parcial 1, parcial 2, examen final
2021-1: parcial 1, parcial 2, examen final
2021-2: parcial 1, parcial 2, examen final
2022-1: parcial 1, parcial 2, examen final
2022-2: parcial 1, parcial 2, examen final
2023-1: parcial 1, parcial 2, examen final
2023-2: parcial 1 (sol), parcial 2, examen final
2024-1: parcial 1 (sol), parcial 2, examen final
Proyecto
Entrega 0 (15%)
Esta entrega consta de un documento que describe la naturaleza de la solución del problema. En este documento se debe reflejar qué tanto entiende del problema, cuál es su estrategia de solución y la cantidad de trabajo que ha hecho para el proyecto. En esta entrega no es necesario tener una solución del problema pero sí tener claro cómo se puede resolver.
El documento para esta entrega no tendrá más de 3 páginas y, como mínimo, deberá contener la siguiente información:
Especificación del problema (entrada y salida)
Algoritmos y estructuras de datos que usará su solución (cada decisión debe ser justificada)
Estrategia de solución
Análisis (alto nivel) de complejidad temporal y espacial de su solución
De ser necesario, citas bibliográficas del material consultado y que será usado en la solución del proyecto
Recuerde que el proyecto es individual.
Entrega 1 (15%)
Esta entrega consta de un único archivo fuente en el lenguaje de programación Python que debe ser aceptado en la arena como correcto en la arena disponible para el proyecto para el caso de prueba #1: Simple case.
El contenido del archivo debe contar con:
Un encabezado que declare de forma unívoca la autoría del código: (i) nombre del autor (estudiante quien entrega el proyecto), (ii) su código de estudiante y (iii) la frase de compromiso del código de honor del curso.
Documentación de cada una de las funciones usando el estándar de Python.
El archivo debe ser enviado, también, por BrightSpace.
Cualquier archivo entregado sin seguir los lineamientos anteriores será ignorado para efecto de la calificación del proyecto.
Entrega 2 (70%)
Esta entrega consta de dos partes: (i) solución de casos de prueba y (ii) sustentación.
Los casos de prueba están clasificados en 5 categorías. Para obtener una puntación perfecta en esta entrega es indispensable que una solución resuelva correctamente todos los casos de prueba disponibles en la arena para los casos de prueba A a E. Para que una solución sea considerada para puntuar es necesario que el archivo cumpla con las condiciones de la Entrega 1. Tenga en cuenta también que los casos de prueba deben ser resueltos por la misma solución, es decir, no es posible usar dos soluciones distintas para los casos de prueba.
Adicionalmente, para esta entrega se evaluarán durante la sustentación los siguientes requisitos no funcionales:
Diseño y uso clases para abstraer elementos de la solución
Nombres de variables, funciones/metodos, etc. en inglés
Elegancia del código
La sustentación de cada proyecto tomará alrededor de 10 minutos y para ello se abirará una lista de turnos. Para la sustentación es importante estar en capacidad de explicar la estrategia de solución, explicar los algoritmos utilizados (de memoria), describir las estructuras de datos utilizadas, y complejidades temporal y espacial de la solución. Una sustentación insatisfactoria del proyecto puede anular cualquier puntación otrogable por resolver satisfactoriamente casos de prueba.
La sustentación es un factor entre 0 y 1 que pondera la puntuación enumerada anteriormente: entre mejor sea la sustentación, mayor será este factor.
Tareas
Tarea 1: para entregar 08/04
Tarea 2: para entregar 08/25
Tarea 3: para entregar 09/22
Tarea 4: para entregar 10/16
Tarea 5: para entregar 11/16
resolver el examen final de 2024-1 [enunciado]