I had the same initial reaction, but it seems that they are not the same thing: https://en.wikipedia.org/wiki/Las_Vegas_algorithm https://en.wikipedia.org/wiki

I had the same initial reaction, but it seems that they are not the same thing: https://en.wikipedia.org/wiki/Las_Vegas_algorithm https://en.wikipedia.org/wiki/Las_Vegas_algorithm