Pravděpodobnostní algoritmus je algoritmus, který zahrnuje přístup ke generátoru náhodných čísel v určitých fázích své práce , aby se ušetřil čas při provozu nahrazením absolutní spolehlivosti výsledku spolehlivostí s určitou pravděpodobností.
Počátek kvalitativní teorie pravděpodobnostních algoritmů byl položen v roce 1956, [1] kdy bylo poprvé zjištěno, že pomocí pravděpodobnostních algoritmů je možné vypočítat úplně stejné funkce jako pomocí konvenčních, deterministických algoritmů.
V roce 1974 se ukázalo, že je možné zkonstruovat jazyk a funkci tak, že pro všechny existuje pravděpodobnostní Turingův stroj , který rozpoznává s pravděpodobností v čase, a pokud je doba běhu deterministického Turingova stroje, který rozpoznává , pak platí pro nekonečnou množinu [2] .