Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

2
Eine Referenz für einen „algebraischeren“ Ansatz für Pushdown-Automaten und CFLs?
In dem Buch über die Automatentheorie von Sakarovitch heißt es in der Einleitung zum Abschnitt über Rationalitäten in der freien Gruppe, dass das darin vorgestellte Material "die Grundlage einer wirklich mathematischen Theorie kontextfreier Sprachen" bildet. Dies wird jedoch nicht explizit erwähnt, da kontextfreie Sprachen und Pushdown-Automaten den Rahmen des Buches …
1
Ratschläge für einen Mathematiker, der versucht, eine Arbeit auf einer CS-Konferenz zu präsentieren?
Ich bin Mathematiker und beschäftige mich hauptsächlich mit der Spektraltheorie der selbstadjunkten und unitären Operatoren. Einige meiner Forschungen sind für Quantenwanderungen von Bedeutung, und ich habe einen Artikel im Besonderen, den ich auf der Quanteninformationsverarbeitungskonferenz im Januar in Seattle vorstellen möchte. Die Kultur der theoretischen CS-Community scheint sich sehr von …
1
Was ist das Orakel mit der minimalen Komplexität, das PSPACE von der Polynom-Hierarchie trennt?
Hintergrund Es ist bekannt, dass es ein Orakel AAA , das .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Es ist sogar bekannt, dass die Trennung relativ zu einem zufälligen Orakel gilt. Informell kann man dies so interpretieren, dass es viele Orakel gibt, für die und getrennt sind.P HPSPACEPSPACEPSPACEPHPHPH Frage Wie kompliziert sind diese Orakel, …
1
Untergrenzen für die Größe nichtdeterministischer Schaltkreise
Es ist bekannt, dass die minimale Größe von -Schaltungen, die die Paritätsfunktion genau berechnen, gleich 3 ( n - 1 ) ist . Der untere Grenznachweis basiert auf der Gate-Eliminierungsmethode.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Kürzlich ist mir aufgefallen, dass die Gate-Eliminierungsmethode auch für nichtdeterministische -Schaltungen gut funktioniert, und wir …
1
DAG-Erreichbarkeit mit O (n log n) -Raum- und O (log n) -Zeitabfragen?
Für einen gerichteten azyklischen Graphen , gibt es eine Datenstruktur , die , ohne dass quadratischen Raum oder lineare Zeit für die Erreichbarkeit Abfragen erlaubt? Idealerweise suche ich einen Algorithmus, der nur O (log n) Raum pro Vertex und logarithmische Zeit verwendet,⟨ V, E⟩⟨V,E⟩{\langle}V,E{\rangle} wobei .n=|V|+|E|n=|V|+|E|n=|V|+|E| Es schien mir intuitiv …
2
Ist die herkömmliche Analyse von Bloom-Filtern falsch?
In diesem Artikel wird behauptet, dass die herkömmliche Analyse der Fehlerrate in Bloom-Filtern nicht korrekt ist. Anschließend wird eine ausführliche und nicht triviale Analyse der tatsächlichen Fehlerrate durchgeführt. Das verlinkte Papier wurde 2010 veröffentlicht, aber ich habe gesehen, dass die traditionelle Analyse von Bloom-Filtern weiterhin in verschiedenen Kursen zu Algorithmen …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.