Questions marquées «complexity-classes»

Classes de complexité informatique et leurs relations

4
Quelles sont les conséquences de
On sait que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} et L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , où L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nous savons aussi que polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}parce que ce dernier a des problèmes complets dans les réductions logarithmiques d’espaces multiples, alors que ce n’est pas le cas …
7
Que savons-nous sur les programmes parfaitement corrects?
La complexité croissante des programmes informatiques et la position de plus en plus cruciale des ordinateurs dans notre société me laissent nous demander pourquoi nous n'utilisons toujours pas collectivement des langages de programmation dans lesquels vous devez prouver formellement que votre code fonctionne correctement. Je crois que le terme est …
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 …
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.