Résultats de la recherche

...éterministe]]. Cette classe est égale à [[EXPSPACE]] d'après le [[théorème de Savitch]]. ...espace <math>O(s(n))</math> pour une fonction <math>s</math> en la taille de l'entrée <math>n</math>, alors on peut définir NEXPSPACE par : ...

...sures de complexité qui ne diffèrent que d'une constante, et justifie donc la notation [[Comparaison asymptotique|grand O]] utilisée dans le domaine. Le théorème de d'accélération en temps est dû à [[Juris Hartmanis]] et [[Richard Stearns]] ...

...une relation entre les [[classe de complexité|classes de complexité]] en [[complexité en espace|espace]], déterministes et non-déterministes. Une conséquence imp ...ces}}</ref>. Des idées de la preuve étaient déjà présentes dans un article de Philip Lewis, [[Juris Hartmanis]] et [[Richard Stearns]] publié en 1965<ref ...

...mplexité]] caractérisée par leur [[complexité en temps]] sur une [[machine de Turing]] déterministe. ...uvent être résolus en temps <math>\mathcal{O}(f(n))</math> par une machine de Turing déterministe. ...

...mplexité]] caractérisée par leur [[complexité en temps]] sur une [[machine de Turing non déterministe]]. ...uvent être résolus en temps <math>\mathcal{O}(f(n))</math> par une machine de Turing non déterministe. ...

...lexité]] caractérisées par leur [[complexité en espace]] sur une [[machine de Turing non déterministe]]. ...une entrée de taille <math>n</math>, peuvent être décidés par une machine de Turing non déterministe fonctionnant en espace <math>\mathcal{O}(f(n))</mat ...

...lexité]] caractérisées par leur [[complexité en espace]] sur une [[machine de Turing]] déterministe. ...une entrée de taille <math>n</math>, peuvent être décidés par une machine de Turing déterministe fonctionnant en espace <math>\mathcal{O}(f(n))</math>. ...

...ions existentielles sur les ensembles. C'est le résultat fondateur de la [[complexité descriptive]]. ...NP sans avoir recours à une notion de modèle de calcul comme la [[machine de Turing]]. ...

...]]''' en [[Théorie de la complexité (informatique théorique)|théorie de la complexité]]. |compte les solutions d'un problème de NP ...

...ne [[machine de Turing]] qui dépend de la taille de l'entrée, afin d'aider la machine à reconnaître un [[Langage formel|langage]]. Cette notion est intro ...ath> de taille <math>f(n)</math> tels que pour toute entrée <math>x</math> de taille <math>n</math>, <math>x\in A</math> si et seulement si <math>(x,a_n) ...

...onsidérer de nouvelles classes comme [[co-NP]], le complémentaire de [[NP (complexité)|NP]]. ...gma^* \setminus L</math>. On remarque en particulier que le complémentaire de <math>\bar{L}</math> est <math>L</math>. ...

...ar la définition de la hiérarchie polynomiale ne fait pas référence à la [[théorie des probabilités]]. .../3. La classe Σ₂ contient les problèmes décidés par une machine de Turing déterministe en temps polynomial qui fait appel à un oracle NP. ...

...la calculabilité]], un '''problème de comptage''' est un type particulier de [[problème algorithmique]]. ...la [[NP (complexité)|classe NP]] pour les [[problème de décision|problèmes de décision]]. ...

...du point de vue de la [[Théorie de la complexité (informatique théorique)|complexité algorithmique]], entre « optimiser » et « séparer », sur un même [[polyèdre ...mais fini d'[[Inéquation du premier degré|inégalités linéaires]] (i.e. de la forme <math> \sum_{i=1}^{i=n} a_ix_i \le b </math>). ...

...emin quelconque, est bien solution, c'est-à-dire que c'est bien un circuit de longueur inférieur à ''k'' et qu'il passe bien une et seule fois par toutes L'un des grands problèmes ouverts de l'[[informatique théorique]] est le [[Problème P ≟ NP]]. ...

...logiques (en la taille de la [[formule propositionnelle]] à tester), alors la [[hiérarchie polynomiale]] s’effondre au second niveau. Plus formellement, ...remiers à le prouver, en 1980. La preuve originale montrait l’effondrement de PH à <math>\Sigma_3</math>, mais [[Michael Sipser]] l’a améliorée pour atte ...

...lexité (informatique théorique)|théorie de la complexité]], le '''théorème de Courcelle''' est le suivant : ...ble en [[complexité en temps|temps]] linéaire dans la classe des [[Graphe (théorie des graphes)|graphes]] avec une [[largeur arborescente]] bornée.}} ...

...orithme déterministe|algorithmes déterministes]]. Le principe porte le nom de l'informaticien [[Andrew Yao]]. ...aine distribution des entrées, alors tout algorithme probabiliste aura une complexité élevée sur sa pire entrée. ...

...plexité)|complémentaire (au sens de la complexité)]] de la classe '''[[NP (complexité)|NP]]'''. === À partir de NP === ...

...reuve ne peut pas permettre de prouver que [[problème P=NP|P est différent de NP]]. ...[P/poly]], un analogue en circuit de P, ne contient pas tous les problèmes de NP<ref name=notices> ...