En probabilistisk algoritme er en algoritme, der involverer adgang til en tilfældig talgenerator på bestemte stadier af dens arbejde for at spare tid i drift ved at erstatte den absolutte pålidelighed af resultatet med pålidelighed med en vis sandsynlighed.
Begyndelsen til den kvalitative teori om probabilistiske algoritmer blev lagt i 1956, [1] da det første gang blev fastslået, at det ved hjælp af probabilistiske algoritmer er muligt at beregne nøjagtig de samme funktioner som ved hjælp af konventionelle, deterministiske algoritmer.
I 1974 blev det vist, at det er muligt at konstruere et sprog og en funktion, således at der for enhver eksisterer en sandsynlig Turing-maskine , der genkender med sandsynlighed i tid, og hvis er køretiden for en deterministisk Turing-maskine, der genkender , så gælder for et uendeligt sæt [2] .