Calendario
En este Calendarioio se facilitan
los temas de las clases y de las clases de repaso, así
como enlaces a los materiales del curso sobre los trabajos
para casa y las pruebas.
Introducción y revisión
Clase 1 (día
1): introducción
- Lectura: capítulo 0.
- Fotocopia 1, información
general.
- Distribución del trabajo
para casa 1, fecha de entrega: día 4 al comienzo
de la clase. (PDF)
Clase de repaso 1 (día
2): repaso de matemáticas
- Lectura: capítulo 0.
- Fotocopia 2: repaso de matemáticas.
(PDF)
Autómatas finitos,
lenguajes regulares, expresiones regulares
Clase 2 (día
3): autómatas finitos deterministas
- Autómatas finitos deterministas
y los lenguajes que aceptan.
- Lectura: sección 1.1.
Clase 3 (día 4):
autómatas finitos no deterministas
- Autómatas finitos no
deterministas y los lenguajes que aceptan.
- Equivalencia de DFA y NFA.
- Lectura: sección 1.2.
- Entrega del trabajo para casa
1.
- Distribución del trabajo
para casa 2 , fecha de entrega: día 7 al comienzo
de la clase. (PDF)
- En general, el trabajo para
casa abarca el material tratado, incluyendo el de
la clase en la que se entrega.
Clase de repaso 2 (día
5)
- Revisión de autómatas
finitos.
Clase 4 (día 6):
expresiones regulares
- Expresiones regulares.
- Lema 1.29 (las expresiones
regulares describen lenguajes regulares).
- Lectura: sección 1.3.
Clase 5 (día 7):
más expresiones regulares
- Teorema 1.28, lema 1.32.
- Entrega del trabajo para casa
2.
- Fotocopia 3: problemas de práctica
para la prueba. (PDF)
Clase de repaso 3 (día
8)
- Repaso de lenguajes regulares,
expresiones.
- Fotocopia 4: problemas de la
clase de repaso. (PDF)
Clase 6 (día 9):
fin de los autómatas
- Lenguajes no regulares.
- Lema de bombeo.
- Lectura: sección 1.4.
Clase 7 (día 10):
prueba 1
- Prueba 1 (PDF),
en clase.
- Abarca las clases 1 a la 6.
- Distribución del trabajo
para casa 3 (PDF),
fecha de entrega: día 13.
Clase de repaso 4 (día
11)
Teoría de la computabilidad
Clase 8 (día
12): máquinas de Turing
- Introducción a las máquinas
de Turing.
- Tesis de Church y Turing.
- Máquinas de Turing de
diversas cintas.
- Lectura: capítulo 3.
Clase 9 (día 13):
no determinismo II
- Las máquinas de Turing
no deterministas no son mejores.
- Definición de lenguajes
decidibles; ejemplos.
- Lectura: sección 4.1.
- Entrega del trabajo para casa
3.
- Distribución del trabajo
para casa 4, fecha de entrega: día 16. (PDF)
Clase de repaso 5 (día
14)
- Máquinas de Turing.
- Fotocopia 9: problemas de la
clase de repaso. (PDF)
Clase 10 (día 15):
indecidibilidad
- El problema Halting.
- El problema Halting es indecidible.
- Lectura: capítulo 4.2.
Clase 11 (día 16):
indecidibilidad II
- El problema de la post correspondencia
es indecidible.
- Lectura: sección 5.2.
- Entrega del trabajo para casa
4.
- Distribución del trabajo
para casa 5, fecha de entrega: día 19. (PDF)
Clase de repaso 6 (día
17)
Clase 12 (día 18):
indecidibilidad III
Clase 13 (día 19):
reducciones
- Reducciones y reducibilidad
en el mapeo.
- Lectura: sección 5.3.
- Teorema de Rice: se repartió
una fotocopia de la clase 34 de Koze.
- Entrega del trabajo para casa
5.
Clase de repaso 7 (día
20)
- Indecidibilidad y recursión.
Clase 14 (día 21):
fin de la computabilidad
- Virus de computadoras e indecidibilidad.
Clase 15 (día 22):
prueba 2
- Prueba 2, en clase. (PDF)
- Abarca las clases 8 a la 14.
- Prueba 2a, una prueba complementaria
no entregada en clase. (PDF)
- Distribución del trabajo
para casa 6, fecha de entrega: día 24. (PDF)
Teoría de la complejidad
Clase 16 (día
23): complejidad
- Introducción a la teoría
de la complejidad.
- Complejidad de tiempo.
- La clase P.
- Lecturas: secciones 7.1 y 7.2.
Clase 17 (día 24):
complejidad no determinista
- La clase NP; ejemplos.
- La clase P frente a la clase
NP.
- Lectura: sección 7.3.
- Entrega del trabajo para casa
6.
- Distribución del trabajo
para casa 7, fecha de entrega: día 26. (PDF)
Clase de repaso 9 (día
25)
- Categorías de complejidad.
Clase 18 (día 26):
completitud NP
- Completitud NP.
- Reducibilidad de tiempo polinomial.
- Lectura: sección 7.4.
- Entrega del trabajo para casa
7.
- Distribución del trabajo
para casa 8, fecha de entrega: día 29 (PDF)
Clase de repaso 10 (día
27)
- Reducciones.
- Fotocopia 14 entregada como
problemas. (PDF)
Clase 19 (día 28):
Teorema de Cook-Levin
- Exposición y prueba
del teorema de Cook-Levin.
Clase 20 (día 29):
completitud NP II
- Problemas adicionales de completitud
NP.
- Lectura: sección 7.5.
- Entrega del trabajo para casa
8.
Clase de repaso 11 (día
30)
- Más acerca de la completitud
NP.
- Fotocopia 16 entregada como
problemas. (PDF)
Clase 21 (día 31):
completitud NP III
- Problemas adicionales sobre
completitud NP.
Clase 22 (día 32):
prueba 3
- Prueba 3, en clase. (PDF)
- Abarca las clases 16 a la 21.
- Distribución del trabajo
para casa 9, fecha de entrega: día 35. (PDF)
- Prueba 3a, prueba complementaria
no entregada en clase. (PDF)
Clase de repaso 12 (día
33)
- Clase opcional sobre categorías
de complejidad más allá de NP.
Temas especiales
Clase 23 (día
34): aleatoriedad
Clase 24 (día 35):
aleatoriedad II
- Algoritmos probabilísticos.
- Fotocopia de los algoritmos
aleatorizados (Motwani y Raghavan) entregada en clase.
Hay más fotocopias en el cajón del curso.
- Se puede encontrar material
adicional en la sección 2 de los apuntes de
Scribe en la página web: http://icg.harvard.edu/~cs225/Scribenotes/
- Entrega del trabajo para casa
9.
Clase de repaso 13 (día
36)
- Algoritmos probabilísticos.
- Fotocopia 18 distribuida como
problemas (PDF)
Clase 25 (día 37):
criptografía
- Criptografía y teoría
de la complejidad.
- Lecturas: sección 10.6,
fotocopia.
Clase 26 (día 38):
criptografía II
- Criptografía y teoría
de la complejidad.
Clase de repaso 14 (día
39)
Examen final (día
40)
- Examen final: 3 horas, 7 problemas.
(PDF)
|
