Questions marquées «complexity-classes»

Classes de complexité informatique et leurs relations

3
Quelles sont les relations entre ces hypothèses dans la théorie de la complexité à grain fin?
La théorie de la complexité, à travers des concepts tels que la complétude NP, fait la distinction entre les problèmes de calcul qui ont des solutions relativement efficaces et ceux qui sont insolubles. La complexité "fine" vise à affiner cette distinction qualitative en un guide quantitatif quant au temps exact …
3
Problèmes d'optimisation avec une bonne caractérisation, mais pas d'algorithme en temps polynomial
Considérez les problèmes d'optimisation de la forme suivante. Soit une fonction calculable en temps polynomial qui mappe une chaîne en un nombre rationnel. Le problème d'optimisation est le suivant: quelle est la valeur maximale de sur les chaînes à bits ?x f ( x ) n xf(x)f(x)f(x)xxxF( x )F(X)f(x)nnnXXx Disons …
6
Déclarations impliquant
Il s'agit en quelque sorte d'une question ouverte - pour laquelle je m'excuse à l'avance. Y a-t-il des exemples de déclarations qui (apparemment) n'ont rien à voir avec la complexité ou les machines de Turing mais dont la réponse impliquerait ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}
1
P est-il égal à l'intersection de toutes les classes temporelles superpolynomiales?
Appelons une fonction superpolynomiale si vaut pour chaque c> 0 .f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 Il est clair que pour tout langage il contient pour chaque temps superpolynomial lié f (n) . Je me demande si l'inverse de cette affirmation est également vrai? Autrement dit, si nous connaissons L \ in {\ …
3
Les calculs lambda typés peuvent-ils exprimer * tous * les algorithmes en dessous d'une complexité donnée?
Je sais que la complexité de la plupart des variétés de calculs lambda typés sans la primitive combinateur Y est bornée, c'est-à-dire que seules les fonctions de complexité bornée peuvent être exprimées, la borne devenant plus grande à mesure que l'expressivité du système de types croît. Je rappelle que, par …
3
Limites du calcul parallèle
Je suis curieux au sens large de ce que l'on sait des algorithmes de parallélisation en P. J'ai trouvé l'article wikipedia suivant sur le sujet: http://en.wikipedia.org/wiki/NC_%28complexity%29 L'article contient la phrase suivante: On ne sait pas si NC = P, mais la plupart des chercheurs soupçonnent que cela est faux, ce …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.