Two function algebras defining functions in NC k boolean circuits

Abstract : We describe the functions computed by boolean circuits in NCk by means of func- tions algebra for k ≥ 1 in the spirit of implicit computational complexity. The whole hierarchy defines NC. In other words, we give a recursion-theoretic charac- terization of the complexity classes NCk for k ≥ 1 without reference to a machine model, nor explicit bounds in the recursion schema. Actually, we give two equiv- alent description of the classes NCk, f ≥ 1. One is based on a tree structure a` la Leivant, the other is based on words. This latter puts into light the role of computation of pointers in circuit complexity. We show that transducers are a key concept for pointer evaluation.
Type de document :
Article dans une revue
Journal of Information and Computation, Elsevier, 2016
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01113342
Contributeur : Guillaume Bonfante <>
Soumis le : jeudi 5 février 2015 - 13:15:32
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : mercredi 6 mai 2015 - 10:15:25

Fichier

nc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01113342, version 1

Collections

Citation

Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem. Two function algebras defining functions in NC k boolean circuits. Journal of Information and Computation, Elsevier, 2016. 〈hal-01113342〉

Partager

Métriques

Consultations de la notice

394

Téléchargements de fichiers

210