. . "The randomized algorithm is an algorithm that makes random choices during its execution." . .