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