Las Vegas algorithms are often preferred when correctness cannot be compromised, even if the running time varies.