Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

2
NTIME (n ^ k) ≠ DTIME (n ^ k)?
Dans "Déterminisme versus non déterminisme et problèmes connexes" (Proc. IEEE FOCS, pages 429 à 438, 1983), Paul, Pippenger, Szemerédi et Trotter ont prouvé que . NTIME(n)≠DTIME(n)NTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) Ceci répond à ma question avec k = 1. Est-il connu quelque chose sur un résultat similaire pour un autre k fixe?
2
Approche cohomologique de la complexité booléenne
Il y a quelques années, Joel Friedman avait écrit un article reliant les limites inférieures du circuit à la cohomologie de Grothendieck (voir articles: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ). Cette ligne de pensée a-t-elle apporté de nouvelles informations sur la complexité booléenne, ou reste-t-il plutôt une curiosité mathématique?
1
vs
Le problème central de la théorie de la complexité est sans doute vs N P .PPPNPNPNP Cependant, comme la nature est quantique, il semblerait plus naturel de considérer les classes (c'est-à-dire les problèmes de décision pouvant être résolus par un ordinateur quantique en temps polynomial, avec une probabilité d'erreur d'au …
1
LOGLOG = NLOGLOG?
Définissez LOGLOG comme la classe de langues qui peut être calculée dans l'espace O (loglog n) par une machine de Turing déterministe (avec un accès bidirectionnel à l'entrée). De même, définissez NLOGLOG comme la classe de langues qui peut être calculée dans l'espace O (log log n) par une machine …
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.