Perfect Simulation of Las Vegas Algorithms via Local Computation

Xinyu Fu, Yonggang Jiang, Yitong Yin

The notion of Las Vegas algorithms was introduced by Babai (1979) and can be defined in two ways: * In Babai's original definition, a randomized algorithm is called Las Vegas if it…