Обычное определение алгоритма Лас-Вегаса включает ограничение, согласно которому ожидаемое время выполнения всегда должно быть конечным, когда ожидание выполняется по пространству случайной информации или энтропии, используемой в алгоритме.
Если алгоритм дает результат, этот результат будет правильным.