El algoritmo sí funciona en tiempo polinomial, pero es probabilista.