Teoría de la complejidad computacional

¿Qué es la teoría de la complejidad y por qué ocupa un lugar tan central en la informática? La teoría de la complejidad estudia cuántos recursos - como tiempo de cálculo, memoria u otros - se requieren para resolver problemas algorítmicos. Permite comprender qué pueden hacer realmente los ordenadores y cuáles son los límites fundamentales de la computación, incluso cuando se dispone de los mejores algoritmos posibles. Desde las clases clásicas P y NP, pasando por las reducciones, la NP-completitud y los problemas de aproximación, hasta los sistemas de prueba interactivos, la teoría PCP y la complejidad de comunicación, este libro presenta de forma progresiva los conceptos esenciales del área. Lucien Sina no solo expone la teoría con rigor matemático, sino que también hace visibles las ideas e intuiciones que la sustentan.
Numerosos ejemplos, demostraciones y ejercicios con soluciones facilitan la comprensión y permiten desarrollar una visión sólida de la eficiencia algorítmica. Este libro está dirigido a estudiantes de informática, docentes, investigadores y a todas las personas que buscan una introducción clara, rigurosa y bien estructurada a la teoría de la complejidad. Además, se integra en la serie de obras del autor - Algoritmos y estructuras de datos, Informática teórica, Lógica formal y Programación orientada a objetos en Java - , formando una colección coherente de estudio y consulta que abarca desde los fundamentos teóricos hasta la programación práctica. La teoría de la complejidad muestra hasta qué punto la teoría y la práctica de la informática están profundamente entrelazadas, y por qué conocer los límites de lo posible suele ser el primer paso para ampliarlos de manera creativa.