Theory of Computation

Idea

Is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm.