MATE-3181 - Departamento de Matemáticas, Universidad de los

DEPARTAMENTO DE MATEMÁTICAS
OFRECIMIENTOS DE CURSOS
2015-2
Nombre completo del curso en español: Teoría de la Complejidad
Computacional
Nivel del Curso
4: posgrado
_X_
Nombre completo del curso en inglés: Computational Complexity Theory
3: final de carrera _X_
2: mitad de carrera ___
1: inicio de carrera ___
Nombre abreviado en español (Máx. 30 caracteres contando espacios)
Complejidad Computacional
Profesor: Tristram Bogart
Descripción del curso en español: El objetivo de la teoría de la complejidad computacional es clasificar
problemas computacionales por la cantidad de recursos necesaria para resolverlos. La teoría tiene
conexiones con varias areas de matemáticas como la teoría de grafos, probabilidad, y álgebra abstracta.
Descripción del curso en inglés: Computational complexity theory aims to classify computational
problems according to the quantity of resources necessary to solve them. It draws on many areas of
mathematics including graph theory, probability, and abstract algebra.
Prerrequisitos: Álgebra Abstracta 1 y (Análisis 1 o Introduccíon a la Teoría de la Computación)
Objetivos: Clasificar algoritmos por complejidad. Aprender hacer reducciones de un problema a otro.
Estudiar varios modelos de computación como determinista, aleatorio, y por circuits algebraicos. Mejorar
la capacidad de leer y escribir demostraciones rigurosas y de resolver problemas.
Formato Ofrecimiento de Cursos
201520
Contenido: Problemas de decisión y de conteo, reducciones, las clases de complejidad P, NP, #P,
PSPACE, BPP, PP, y VP, teoremas de jerarquía, algorítmos aleatorios, y circuitos lógicos y algebraicos.
Forma de Evaluación: tareas regulares y un proyecto final
Bibliografía:
Arora y Barak: Computational Complexity: a Modern Approach (texto principal)
Papadimitriou: Computational Complexity (texto supletorio)
Formato Ofrecimiento de Cursos
201520