Questions marquées «space-bounded»

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

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 …
3
Problèmes intermédiaires entre L et NL
Il est bien connu que la connectivité st dirigée est complète en . Résultat percée Reingold a montré que undirected st-connectivité est en . La connectivité st dirigée planaire est connue pour être dans . Cho et Huynh ont défini un problème de sac à dos paramétré et ont présenté …
1
Algorithmes d'espace de journalisation sur les graphiques avec une largeur d'arbre bornée
La largeur de l'arbre mesure la proximité d'un graphique avec un arbre. Il est difficile de calculer la largeur de l'arbre NP. L' algorithme d' approximation le plus connu atteint le facteur .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Le théorème de Courcelle stipule que toute propriété de graphes définissables en logique monadique du second ordre …
1
Peut
Considérez la langue .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Il est connu que ne peut être reconnu par aucune machine de Turing à espace sublogarithmique alternatif (ATM) (Szepietowski, 1994) . (Il existe un guichet automatique utilisant un espace sublogarithmique pour les membres mais pas pour tous …
3
TM et oracles délimités par l'espace
En général, la bande de requête d'un oracle compte pour la complexité spatiale d'une MT. Cependant, il semble plausible d'autoriser une bande oracle en écriture seule (comme celle utilisée dans les réductions d'espace L). Une telle construction est-elle utile? Cela donne-t-il des résultats particulièrement absurdes?
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.