Wurden Untersuchungen zur Implementierung von Zufallsextraktorkonstruktionen durchgeführt? Es scheint, dass Extractor-Proofs Big-Oh verwenden, was die Möglichkeit für große versteckte Konstanten lässt und programmatische Implementierungen möglicherweise unrealistisch macht. Kontext: Ich bin daran...
Ist es möglich, eine explizite -Matrix mit zu erstellen , sodass jede -Matrix weniger als ?0 / 1 N 1,5 N 0,499 × N 0,499 N 0,501N× NN×NN \times N 0 / 10/10/1N1.5N1.5N^{1.5}N0,499× N0,499N0.499×N0.499N^{0.499} \times N^{0.499}N0,501N0.501N^{0.501} Oder es ist wahrscheinlich möglich, eine explizite...
Diskussion : Ich habe in letzter Zeit einige Zeit damit verbracht, verschiedene Dinge in der Komplexität der Kommunikation zu lernen. Zum Beispiel habe ich mich wieder mit dem relevanten Kapitel in Arora / Barak vertraut gemacht, angefangen, einige Artikel zu lesen, und das Buch von Kushilevitz /...
Ein wichtiges Ziel formaler Methoden ist es, die Korrektheit von Systemen entweder automatisiert oder durch den Menschen zu beweisen. Es scheint jedoch, dass Sie möglicherweise NICHT garantieren können, dass das System nicht ausfällt, auch wenn Sie einen Korrektheitsnachweis erbringen können....
Definieren Sie die folgende Klasse von "zirkulären" Sprachen über ein endliches Alphabet Sigma. Tatsächlich gibt es den Namen bereits, um etwas anderes zu bezeichnen, das auf dem Gebiet des DNA-Computing verwendet wird. AFAICT, das ist eine andere Klasse von Sprachen. Eine Sprache L Kreis iff für...
Ein Kollege, der an der genetischen Programmierung arbeitet, hat mir die folgende Frage gestellt. Ich habe zuerst versucht, es auf der Grundlage eines gierigen Ansatzes zu lösen, aber bei einem zweiten Gedanken fand ich ein Gegenbeispiel zum gierigen Algorithmus. Also, ich dachte, es lohnt sich...
In dieser Frage scheinen wir ein natürliches Problem identifiziert zu haben, das unter randomisierten Reduktionen NP-vollständig ist, möglicherweise jedoch nicht unter deterministischen Reduktionen (obwohl dies davon abhängt, welche unbewiesenen Annahmen in der Zahlentheorie zutreffen). Sind noch...
Diese Frage ähnelt einer allgemeineren Frage nach dem richtigen theoretischen Modell eines Computers zum Entwerfen von Algorithmen und Datenstrukturen. Ich frage hier speziell nach aktuellen Hochleistungscomputern (wie den als Top 500 aufgelisteten ) oder sogar nach kommende Supercomputer....
Das Karp-Lipton-Theoem besagt, dass wenn , dann P H zu Σ P 2 zusammenbricht . Unter der Annahme , Trennungen zwischen Σ P 2 und Σ P 3 , kein N P -komplette Problem wird gehört P / p o l y .N P ⊂ P / p o l yNP⊂P/pOly\mathsf{NP} \subset \mathsf{P/poly}P
Diese Frage bezieht sich in erster Linie auf ein praktisches Software-Engineering-Problem, aber ich wäre gespannt, ob Theoretiker weitere Einblicke in dieses Problem gewähren könnten. Einfach gesagt, ich habe eine Monte-Carlo-Simulation, die einen Pseudozufallszahlengenerator verwendet, und ich...
Es werden fünf verknüpfte Fragen gestellt und eine einzige integrierte Antwort erhofft: Frage 1 : Gibt es Sprachen , die nur von den Turing-Maschinen in erkannt werden, deren Laufzeitexponenten unentscheidbar sind ?PLLLPPP F2: Können Beispiele dieser Turingmaschinen endlich gebaut werden? F3:...
In parametrisierter Komplexität ist ≤ W [ 2 ] ≤ … ≤ W [ P ] . Es wird vermutet, dass jeder der Containments richtig ist.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ S.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Wenn dann ist P = W [...
Angenommen, ein GraphGGG mit nnn Eckpunkten wird als Strom von mmm Kanten dargestellt, aber es sind mehrere Durchgänge über den Strom zulässig. Monika Rauch Henzinger, Prabhakar Raghavan und Sridar Rajagopalan stellten fest, dass ein Ω(n/k)Ω(n/k)\Omega(n/k) -Raum erforderlich ist, um zu bestimmen,...
Welche Ergebnisse sind bekannt, um ein genaues n-dimensionales Subarray in einem n-dimensionalen Array zu finden? In 1D handelt es sich nur um ein String-Matching-Problem. KMP führt dies in linearer Zeit durch. In 2D wurde in diesem Artikel gezeigt, dass dies in linearer Zeit mit wenig zusätzlichem...
In Programmiersprachen ist es beispielsweise üblich, einen X-in-X-Compiler / -Interpreter zu schreiben, aber auf einer allgemeineren Ebene können sich viele bekannte Turing-complete-Systeme auf beeindruckende Weise selbst simulieren (z. B. Simulation von Conways Spiel des Lebens in Conways Spiel...
Das PCP - Theorem besagt , dass es kein Polynomialzeitalgorithmus für MAX 3SAT eine Zuordnung zu finden befriedigend Klauseln einer erfüllbar 3SAT Formel , es sei denn P = N P .7/8+ϵ7/8+ϵ7/8+ \epsilonP=NPP=NPP = NP Es ist ein trivialer Polynomialzeitalgorithmus dass erfüllen der Klauseln. So können...
Dies ist eine Wiederholung einer früheren Frage . Betrachten Sie das folgende unparteiische, perfekte Informationsspiel zwischen zwei Spielern, Alice und Bob. Die Spieler erhalten eine Permutation der ganzen Zahlen 1 bis n. Bei jeder Runde verliert der aktuelle Spieler, wenn die aktuelle...
Ich habe vor kurzem diese Zusammenfassung der Probleme gelesen, die mit dem Diff zwischen Bäumen verbunden sind, und sie hat mich daran interessiert, den Stand der Technik für dieses Problem zu erfahren. Angenommen, zwischen den erlaubten Bearbeitungsoperationen befindet sich der traditionelle...
Haftungsausschluss: Ich bin kein CS-Theoretiker. Aus der abstrakten Algebra kommend bin ich es gewohnt, mit Dingen umzugehen, die einem Isomorphismus gleichkommen - aber ich habe Probleme, dieses Konzept in Datenstrukturen zu übersetzen. Ich dachte zuerst, dass gerade aufgestellte theoretische...
Ich bin auf der Suche nach Tutorial-Material, das Compiler-Korrektheitsnachweise, vorzugsweise unter Verwendung von Bezeichnungsmethoden, auf der Ebene eines Studienanfängers enthält. Kennen Sie alternativ einige einfache Compiler-Beispiele, anhand derer ich die Probleme veranschaulichen könnte?...