Now in one place, my sixty favorite theorems covering the six decades of computational complexity. blog.computationalco...