[Las Vegas algorithms](http://en.wikipedia.org/wiki/Las_Vegas_algorithm).