Randomized polynomial time