complexity A known algorithm (or Turing Machine) that is

guaranteed to terminate within a number of steps which is a

polynomial function of the size of the problem.