Las Vegas algorithm

Etymology
Named in contrast to a Monte Carlo method.

Noun

 * 1)  A randomized algorithm that always gives a correct result rather than merely giving a probably correct result.