Otto is a skilled programmer and is especially adept at debugging algorithms. The algorithm that he has recently debugged can be mathematically proven. What type of algorithm is Otto debugging?

Otto is debugging a deterministic algorithm.