Fundamentos de la Teoría de la Complejidad Computacional

¿Por qué algunos problemas computacionales tardan segundos en resolverse mientras que otros tomarían miles de millones de años? Comprender los límites matemáticos de lo que las computadoras pueden y no pueden resolver es la clave de la teoría de la informática. Desarrollará un marco teórico sólido para analizar algoritmos, clasificar problemas computacionales y comprender las estructuras matemáticas profundas que rigen la computación moderna. Lo que aprenderás: - Comprender las clases de complejidad fundamentales como P, NP y la jerarquía de tiempo polinomial. - Analizar modelos computacionales alternativos, incluidos sistemas no deterministas, probabilísticos y paralelos. - Explore el poder de los circuitos booleanos y su papel en la prueba de límites inferiores computacionales. - Estudiar sistemas de pruebas interactivas y los fundamentos matemáticos de las pruebas de conocimiento cero. - Examinar la pseudoaleatoriedad, la desarrazoación y el papel de la aleatoriedad en la computación. - Aprenda cómo la teoría de la complejidad moderna se conecta con los conceptos de computación cuántica y criptografía avanzada. El curso comienza con la terminología esencial y las definiciones matemáticas de los algoritmos, luego progresa sistemáticamente a través de jerarquías de complejidad, sistemas interactivos y aplicaciones teóricas modernas. Está diseñado para programadores curiosos, entusiastas de las matemáticas y estudiantes de ciencias de la computación que buscan un punto de entrada accesible a la ciencia de la computadora teórica sin necesidad de experiencia previa avanzada en investigación.