computation Definition Correct Reduction A reduction is correct if it preserves the answer to the problem instance.