Theoretische Informatik separation

1

Die Komplexitäts-Zoologie von Greg Kuperberg besagt, dass es eine Sprache , die - mit anderen Worten \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - gibt jedoch keine Referenz für dieses Ergebnis an. Warum gilt das? Oder wo kann man einen Beweis …

12 cc.complexity-theory oracles relativization polynomial-hierarchy separation

1

Könnte eine beschreibende Komplexitätsversion von Rices Theorem verwendet werden, um AC0 und PSPACE zu trennen?

In dieser Frage wurde erwähnt, dass es beschreibende Komplexitätsversionen des Satzes von Rice gibt. Ich habe einen Beweis für den folgenden Satz gefunden: Bei einer Komplexitätsklasse C können nichttriviale Eigenschaften von Sprachen in C nicht in C berechnet werden Ich hatte zuvor den gefundenen Beweis veröffentlicht, aber weil er so …

10 cc.complexity-theory complexity-classes descriptive-complexity separation

3

Eine explizite Trennung zwischen Zeitkonstruierbarkeit und Raumkonstruierbarkeit?

Zeigen Sie eine Funktion die räumlich, aber nicht zeitlich konstruierbar ist.f( n )f(n)f(n) Hängt dieses Problem mit einer möglichen Trennung zwischen den Komplexitätsklassen DTIME (f (n)) und SPACE (f (n)) zusammen?

10 cc.complexity-theory space-bounded separation

1

Trennung von Klassen mit unterschiedlichen Ratschlägen?

Mit dem Zeithierarchiesatz kann man zeigen, dass es beispielsweise Probleme in P gibt, die von einer Turing-Maschine nicht in einer Zeit gelöst werden können, die kleiner als const * n ^ 2 ist. Aber geben Sie der Turing-Maschine einige Ratschläge und alle Wetten sind geschlossen. Man kann noch nicht zeigen, …

9 cc.complexity-theory lower-bounds circuit-complexity advice-and-nonuniformity separation

1

Eine weitere Frage zum planaren Separator

Kennt jemand von euch eine Referenz für das folgende (überraschend mühsame) Ergebnis? Bei einem verbundenen planaren Graphen mit n Eckpunkten und n + t Kanten hat er einen Eckpunkttrenner der Größe O ( √)GGGnnnn + tn+tn+t.O ( t√+ 1 )O(t+1)O( \sqrt{t}+1)

8 reference-request planar-graphs separation

Als «separation» getaggte Fragen