Informatica teorica time-hierarchy

3

Giustificazione del log f nel teorema della gerarchia DTIME

Se guardiamo al teorema della gerarchia DTIME, abbiamo un registro a causa del sovraccarico nella simulazione di una Turing Machine deterministica da parte di una macchina universale: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Non abbiamo questo tipo di overhead per NTIME di DSPACE. Una giustificazione di base deriva dai dettagli della dimostrazione …

30 cc.complexity-theory universal-computation time-hierarchy

2

Gerarchia per BPP vs derandomizzazione

In una frase: l'esistenza di una gerarchia per implicherebbe risultati di derandomizzazione?BPTIMEBPTIME\mathsf{BPTIME} Una domanda correlata ma più vaga è: l'esistenza di una gerarchia per implica qualche limite inferiore difficile? La risoluzione di questo problema colpisce una barriera nota nella teoria della complessità?BPTIMEBPTIME\mathsf{BPTIME} La mia motivazione per questa domanda è quello …

29 cc.complexity-theory randomness derandomization time-hierarchy

1

Ci sono separazioni naturali nella gerarchia temporale non deterministica?

Il teorema originale della gerarchia temporale non deterministica è dovuto a Cook (il collegamento è con S. Cook, una gerarchia per la complessità temporale non deterministica , JCSS 7 343–353, 1973). Gli stati teorema che per ogni numero reale r1r1r_1 e r2r2r_2 , se 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 poi …

22 cc.complexity-theory nondeterminism time-hierarchy

2

Esiste un teorema della gerarchia temporale per PH?

È vero che ci sono problemi nella gerarchia polinomiale risolvibili nel tempo (da una macchina di Turing alternata in un certo livello della gerarchia polinomiale) che non sono risolvibili in in qualche livello della gerarchia polinomiale? In altre parole: esiste un teorema della gerarchia temporale per la gerarchia polinomiale come …

18 cc.complexity-theory reference-request polynomial-hierarchy time-hierarchy

1

Gerarchie temporali in DSPACE (O (s (n)))

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 ) ) …

12 cc.complexity-theory complexity-classes turing-machines space-bounded time-hierarchy

1

È

Definisci come la classe di lingue che può essere accettata da una macchina di Turing (multitape) nel tempo . (" " è solo per semplificare la notazione ed evitare confusione.) Notare che non c'è attorno a .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ 1O(⋅)O(⋅)O(\cdot)f(n)+1f(n)+1f(n) + 1 È vero che ?DTIME(n)=DTIME(2n)DTIME(n)=DTIME(2n)\mathsf{DTIME}(n) = \mathsf{DTIME}(2n) Usando il …

12 cc.complexity-theory time-complexity turing-machines time-hierarchy

2

Cosa succede se miglioriamo i teoremi della gerarchia temporale?

In poche parole, i teoremi della gerarchia temporale dicono che una macchina di Turing può risolvere più problemi se ha più tempo per il calcolo. In dettaglio per TM deterministico e funzioni costruibili nel tempo con è e per TM non deterministiche e funzioni costruibili nel tempo f, g con …

10 cc.complexity-theory lower-bounds big-picture time-complexity time-hierarchy

Domande taggate «time-hierarchy»