Las Vegas algorithm
Appearance
A randomized algorithm which always outputs the correct answer. So the only variation is the running-time.
An alternative definition additionaly includes the restriction, that the average-case running-time must be finite.