Noun
Las Vegas algorithm (plural Las Vegas algorithms)
English Wikipedia has an article on:Las Vegas algorithmWikipedia
(computing) A randomized algorithm that always gives a correct result rather than merely giving a probably correct result.
To show that ZPP is contained in RP intersect co-RP, suppose we have a Las Vegas algorithm C to solve a problem. Source: Internet