A higher-order characterization of probabilistic polynomial time

We present RSLR, an implicit higher-order characterization of the class PP of those problems which can be decided in probabilistic polynomial time with error probability smaller than 12. Analogously, a (less implicit) characterization of the class BPP can be obtained. RSLR is an extension of Hofmann...

Celý popis

Podrobná bibliografie

Vydáno v:	Information and computation Ročník 241; s. 114 - 141
Hlavní autoři:	Dal Lago, Ugo, Parisen Toldin, Paolo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.04.2015 Elsevier
Témata:	Computer Science Implicit computational complexity Logic in Computer Science Probabilistic classes Probabilistic classes Implicit computational complexity Linear types Lambda calculus
ISSN:	0890-5401, 1090-2651
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!