A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Recursion theoretic characterizations of complexity classes of counting functions
1996
Theoretical Computer Science
There has been a great effort in giving machine-independent, algebraic characterizations of complexity classes, especially of functions. Astonishingly, no satisfactory characterization of the prominent class #P is known up to now. Here, we characterize #P as the closure of a set of simple arithmetical functions under summation and weak product. Based on that result, the hierarchy of counting functions, which is the closure of #P under substitution, is characterized, remarkably without using the
doi:10.1016/0304-3975(95)00237-5
fatcat:3esk7336bbh3rpznmclz6enr7a