Table des matières
22 relations: Éditions Ellipses, Cambridge University Press, Classe de complexité, Clôture (mathématiques), Complémentaire (complexité), Complexité en espace, Complexité en temps, DSPACE, DTIME, Fonction constructible, Langage contextuel, Langage rationnel, Machine de Turing non déterministe, NEXPSPACE, NL (complexité), NTIME, Problème de décision, PSPACE, Springer Science+Business Media, Théorème d'Immerman-Szelepcsényi, Théorème de Savitch, Théorie de la complexité (informatique théorique).
Éditions Ellipses
Les éditions Ellipses ont été fondées en 1973, en France, par Jean-Pierre Bénézet.
Voir NSPACE et Éditions Ellipses
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Voir NSPACE et Cambridge University Press
Classe de complexité
En informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource.
Voir NSPACE et Classe de complexité
Clôture (mathématiques)
On parle de clôture ou de fermeture en mathématiques dans des contextes très divers.
Voir NSPACE et Clôture (mathématiques)
Complémentaire (complexité)
En théorie de la complexité (un domaine de l'informatique théorique), on parle du complémentaire d'une classe C, noté co-C ou coC, pour désigner l'ensemble des langages complémentaires des langages de la classe.
Voir NSPACE et Complémentaire (complexité)
Complexité en espace
En algorithmique, la complexité en espace est une mesure de l'espace utilisé par un algorithme, en fonction de propriétés de ses entrées.
Voir NSPACE et Complexité en espace
Complexité en temps
En algorithmique, la complexité en temps est une mesure du temps utilisé par un algorithme, exprimé comme fonction de la taille de l'entrée.
Voir NSPACE et Complexité en temps
DSPACE
En théorie de la complexité, DSPACE (ou SPACE) désigne une famille de classes de complexité caractérisées par leur complexité en espace sur une machine de Turing déterministe.
Voir NSPACE et DSPACE
DTIME
En théorie de la complexité, DTIME (ou TIME) désigne une famille de classes de complexité caractérisée par leur complexité en temps sur une machine de Turing déterministe.
Voir NSPACE et DTIME
Fonction constructible
En théorie de la complexité, une fonction constructible en temps est une fonction f des entiers naturels vers les entiers naturels, avec la propriété que f(n) peut être calculée à partir de n par une machine de Turing qui se termine en un temps du même ordre de grandeur que f(n).
Voir NSPACE et Fonction constructible
Langage contextuel
En informatique théorique, et spécialement en théorie des langages, un langage contextuel (en anglais) est un langage formel engendré par une grammaire contextuelle.
Voir NSPACE et Langage contextuel
Langage rationnel
En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes.
Voir NSPACE et Langage rationnel
Machine de Turing non déterministe
Une machine de Turing non déterministe est similaire à une machine de Turing habituelle, qui, elle, est déterministe, mais s'en différencie dans le fait qu'étant non déterministe elle peut avoir plusieurs transitions activables, pour un état donné.
Voir NSPACE et Machine de Turing non déterministe
NEXPSPACE
NEXPSPACE est une classe de la théorie de la complexité.
Voir NSPACE et NEXPSPACE
NL (complexité)
En informatique théorique, plus précisément en théorie de la complexité, NL est une classe de complexité.
Voir NSPACE et NL (complexité)
NTIME
En théorie de la complexité, NTIME désigne une famille de classes de complexité caractérisée par leur complexité en temps sur une machine de Turing non déterministe.
Voir NSPACE et NTIME
Problème de décision
En informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ».
Voir NSPACE et Problème de décision
PSPACE
En informatique théorique, plus précisément en théorie de la complexité, PSPACE est la classe de complexité des problèmes de décision décidés par une machine de Turing déterministe avec un espace polynomial.
Voir NSPACE et PSPACE
Springer Science+Business Media
Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.
Voir NSPACE et Springer Science+Business Media
Théorème d'Immerman-Szelepcsényi
Le théorème d'Immerman-Szelepcsényi est un théorème d'informatique théorique, et notamment de la théorie de la complexité, démontré en 1987 indépendamment par Neil Immerman et Róbert Szelepcsényi, et qui leur a valu d'obtenir conjointement le prix Gödel en 1995.
Voir NSPACE et Théorème d'Immerman-Szelepcsényi
Théorème de Savitch
Le théorème de Savitch est un théorème de théorie de la complexité, un domaine de l'informatique théorique.
Voir NSPACE et Théorème de Savitch
Théorie de la complexité (informatique théorique)
P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée…) requis par un algorithme pour résoudre un problème algorithmique.
Voir NSPACE et Théorie de la complexité (informatique théorique)