Domande taggate «space-bounded»

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

1
LOGLOG = NLOGLOG?
Definire LOGLOG come la classe di linguaggi che può essere calcolata nello spazio O (loglog n) da una macchina Turing deterministica (con accesso bidirezionale all'input). Allo stesso modo definire NLOGLOG come la classe di linguaggi che può essere calcolata nello spazio O (log log n) da una macchina di Turing …
2
Limiti inferiori stretti sul teorema di Savitch
Prima di tutto, mi scuso in anticipo per qualsiasi stupidità. Non sono affatto un esperto di teoria della complessità (tutt'altro! Sono un laureato che frequenta la mia prima lezione di teoria della complessità) Ecco la mia domanda. Ora il teorema di Savitch afferma che NSPACE(f(n))⊆DSPACE((f(n))2)NSPACE(f(n))⊆DSPACE((f(n))2)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^2\right) Ora sono curioso …
3
Problemi intermedi tra L e NL
È noto che la connettività st diretta è . Risultato svolta di Reingold ha dimostrato che non orientato st-connettività è in L . Planare diretto st-connettività è noto per essere in U L ∩ c o U L . Cho e Huynh definito un problema di zaino parametrizzata ed esposte …
1
Algoritmi dello spazio di log su grafici con larghezza dell'albero limitata
La larghezza dell'albero misura la vicinanza di un grafico a un albero. È NP-difficile calcolare la larghezza dell'albero. L' algoritmo di approssimazione più noto raggiunge fattore.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Il teorema di Courcelle afferma che qualsiasi proprietà dei grafici definibile nella logica monadica di secondo ordine (MSO2) può essere decisa in tempo lineare …
1
Può
Considera la lingua EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . È noto che EQUALITYEQUALITY \mathtt{EQUALITY} non può essere riconosciuto da nessuna macchina di Turing (ATM) con spazio sublogaritmico (ATM)(Szepietowski, 1994). (C'è un bancomat che utilizza lo spazio sublogaritmico per i membri ma non per tutti i …
3
TM e oracoli limitati dallo spazio
In generale, il nastro di query per un oracolo conta per la complessità dello spazio di una TM. Tuttavia, sembra plausibile consentire un nastro oracolo di sola scrittura (come viene utilizzato nelle riduzioni dello spazio L). Una tale costruzione è utile? Produce risultati particolarmente assurdi?
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.