Theory of computational complexity