ICC and Probabilistic Classes

Paolo Parisen Toldin 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Document type :
Complete list of metadatas

Cited literature [37 references]  Display  Hide  Download

Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 11:23:28 AM
Last modification on : Saturday, January 27, 2018 - 1:31:25 AM
Long-term archiving on: Thursday, February 27, 2014 - 9:26:31 AM


  • HAL Id : tel-00909410, version 1



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



Record views


Files downloads