El documento habla sobre la complejidad computacional de los algoritmos y la clasificación de problemas. Explica que existen problemas decidibles e indecidibles, y que dentro de los decidibles están los tratables e intratables. Además, clasifica los problemas en las clases P, NP y NP-completos según si pueden resolverse en tiempo polinomial o no.