0403650 - UIVT-O 20030109 RIV CZ cze M - Monography Chapter
Kramosil, Ivan
Pravděpodobnostní algoritmy.
[Probabilistic Algorithms.]
Umělá inteligence 4. Praha: Academia, 2003 - (Mařík, V.; Štěpánková, O.; Lažanský, J.), s. 51-70. ISBN 80-200-1044-0
R&D Projects: GA AV ČR IAA1030803
Institutional research plan: AV0Z1030915
Keywords : probabilistic algorithms * partial recursive functions * probability measure * nondeterministic algorithms * pravděpodobnostní algoritmus * partciálně rekursivní funkce * pravděpodobnostní míra * nedeterministický algoritmus
Subject RIV: BA - General Mathematics

Je popsán matematický model pravděpodobnostního algoritmu kombinující axiomatickou teorii pravděpodobnosti a teorii parciálně rekursivních funkcí. Jako ilustrace jsou uvedeny některé pravděpodobnostní algoritmy pro kódování a Rabin-Solovayův algoritmus pro testování prvočísel.

A mathematical model of probabilistic algorithms combining together axiomatic probability theory and the theory of partial recursive functions is introduced. As an illustration, some probabilistic algorithms for coding and the Rabin-Solovay algorithm for testing of prime numbers are described.

Permanent Link: http://hdl.handle.net/11104/0123949