Definition, synonyms and related words
A randomized algorithm that always gives a correct result rather than merely giving a probably correct result.