Questions marquées «space-bounded»

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

1
Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme?
Question générale Le théorème de la hiérarchie spatiale se généralise-t-il au calcul non uniforme? Voici quelques questions plus spécifiques: L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Pour toutes les fonctions constructibles spatiales f(n)f(n)f(n) , DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Pour quelles fonctions h(n)h(n)h(n) est-il connu que: pour tout espace constructible f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n) …
2
Les automates d'arborescence non déterministes sont-ils plus forts que les automates déterministes?
Mise à jour: Il semble que ce problème ait été étudié et résolu récemment, voir cet article wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Et aussi cette enquête: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supposons qu'au lieu de l'ensemble habituel de mots, {0,1} *, nos mots ne soient pas linéaires mais plutôt donnés sur une structure arborescente. Pour éviter …
1
Les automates bornés linéaires non déterministes à visite bornée ne reconnaissent-ils que les langues régulières?
Les automates bornés linéaires non déterministes à visite bornée ne reconnaissent-ils que les langues régulières? Par un automate borné linéaire non déterministe (nLBA), je veux dire une machine de Turing non déterministe à bande unique où l'entrée est "rembourrée" avec des marqueurs de fin aux deux extrémités qui ne peuvent …
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.