Informatica teorica hierarchy-theorems

2

Teorema di gerarchia per dimensioni del circuito

Penso che un teorema della gerarchia delle dimensioni per la complessità del circuito possa essere un importante passo avanti nell'area. È un approccio interessante alla separazione di classe? La motivazione per la domanda è che dobbiamo dire esiste una funzione che non può essere calcolata da circuiti di dimensioni e …

18 cc.complexity-theory circuit-complexity lower-bounds natural-proofs hierarchy-theorems

3

Separazioni di classi di complessità senza teoremi di gerarchia

I teoremi di gerarchia sono strumenti fondamentali. Un buon numero di essi è stato raccolto in una domanda precedente (vedi Quali gerarchie e / o teoremi di gerarchia conosci? ). Alcune separazioni delle classi di complessità seguono direttamente dai teoremi della gerarchia. Esempi di separazioni così conosciute: L ≠ PSPA …

16 cc.complexity-theory complexity-classes hierarchy-theorems

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

11 cc.complexity-theory space-bounded space-complexity advice-and-nonuniformity hierarchy-theorems

2

Teoremi di gerarchia per la profondità del circuito

Che tipo di teoremi di gerarchia ci sono per la profondità del circuito? Dichiarazioni simili g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory circuit-complexity hierarchy-theorems circuit-depth

1

Su , , , e

Sappiamo che . Dal teorema di Savitch, e, dalla gerarchia spaziale Teorem, . Quindi, poiché non sappiamo se , non sappiamo se , o sappiamo che ? Qualcuno ha provato a dimostrare che \ mathcal L ^ 2 \ subseteq \ mathcal P ? Quali sono gli ultimi risultati, o …

9 reference-request complexity-classes open-problem hierarchy-theorems

Domande taggate «hierarchy-theorems»