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