Teoría de NP Problemas de grafos y Tratabilidad Computacional1 Máquina de Turing(1937, Alan Turing): es un modelo formal para expresar cualquier algoritmo.