Recursion Schemata for NCk

  • Guillaume Bonfante
  • Reinhard Kahle
  • Jean-Yves Marion
  • Isabel Oitavem
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5213)

Abstract

We give a recursion-theoretic characterization of the complexity classes NCk for k ≥ 1. In the spirit of implicit computational complexity, it uses no explicit bounds in the recursion and also no separation of variables is needed. It is based on three recursion schemes, one corresponds to time (time iteration), one to space allocation (explicit structural recursion) and one to internal computations (mutual in place recursion). This is, to our knowledge, the first exact characterization of NCk by function algebra over infinite domains in implicit complexity.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aspinall, D., Beringer, L., Hofmann, M., Loidl, H.-W., Momigliano, A.: A program logic for resources. Theor. Comput. Sci. 389(3), 411–445 (2007)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Balcázar, J.L., Díaz, J., Gabarró, J.: Structural complexity II. EATCS Monographs of Theoretical Computer Science, vol. 22. Springer, Heidelberg (1990)MATHGoogle Scholar
  3. 3.
    Bellantoni, S., Cook, S.: A new recursion-theoretic characterization of the poly-time functions. Computational Complexity 2, 97–110 (1992)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Bellantoni, S., Oitavem, I.: Separating NC along the δ axis. Theoretical Computer Science 318, 57–78 (2004)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Bonfante, G., Kahle, R., Marion, J.-Y., Oitavem, I.: Towards an implicit characterization of NC k. In: Ésik, Z. (ed.) CSL 2006. LNCS, vol. 4207, pp. 212–224. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Bonfante, G., Marion, J.-Y., Péchoux, R.: A characterization of alternating log time by first order functional programs. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 90–104. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Chandra, A.K., Kožen, D.J., Stockmeyer, L.J.: Alternation. Journal ACM 28, 114–133 (1981)MATHCrossRefGoogle Scholar
  8. 8.
    Girard, J.-Y.: Light linear logic. Information and Computation 143(2), 175–204 (1998)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Immerman, N.: Descriptive Complexity. Springer, Heidelberg (1998)Google Scholar
  10. 10.
    Kristiansen, L., Jones, N.D.: The flow of data and the complexity of algorithms. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 263–274. Springer, Heidelberg (2005)Google Scholar
  11. 11.
    Leivant, D.: A foundational delineation of computational feasiblity. In: Proceedings of the Sixth IEEE Symposium on Logic in Computer Science (LICS 1991) (1991)Google Scholar
  12. 12.
    Leivant, D.: Predicative recurrence and computational complexity I: Word recurrence and poly-time. In: Clote, P., Remmel, J. (eds.) Feasible Mathematics II, pp. 320–343. Birkhäuser, Basel (1994)Google Scholar
  13. 13.
    Leivant, D.: A characterization of NC by tree recurrence. In: Foundations of Computer Science 1998, pp. 716–724. IEEE Computer Society, Los Alamitos (1998)Google Scholar
  14. 14.
    Leivant, D., Marion, J.-Y.: A characterization of alternating log time by ramified recurrence. Theoretical Computer Science 236(1–2), 192–208 (2000)MathSciNetGoogle Scholar
  15. 15.
    Marion, J.-Y.: Predicative analysis of feasibility and diagonalization. In: Della Rocca, S.R. (ed.) TLCA 2007. LNCS, vol. 4583, pp. 290–304. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  16. 16.
    Niggl, K.-H., Wunderlich, H.: Certifying polynomial time and linear/polynomial space for imperative programs. SIAM J. Comput. 35(5), 1122–1147 (2006)MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Oitavem, I.: Characterizing NC with tier 0 pointers. Mathematical Logic Quarterly 50, 9–17 (2004)MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Ruzzo, W.L.: On uniform circuit complexity. Journal of Computer and System Sciences 22, 365–383 (1981)MATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Simmons, H.: The realm of primitive recursion. Archive for Mathematical Logic 27, 177–188 (1988)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Guillaume Bonfante
    • 1
  • Reinhard Kahle
    • 2
  • Jean-Yves Marion
    • 1
  • Isabel Oitavem
    • 3
  1. 1.Loria - INPLVillers-lès-NancyFrance
  2. 2.CENTRIA and DMUniversidade Nova de LisboaCaparicaPortugal
  3. 3.UNL and CMAFUniversidade de LisboaLisboaPortugal

Personalised recommendations