In un classico articolo Munro e Paterson studiano il problema di quanta memoria è necessaria affinché un algoritmo trovi la mediana in una matrice ordinata casualmente. In particolare si concentrano sul seguente modello: l'ingresso viene letto da sinistra a destra per un numero P di volte. Viene mostrato che le …
Il calcolo quantistico limitato nel tempo è ovviamente molto interessante. Che dire del calcolo quantistico limitato allo spazio? Conosco molti risultati interessanti per il calcolo quantistico con limiti di spazio sublogaritmici e vari tipi di modelli di automi quantistici. D'altra parte, è stato dimostrato che lo spazio probabilistico e quantistico …
È facile intuire che qualsiasi problema decidibile nello spazio logistico deterministico ( ) viene eseguito al massimo nel tempo polinomiale ( P ). Molti algoritmi di spazio di log noti (ad esempio: connettività st non indirizzata, isomorfismo del grafico planare) vengono eseguiti in O ( n k ) dove k …
Si dice che una distribuzione ϵ -fool una funzione f se | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . E si dice che imbroglia una classe di funzioni se imbroglia ogni funzione …
Il teorema di Savitch mostra che per tutte le funzioni abbastanza grandi , e dimostrando che questo è stretto è stato un problema aperto per decenni .NSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Supponiamo di affrontare il problema dall'altra parte. Per semplicità, assumere l'alfabeto booleano. La quantità di spazio utilizzata da una TM per …
Per un classico risultato di Kuroda, la classe di complessità NSPACE [ ]nnn (nota anche come NLIN-SPACE) è precisamente la classe CSL dei linguaggi sensibili al contesto . Il problema della soddisfacibilità SAT si trova in NSPACE [ ], dal momento che un'ipotesi lineare per una soluzione può essere verificata …
Nisan ha dimostrato in "Generatori psuedorandom per il calcolo limitato dallo spazio", che esiste un generatore pseudo-casuale che "imbroglia" i calcoli limitati dallo spazio. Questa costruzione vale per ogni oracolo (almeno per le query non adattative)?
Sono interessato a due domande riguardanti i linguaggi sensibili al contesto (CSL) e la completezza: Esiste una nozione di completezza per CSL e quali lingue sono complete? Esistono CSL naturali che sono NP-complete? Per 2., posso certamente pensare a linguaggi NP naturali completi che sono CSL (poiché CSL è uguale …
Savitch ha fornito un algoritmo deterministico per risolvere la connettività st usando lo spazio , implicando . L'algoritmo di Savitch viene eseguito nel tempo . È un grave problema aperto se la connettività st può essere risolta da un algoritmo deterministico nello spazio polinomiale e nello spazio , ovvero se …
Spesso consideriamo le classi di complessità in cui siamo limitati nella quantità di spazio che la nostra macchina Turing può utilizzare, ad esempio: o NSPACE ( f ( n ) ) . Sembra che all'inizio della teoria della complessità ci siano stati molti successi con queste classi come il teorema …
è la classe di problemi di decisione risolvibili da una famiglia dicircuiti di profondità O ( log i n ) con porte OR senza limiti e porte E con limiti limitati. Le negazioni sono consentite solo a livello di input. È noto che S A C i per i ≥ …
È noto grazie a Immerman e Szelepcsényi che se f = Ω ( log ) (anche per funzioni non spaziali costruibili).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Nello stesso documento, Immerman afferma che la gerarchia alternata dello spazio dei registri collassa, ciò significa che (la definizione della turing machine alternata limitata e di ciò …
Il teorema della gerarchia temporale afferma che le macchine turing possono risolvere più problemi se hanno (abbastanza) più tempo. Tiene in qualche modo se lo spazio è limitato asintoticamente? In che modo DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) si a DTISP ( f ( n ) , O ( s ( n ) ) …
Considera un vettore dimensionale v dove v i ∈ { 0 , 1 } . Per ogni i sappiamo p i = P ( v i = 1 ) e supponiamo il v i sono indipendenti. Utilizzando queste probabilità, esiste un modo efficace per scorrere su vettori binari di dimensioni …
Un MPA (automa multipebble) è un 2DFA (automa finito deterministico a due vie) che può usare un numero arbitrario di ciottoli (in realtà al massimo ciottoli su un dato input - l'input è scritto sul nastro tra due estremità -marker come ). Durante il calcolo, un MPA può rilevare se …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.