Geef de definitie van een probablistisch algoritme: