Predicative Analysis of Feasibility and Diagonalization

Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of Bellantoni and Cook, and Leivant. Here, we refine predicative analysis by using a ramified Ackermann’s con-10 struction of a non-primitive recursive function. We obtain an hierarchy of functions which characterizes exactly functions, which are computed in O(nk ) over register machine model of computation. Then, we are able to diagonalize using dependent types in order to obtain an exponential function.15

• Type: Conference
• Year: 2007
• Where: TLCA
• Authors: Jean-Yves Marion
• Keywords: Ackermann’s Con-10 Struction, Polynomial Time Functions, Predicative Analysis, Theoretical Computer Science, TLCA 2007