Questions marquées «space-bounded»

Questions sur les ressources spatiales des calculs en complexité de calcul ou algorithmes.

1
Quels résultats rendent l'espace quantique intéressant?
Le calcul quantique limité dans le temps est évidemment très intéressant. Qu'en est-il du calcul quantique limité dans l'espace? Je connais de nombreux résultats intéressants pour le calcul quantique avec des limites d'espace sublogarithmiques et divers types de modèles d'automates quantiques. D'un autre côté, il a été montré que l'espace …
1
Complétude et langages contextuels.
Je m'intéresse à deux questions concernant les langages contextuels (CSL) et l'exhaustivité: Existe-t-il une notion d'exhaustivité pour CSL et quelles langues sont complètes? Existe-t-il des CSL naturels qui sont NP-complets? Pour 2., je peux certainement penser à des langages NP-complets naturels qui sont CSL (comme CSL est égal à NSPACE …
2
Algorithmes SC ^ 2 pour la connectivité st
Savitch a donné un algorithme déterministe pour résoudre la st-connectivité en utilisant l' espace , impliquant . L'algorithme de Savitch s'exécute dans le temps 2 ^ {O ({\ log} ^ 2 {n})} . C'est un problème ouvert majeur si la connectivité st peut être résolue par un algorithme déterministe dans …
2
Hiérarchie alternative de l'espace
Il est connu grâce à Immerman et Szelepcsényi que si f = Ω ( log ) (même pour les fonctions constructibles non spatiales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dans le même article, Immerman déclare que la hiérarchie alternative de l'espace journal s'effondre, cela signifie que (la définition de la machine de turing alternée …
1
Hiérarchies temporelles dans DSPACE (O (s (n)))
Le théorème de la hiérarchie temporelle stipule que les machines de turing peuvent résoudre plus de problèmes si elles ont (assez) plus de temps. Tient-il d'une manière ou d'une autre si l'espace est limité asymptotiquement? Comment liéDTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) au DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) si fgfg\frac{f}{g} pousse assez vite? Je m'intéresse particulièrement 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.