La clase de complejidad de los problemas de decisión de estos algoritmos con ejecución polinómica es ZPP.