Complexity classes and rewrite systems with polynomial interpretation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 1998

Complexity classes and rewrite systems with polynomial interpretation

Adam Cichon
  • Fonction : Auteur
  • PersonId : 835276
Jean-Yves Marion
Hélène Touzet

Résumé

Les systèmes de réécriture munis d'une interprétation polynomiale ont la propriété de terminaison forte. En fait, et a priori, ainsi que le font remarquer Huet et Oppen, on peut supposer que de telles interprétations sont un bon candidat pour l'étude des fonctions dont la complexité est faible. Ainsi, Cichon et Lescanne ont calculé des bornes de complexité de fonctions unaires selon le type d'interpétation du successeur. Nous nous intéressons plus particulièrement aux fonctions sur les mots qui sont calculables par des systèmes de réécriture munis d'une interprétation polynomiale. Nous les classifions selon un critère basé sur la forme de l'interprétation des constructeurs. Ceci nous conduit à la définition de trois classes qui s'avèrent être exactement : la classe des fonctions calculables en temps polynomial, en temps linéairement exponentiel et en temps doublement exponentiel. d'autre part, nous donnons une caractérisation de l'espace linéaire.
Fichier principal
Vignette du fichier
98-R-060.pdf (213.09 Ko) Télécharger le fichier

Dates et versions

inria-00098689 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098689 , version 1

Citer

Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet. Complexity classes and rewrite systems with polynomial interpretation. CSl'98, 1998, Brno, République Tchèque, pp.372-384. ⟨inria-00098689⟩
77 Consultations
279 Téléchargements

Partager

More