ICC and Probabilistic Classes - TEL - Thèses en ligne Access content directly
Theses Year : 2013

ICC and Probabilistic Classes


The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.
Fichier principal
Vignette du fichier
Parisen_Toldin_Paolo_tesi.pdf (1013.7 Ko) Télécharger le fichier

Dates and versions

tel-00909410 , version 1 (26-11-2013)


  • HAL Id : tel-00909410 , version 1


Paolo Parisen Toldin. ICC and Probabilistic Classes. Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English. ⟨NNT : ⟩. ⟨tel-00909410⟩


282 View
287 Download


Gmail Facebook Twitter LinkedIn More