Zur Feier des Geburtstages von Alan Turing veröffentlichte Google ein Doodle mit einer Maschine. Was für eine Maschine ist das Gekritzel? Kann es eine Turing Complete-Sprache ausdrücken? Es gibt offensichtliche Unterschiede zur klassischen Turingmaschine: ein endliches Band, Einschränkungen, wie...
Sei ein EXP-Komplettproblem. Dann P A = N P A .EINAAP.EIN= N.P.EINPA=NPAP^A = NP^A Sei ein Orakel, das die Abfragen berücksichtigt, die M (ein TM in P) stellen wird, und wir können P B ≠ N P B erhalten .B.BBM.MMP.B.≠ N.P.B.PB≠NPBP^B \neq NP^B Frage: Haben wir ähnliche Orakelergebnisse für P gegen...
Es scheint viele randomisierte Algorithmen für das Testen der Polynomidentität zu geben, die prüfen, ob ein gegebenes Polynom Null ist oder nicht. Gibt es Ergebnisse von Algorithmen, die eine Art Schätzung von Polynomen über einen bestimmten Satz von Punkten durchführen? Dies könnte beispielsweise...
Vor kurzem habe ich eine anständige Anzahl von CoLT-Artikeln gelesen. Obwohl ich nicht mit den einzelnen Arbeiten zu kämpfen habe (zumindest nicht mehr als ich normalerweise mit anderen theoretischen Arbeiten zu kämpfen habe), habe ich nicht das Gefühl, dass ich das gesamte Gebiet gut verstehe....
Ich konnte in der Literatur keine Aussage zu MAMA\mathsf{MA} und NPRPNPRP\mathsf{NP}^\mathsf{RP} ; Hinweise wären willkommen. Ich glaube, sie sind gleich: MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : DieNPNP\mathsf{NP} Maschine errät Merlins Saite, und dasRPRP\mathsf{RP} Orakel...
Fix . Für jedes ausreichend große n möchten wir alle Teilmengen von { 1 .. n } der Größe genau n / k durch positive ganze Zahlen von { 1 ... T } kennzeichnen . Wir möchten, dass diese Kennzeichnung die folgende Eigenschaft erfüllt: Es gibt eine Menge S von ganzen Zahlen, stk ≥ 5k≥5k\ge5nnn{ 1 .. n...
Eigentümertypen und Trennungslogik scheinen ähnliche Ziele zu haben: Kontrolle über Eigentümer und Aliasing. Vielleicht sollte ich auch hinzufügen: die Fähigkeit, modulare Spezifikationen zu schreiben. Was ist über die Beziehung zwischen Besitzertypen und Trennungslogik
Sei eine Menge von N Punkten in R d . Für jedes t ≥ 1 ist ein t- Schlüssel ein ungerichteter Graph G = ( P , E ), gewichtet nach dem euklidischen Maß, so dass für zwei beliebige Punkte v , u der kürzeste Abstand in G , d ( v , u ) , ist höchstens t mal der euklidische Abstand zwischen v und u , | v...
In den meisten probabilistischen Beweissystemen (z. B. PCP-Theorem) werden die Fehlerwahrscheinlichkeiten normalerweise auf der Seite der falsch-positiven Ergebnisse definiert, dh eine typische Definition könnte folgendermaßen aussehen: Wenn ist, akzeptiert der Prüfer immer, aber in In anderen...
Ich weiß, dass die Gaußsche Eliminierung -Arithmetikoperationen erfordert, aber ich bin mir nicht sicher, ob bessere Algorithmen bekannt
In der Semantik der Programmiersprache wird oft gehört, dass Menschen über Bedeutung und Bezeichnung sprechen . Sie scheinen nicht gleich zu sein. Was ist der Unterschied? Ist die erstere mit der operativen Semantik verbunden, während die letztere mit der Denotationssemantik verbunden ist? Vielen...
Bei einer Familie von höchstens n Teilmengen von { 1 , 2 , … , n } . Der Vereinigungsschluss F ist eine andere Mengenfamilie C, die jede Menge enthält, die konstruiert werden kann, indem die Vereinigung von 1 oder mehr Mengen in F genommen wird . Von | C | Wir bezeichnen die Anzahl der Sätze in C...
Meine Frage ist, warum Untergrenzen für Tiefe 3 Boolesche Schaltungen mit Gates "und" und "xor" für Determinante nicht die gleichen Untergrenzen für arithmetische Schaltungen über implizieren ?ZZ\mathbb{Z} Was ist falsch an dem folgenden Argument: Sei eine arithmetische
Ich suche nach Referenzen über die Komplexität des Booleschen Formelausgleichsproblems . Speziell, War bekannt, dass Boolesche Formeln in ausgeglichen werden können ?AC0AC0\mathsf{AC^0} Gibt es einen einfachen Beweis dafür, dass der Boolesche Formelausgleich in ?AC0AC0\mathsf{AC^0} Mit "einfach"...
Die Klasse BPNC (die Kombination von und N C ) sei ein logarithmischer paralleler Algorithmus mit begrenzter Fehlerwahrscheinlichkeit und Zugriff auf eine zufällige Quelle (ich bin mir nicht sicher, ob dieser einen anderen Namen hat). Definieren Sie die Klasse DBPNC auf ähnliche Weise, mit der...
Die folgende Frage an die Optimalitäts des Bellman-Ford im Zusammenhang - kürzester Weg dynamischen Programmier - Algorithmus (siehe diesen Beitrag für eine Verbindung). Eine positive Antwort würde auch bedeuten, dass die minimale Größe eines monotonen nichtdeterministischen Verzweigungsprogramms...
Ich interessiere mich für eine leichte Verallgemeinerung von DFA. Wie üblich wir state-Satz haben , finite Alphabet Σ , a Σ * -action definiert auf Q durch δ : Q × Σ → Q und Anfangszustand q 0 ; aber statt der üblichen Endapparat, nehmen wir eine Familie ( T i ) i ∈ 1 .. n von Teilmengen von Q ....
Ich schreibe meine Masterarbeit in CS und arbeite mit Alias-Analyse. Das, was mich interessiert, ist die intraprozedurale, flusssensitive Must- und May-Alias-Analyse für Java-ähnliche Sprachen. Ich suche nach Texten, die die Grundlagen dieses Themas detailliert beschreiben, aber nichts wirklich...
In einem Vortrag von Razborov wird eine merkwürdige kleine Aussage veröffentlicht. Wenn FACTORING schwierig ist, ist Fermats kleiner Satz in nicht beweisbar .S12S21S_{2}^{1} Was ist und warum sind aktuelle Beweise nicht in ? S 1
BPPBPP\mathsf{BPP} undZPPZPP\mathsf{ZPP} sind zwei grundlegende probabilistische Komplexitätsklassen. BPPBPP\mathsf{BPP} ist die Klasse von Sprachen, die durch probabilistische Polynomzeit-Turing-Algorithmen bestimmt wird, bei denen die Wahrscheinlichkeit, dass der Algorithmus eine falsche Antwort...