Una ejecución del algoritmo resolverá correctamente el problema de decisión con una probabilidad de al menos 2/3.