Deterministic Algorithms

Goal To prove that the

algorithm solves the problem

correctly always and quickly

typically the number of steps

should be polynomial in the

size of the input