Un algoritmo tipo Las Vegas es un algoritmo de computación de carácter aleatorio ("random") que no es aproximado: es decir, da el resultado correcto o informa que ha fallado.