Domande taggate «space-bounded»

Domande sulle risorse spaziali dei calcoli nella complessità computazionale o algoritmi.

1
Il teorema della gerarchia spaziale generalizza al calcolo non uniforme?
Domanda generale Il teorema della gerarchia spaziale generalizza al calcolo non uniforme? Ecco alcune domande più specifiche: È ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Per tutte le funzioni costruibili nello spazio 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 ? Per quali funzioni h(n)h(n)h(n) è noto che: per tutto lo spazio costruibile 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) …
2
Gli automi non deterministici che camminano sugli alberi sono più forti di quelli deterministici?
Aggiornamento: sembra che questo problema sia stato studiato e risolto di recente, vedi questo articolo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E anche questo sondaggio: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supponiamo che invece del solito insieme di parole, {0,1} *, le nostre parole non siano lineari ma piuttosto date su una struttura ad albero. Per impedire alle …
1
Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari?
Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari? Per automa lineare non deterministico limitato (nLBA) intendo una macchina di Turing non deterministica a nastro singolo in cui l'input viene "imbottito" con marcatori di estremità su entrambe le estremità che non possono mai essere sovrascritti …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.