Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Complexité descriptive et NL (complexité)

Raccourcis: Différences, Similitudes, Jaccard similarité Coefficient, Références.

Différence entre Complexité descriptive et NL (complexité)

Complexité descriptive vs. NL (complexité)

En informatique théorique, la complexité descriptive est une branche de la théorie de la complexité et de la théorie des modèles, qui caractérise les classes de complexité en termes de logique qui permet de décrire les problèmes. En informatique théorique, plus précisément en théorie de la complexité, NL est une classe de complexité.

Similitudes entre Complexité descriptive et NL (complexité)

Complexité descriptive et NL (complexité) ont 9 choses en commun (em Unionpédia): Calcul des prédicats, Classe de complexité, Informatique théorique, Neil Immerman, NP (complexité), P (complexité), Problème de décision, PSPACE, Théorie de la complexité (informatique théorique).

Calcul des prédicats

En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.

Calcul des prédicats et Complexité descriptive · Calcul des prédicats et NL (complexité) · Voir plus »

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.

Classe de complexité et Complexité descriptive · Classe de complexité et NL (complexité) · 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.

Complexité descriptive et Informatique théorique · Informatique théorique et NL (complexité) · Voir plus »

Neil Immerman

Neil Immerman, né le à Manhasset dans l'État de New York, est un informaticien américain, spécialiste de l'informatique théorique, professeur d'informatique à l'université du Massachusetts à Amherst, Computer Science Department, University of Massachusetts Amherst, consulté le 23 janvier 2010.

Complexité descriptive et Neil Immerman · NL (complexité) et Neil Immerman · Voir plus »

NP (complexité)

La classe NP est une classe très importante de la théorie de la complexité.

Complexité descriptive et NP (complexité) · NL (complexité) et NP (complexité) · Voir plus »

P (complexité)

La classe P, aussi noté parfois PTIME ou DTIME(nO(1)), est une classe très importante de la théorie de la complexité, un domaine de l'informatique théorique et des mathématiques.

Complexité descriptive et P (complexité) · NL (complexité) et P (complexité) · Voir plus »

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 ».

Complexité descriptive et Problème de décision · NL (complexité) et Problème de décision · Voir plus »

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.

Complexité descriptive et PSPACE · NL (complexité) et PSPACE · 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.

Complexité descriptive et Théorie de la complexité (informatique théorique) · NL (complexité) et Théorie de la complexité (informatique théorique) · Voir plus »

La liste ci-dessus répond aux questions suivantes

Comparaison entre Complexité descriptive et NL (complexité)

Complexité descriptive a 25 relations, tout en NL (complexité) a 30. Comme ils ont en commun 9, l'indice de Jaccard est 16.36% = 9 / (25 + 30).

Références

Cet article montre la relation entre Complexité descriptive et NL (complexité). Pour accéder à chaque article à partir de laquelle l'information a été extraite, s'il vous plaît visitez:

Hey! Nous sommes sur Facebook maintenant! »