Ich denke, dass ein Größenhierarchiesatz für die Schaltungskomplexität ein großer Durchbruch in diesem Bereich sein kann. Ist es ein interessanter Ansatz zur Klassentrennung? Die Motivation für die Frage ist, dass wir sagen müssen Es gibt eine Funktion, die nicht mit Schaltkreisen der Größe...
Hierarchietheoreme sind grundlegende Werkzeuge. Eine gute Anzahl von ihnen wurde in einer früheren Frage gesammelt (siehe Welche Hierarchien und / oder Hierarchiesätze kennen Sie? ). Einige Komplexitätsklassentrennungen ergeben sich direkt aus Hierarchiesätzen. Beispiele für solche gut bekannte...
Welche Art von Hierarchiesätzen gibt es für die Schaltungstiefe? Aussagen wie wenn und f ( n ) ∈ n O ( 1 ), dann ist S i z e D e p t h ( n O ( 1 ) , g ( n ) ) ⊊ S i z e D e p t h ( n O (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...
Allgemeine Frage Verallgemeinert sich der Satz der Raumhierarchie auf ungleichmäßige Berechnungen? Hier sind einige spezifischere Fragen: Ist ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Für alle Räume konstruierbar Funktionen f(n)f(n)f(n) , ist
Wir wissen, dass L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Aus Savitchs Theorem,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal...
\newcommand{\cc}[1]{\mathsf{#1}} Gilt ein Satz in der folgenden Richtung: Wenn g(n)g(n)g(n) etwas größer als f(n)f(n)f(n) , dann ist NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) ? Es ist...