<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.
See also computational complexity, exponential time, non-deterministic polynomial-time (NP), NP-complete.
[FOLDOC]
Try this search on OneLook / Google