Implicit Complexity Over an Arbitrary Structure: Sequential and Parallel Polynomial Time.

Olivier Bournez 1 Felipe Cucker Paulin Jacobé de Naurois Jean-Yves Marion 2
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We provide several machine-independent characterizations of deterministic complexity classes in the model of computation proposed by L. Blum, M. Shub and S. Smale. We provide a characterization of partial recursive functions over any arbitrary structure. We show that polynomial time over an arbitrary structure can be characterized in terms of safe recursion. We show that polynomial parallel time over an arbitrary structure can be characterized in terms of safe recursion with substitutions.
Keywords : Blum Shub Smale model implicit complexity complexity theory
Type de document :
Article dans une revue
Journal of Logic and Computation, Oxford University Press (OUP), 2005, 15 (1), pp.41--58
Liste complète des métadonnées
https://hal.inria.fr/inria-00102942
Contributeur : Olivier Bournez <>
Soumis le : lundi 2 octobre 2006 - 22:06:19
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00102942, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion. Implicit Complexity Over an Arbitrary Structure: Sequential and Parallel Polynomial Time.. Journal of Logic and Computation, Oxford University Press (OUP), 2005, 15 (1), pp.41--58. 〈inria-00102942〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

109

Contact


archive-ouverte@inria.fr