9 relations: Classe de complexité, Comparaison asymptotique, Complexité en espace, Complexité en temps, Informatique théorique, Juris Hartmanis, Machine de Turing, Richard Stearns, Théorie de la complexité (informatique théorique).
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.
Nouveau!!: Théorème d'accélération linéaire et Classe de complexité · Voir plus »
Comparaison asymptotique
Comparaison asymptotique des fonctions utilisées en informatique plus précisément en algorithme. On voit par exemple que la fonction exponentielle (2^n) croit plus vite que la fonction linéaire (n). En mathématiques, plus précisément en analyse, la comparaison asymptotique est une méthode consistant à étudier la vitesse de croissance d'une fonction.
Nouveau!!: Théorème d'accélération linéaire et Comparaison asymptotique · Voir plus »
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.
Nouveau!!: Théorème d'accélération linéaire et Complexité en espace · Voir plus »
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.
Nouveau!!: Théorème d'accélération linéaire et Complexité en temps · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Théorème d'accélération linéaire et Informatique théorique · Voir plus »
Juris Hartmanis
Juris Hartmanis (né le à Riga en Lettonie et mort le) est un informaticien américain d'origine lettonne.
Nouveau!!: Théorème d'accélération linéaire et Juris Hartmanis · Voir plus »
Machine de Turing
En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Nouveau!!: Théorème d'accélération linéaire et Machine de Turing · Voir plus »
Richard Stearns
Richard Edwin Stearns, né le à Caldwell dans le New Jersey, est un informaticien américain qui, avec Juris Hartmanis, a reçu en 1993 le prix Turing pour leurs recherches communes sur les bases de la théorie de la complexité des algorithmes.
Nouveau!!: Théorème d'accélération linéaire et Richard Stearns · Voir plus »
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.
Nouveau!!: Théorème d'accélération linéaire et Théorie de la complexité (informatique théorique) · Voir plus »