A valószínűségi algoritmus egy olyan algoritmus, amely magában foglalja a véletlenszám-generátor elérését a munka bizonyos szakaszaiban, hogy időt takarítson meg azáltal, hogy az eredmény abszolút megbízhatóságát a megbízhatósággal helyettesíti egy bizonyos valószínűséggel.
A valószínűségi algoritmusok kvalitatív elméletének kezdete 1956-ban volt, [1] amikor először állapították meg, hogy a valószínűségi algoritmusok segítségével pontosan ugyanazokat a függvényeket lehet kiszámítani, mint a hagyományos, determinisztikus algoritmusokkal.
1974-ben kimutatták, hogy meg lehet alkotni egy nyelvet és függvényt úgy, hogy bármelyikhez létezik olyan valószínűségi Turing-gép , amely időben valószínőséggel ismer fel, és ha egy determinisztikus Turing-gép futási ideje, amely felismeri , akkor végtelen halmazra érvényes [2] .