Questions marquées «complexity-classes»

Classes de complexité informatique et leurs relations

1
Conjecture: Tous les langages FPT NP-complets sont à paramètres fixes isomorphes
Conjecture de Berman – Hartmanis: tous les langages NP-complets se ressemblent, en ce sens qu'ils peuvent être liés les uns aux autres par des isomorphismes polynomiaux temporels [1]. Je suis intéressé par une version plus fine du "temps polynomial", c'est-à-dire si nous utilisons des réductions paramétrées. Un problème paramétré est …
1
Les équations différentielles peuvent-elles être classées dans leurs propres classes de complexité?
Les problèmes ont été, dans leur ensemble, classés, grâce à la complexité informatique. Mais, dans les équations différentielles, est-il possible de classer les équations différentielles en fonction de leur structure de calcul? Par exemple, si une équation non homogène du premier ordre est relativement difficile à résoudre qu'une équation homogène …
1
Un problème naturel dans
La classe de complexité est définie comme suit (à partir de Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Un langage est dans s'il existe un prédicat polynomial tel queLLLSP2S2PS_2^PPPP Si , alors il existe un tel que pour tout ,x ∈ LX∈Lx \in LyyyzzzP( x , y, z) = 1P(X,y,z)=1P(x,y,z)=1 Si , alors il existe …
3
Quelle est la simulation connue la plus rapide de BPP utilisant des algorithmes de Las Vegas?
B P PBPP\mathsf{BPP} etZPPZPP\mathsf{ZPP} sont deux des classes de complexité probabiliste de base. BPPBPP\mathsf{BPP} est la classe de langages décidée par les algorithmes de Turing à temps polynomial probabiliste où la probabilité que l'algorithme renvoie une réponse incorrecte est limitée, c'est-à-dire que la probabilité d'erreur est au plus1313\frac{1}{3} (pour les …
1
Une version descriptive de la complexité du théorème de Rice pourrait-elle être utilisée pour séparer AC0 et PSPACE?
Dans cette question , il a été mentionné qu'il existe des versions de complexité descriptive du théorème de Rice. J'ai trouvé une preuve du théorème suivant: Étant donné une classe de complexité C , les propriétés non triviales des langages en C ne peuvent pas être calculées en C J'avais …
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.